Drew, Dave, Larissa and I experienced the chance to talk about the motivatons and foundations for instigating The brand new research concept of Experiential AI in a very ninety minute chat.
I will likely be providing a tutorial on logic and Finding out by using a center on infinite domains at this 12 months's SUM. Url to celebration listed here.
Will be Talking at the AIUK celebration on principles and exercise of interpretability in machine Mastering.
I attended the SML workshop within the Black Forest, and discussed the connections between explainable AI and statistical relational Understanding.
Our paper (joint with Amelie Levray) on Studying credal sum-merchandise networks has long been accepted to AKBC. This sort of networks, as well as other sorts of probabilistic circuits, are attractive simply because they promise that selected different types of chance estimation queries can be computed in time linear in the size of the network.
The report, to appear during the Biochemist, surveys many of the motivations and ways for making AI interpretable and dependable.
The function is determined by the necessity to test and Consider inference algorithms. A combinatorial argument with the correctness from the Concepts is also deemed. Preprint below.
I gave a seminar on extending the expressiveness of probabilistic relational products with to start with-get capabilities, for instance common quantification above infinite domains.
Backlink In the last 7 days of October, I gave a chat informally talking about explainability and moral accountability in artificial intelligence. Due to the organizers for your invitation.
Jonathan’s paper considers a lifted approached to weighted model integration, which include circuit construction. Paulius’ paper develops a measure-theoretic point of view on weighted design counting and proposes a means to encode conditional weights on literals analogously to conditional probabilities, which results in significant efficiency enhancements.
Paulius' Focus on algorithmic approaches for randomly creating logic packages and probabilistic logic plans has become acknowledged towards the principles and practise of constraint programming (CP2020).
Our MLJ (2017) post on setting up with hybrid MDPs was accepted for presentation with the journal keep track of.
Our Focus on synthesizing plans with loops inside the presence of sound will look while in the https://vaishakbelle.com/ Global journal of approximate reasoning.
Our paper on synthesizing options with loops during the existence of probabilistic sounds, approved the journal of approximate reasoning, has also been approved for the ICAPS journal monitor. Preprint to the total paper right here.