Drew, Dave, Larissa and I had the chance to talk about the motivatons and foundations for instigating the new investigate theme of Experiential AI in the ninety moment speak.
I will be supplying a tutorial on logic and Finding out which has a concentrate on infinite domains at this yr's SUM. Website link to function right here.
I gave a chat entitled "Perspectives on Explainable AI," at an interdisciplinary workshop focusing on setting up belief in AI.
I attended the SML workshop within the Black Forest, and mentioned the connections amongst explainable AI and statistical relational Studying.
Gave a talk this Monday in Edinburgh on the principles & practice of equipment learning, covering motivations & insights from our study paper. Vital thoughts lifted involved, ways to: extract intelligible explanations + modify the product to suit shifting wants.
I gave a chat on our modern NeurIPS paper in Glasgow whilst also masking other techniques with the intersection of logic, Understanding and tractability. Thanks to Oana with the invitation.
The situation we deal with is how the training ought to be outlined when There may be lacking or incomplete data, leading to an account depending on imprecise probabilities. Preprint listed here.
The write-up introduces a common logical framework for reasoning about discrete and continual probabilistic types in dynamical domains.
A new collaboration Together with the NatWest Group on explainable equipment Finding out is mentioned in The Scotsman. Url to post in this article. A preprint on the outcome will likely be built offered shortly.
Together with colleagues from Edinburgh and Herriot Watt, We have now set out the demand a brand new investigation agenda.
Paulius' Focus on algorithmic procedures for randomly building logic courses and probabilistic logic courses has long been recognized into the concepts and practise of constraint programming (CP2020).
The framework is applicable to a sizable course of formalisms, such as probabilistic relational models. The paper https://vaishakbelle.com/ also scientific tests the synthesis dilemma in that context. Preprint right here.
If you are attending AAAI this yr, it's possible you'll be interested in looking at our papers that touch on fairness, abstraction and generalized sum-product or service problems.
Our paper on synthesizing programs with loops inside the presence of probabilistic noise, accepted the journal of approximate reasoning, has also been accepted towards the ICAPS journal track. Preprint to the full paper here.