I gave a chat within the workshop on how the synthesis of logic and equipment Mastering, In particular places such as statistical relational Finding out, can allow interpretability.
I will probably be giving a tutorial on logic and Studying using a give attention to infinite domains at this yr's SUM. Website link to occasion right here.
I gave a chat entitled "Perspectives on Explainable AI," at an interdisciplinary workshop focusing on building belief in AI.
I attended the SML workshop from the Black Forest, and talked about the connections concerning explainable AI and statistical relational Understanding.
An write-up in the planning and inference workshop at AAAI-eighteen compares two unique methods for probabilistic planning through probabilistic programming.
I gave a chat on our current NeurIPS paper in Glasgow while also masking other methods at the intersection of logic, Discovering and tractability. Because of Oana for your invitation.
The problem we tackle is how the learning ought to be defined when There is certainly missing or incomplete info, resulting in an account determined by imprecise probabilities. Preprint below.
A journal paper has become acknowledged on prior constraints in tractable probabilistic designs, available over the papers tab. Congratulations Giannis!
A modern collaboration With all the NatWest Team on explainable device Discovering is reviewed within the Scotsman. Connection to write-up here. A preprint on the outcome will probably be designed accessible Soon.
Jonathan’s paper considers a lifted approached to weighted design integration, which include circuit design. Paulius’ paper develops a measure-theoretic viewpoint on weighted design counting and proposes a means to encode conditional weights on literals analogously to conditional probabilities, which results in substantial functionality advancements.
With the University of Edinburgh, he directs a investigate lab on https://vaishakbelle.com/ artificial intelligence, specialising in the unification of logic and device Studying, which has a modern emphasis on explainability and ethics.
The framework is relevant to a big course of formalisms, which includes probabilistic relational products. The paper also reports the synthesis problem in that context. Preprint listed here.
I gave an invited tutorial the Tub CDT Artwork-AI. I protected current trends and potential tendencies on explainable device Mastering.
I gave a chat about the dangers of synthetic intelligence and exploration priorities on the International Enhancement Culture.