Drew, Dave, Larissa and I had the opportunity to examine the motivatons and foundations for instigating The brand new study topic of Experiential AI in a very 90 moment chat.
Past week, I gave a chat at the pint of science on automated systems and their effects, bearing on the subject areas of fairness and blameworthiness.
I gave a chat entitled "Perspectives on Explainable AI," at an interdisciplinary workshop focusing on building belief in AI.
I attended the SML workshop during the Black Forest, and discussed the connections between explainable AI and statistical relational Discovering.
An short article on the planning and inference workshop at AAAI-eighteen compares two distinct techniques for probabilistic organizing by means of probabilistic programming.
The report, to look inside the Biochemist, surveys some of the motivations and ways for making AI interpretable and accountable.
Thinking about coaching neural networks with logical constraints? Now we have a completely new paper that aims to whole fulfillment of Boolean and linear arithmetic constraints on training at AAAI-2022. Congrats to Nick and Rafael!
I gave a seminar on extending the expressiveness of probabilistic relational designs with first-get characteristics, including universal quantification around infinite domains.
Url In the last week of October, I gave a chat informally discussing explainability and moral duty in synthetic intelligence. Thanks to the organizers for that invitation.
Together with colleagues from Edinburgh and Herriot Watt, We now have set out the demand a new analysis agenda.
Paulius' Focus on algorithmic tactics for randomly making logic systems and probabilistic logic systems has actually been approved on the ideas and practise of 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.
When you are attending AAAI this 12 months, you might be interested in trying out our https://vaishakbelle.com/ papers that contact on fairness, abstraction and generalized sum-solution challenges.
Our paper on synthesizing strategies with loops from the existence of probabilistic sound, approved the journal of approximate reasoning, has also been approved on the ICAPS journal observe. Preprint to the complete paper right here.