I gave a talk with the workshop on how the synthesis of logic and device learning, especially spots for instance statistical relational Studying, can help interpretability.
Enthusiastic about synthesizing the semantics of programming languages? We have a brand new paper on that, approved at OOPSLA.
The Lab carries out exploration in artificial intelligence, by unifying learning and logic, which has a modern emphasis on explainability
The paper discusses the epistemic formalisation of generalised organizing during the presence of noisy performing and sensing.
Gave a chat this Monday in Edinburgh over the rules & exercise of device Finding out, covering motivations & insights from our survey paper. Key questions lifted included, ways to: extract intelligible explanations + modify the product to suit modifying demands.
I gave a chat on our new NeurIPS paper in Glasgow even though also covering other methods with the intersection of logic, Finding out and tractability. As a result of Oana for that invitation.
The trouble we tackle is how the educational really should be described when there is missing or incomplete information, leading to an account depending on imprecise probabilities. Preprint listed here.
A journal paper has long been approved on prior constraints in tractable probabilistic types, offered within the papers tab. Congratulations Giannis!
Website link In the final week of October, I gave a chat informally talking about explainability and moral accountability in artificial intelligence. Due to the organizers to the invitation.
Along with colleagues from Edinburgh and Herriot Watt, Now we have put out the call for a fresh exploration agenda.
Paulius' work on algorithmic strategies for randomly generating logic programs and probabilistic logic programs continues to be accepted to the concepts and practise of https://vaishakbelle.com/ constraint programming (CP2020).
The framework is applicable to a significant class of formalisms, together with probabilistic relational types. The paper also research the synthesis challenge in that context. Preprint right here.
If you are attending AAAI this yr, you may be interested in looking at our papers that contact on fairness, abstraction and generalized sum-products issues.
I gave a talk over the challenges of artificial intelligence and study priorities in the Intercontinental Enhancement Culture.