Drew, Dave, Larissa and I had the chance to go over the motivatons and foundations for instigating The brand new analysis concept of Experiential AI in a 90 moment talk.
I might be supplying a tutorial on logic and Studying using a deal with infinite domains at this year's SUM. Url to occasion listed here.
The Lab carries out investigate in artificial intelligence, by unifying Studying and logic, with a new emphasis on explainability
The paper discusses the epistemic formalisation of generalised planning from the presence of noisy performing and sensing.
Gave a talk this Monday in Edinburgh on the rules & follow of machine Studying, covering motivations & insights from our study paper. Critical inquiries elevated incorporated, how you can: extract intelligible explanations + modify the model to suit transforming demands.
I gave a talk on our the latest NeurIPS paper in Glasgow when also covering other approaches within the intersection of logic, Discovering and tractability. Because of Oana for your invitation.
The get the job done is motivated by the need to take a look at and evaluate inference algorithms. A combinatorial https://vaishakbelle.com/ argument to the correctness of your Suggestions can be thought of. Preprint right here.
I gave a seminar on extending the expressiveness of probabilistic relational styles with initially-get capabilities, which include common quantification in excess of infinite domains.
A modern collaboration With all the NatWest Team on explainable device learning is reviewed inside the Scotsman. Link to report right here. A preprint on the effects will likely be made offered shortly.
Along with colleagues from Edinburgh and Herriot Watt, We have now set out the demand a brand new investigation agenda.
Paulius' Focus on algorithmic strategies for randomly producing logic plans and probabilistic logic plans is accepted towards the principles and practise of constraint programming (CP2020).
The framework is applicable to a significant class of formalisms, together with probabilistic relational types. The paper also studies the synthesis challenge in that context. Preprint right here.
Our Focus on synthesizing options with loops during the existence of sounds will show up during the Intercontinental journal of approximate reasoning.
Our operate (with Giannis) surveying and distilling ways to explainability in machine Studying continues to be accepted. Preprint in this article, but the ultimate Edition will likely be online and open up entry shortly.