I gave a chat, entitled "Explainability as a assistance", at the above mentioned occasion that talked over expectations about explainable AI And the way may very well be enabled in applications.
Weighted product counting normally assumes that weights are only specified on literals, normally necessitating the necessity to introduce auxillary variables. We look at a different technique determined by psuedo-Boolean features, leading to a far more standard definition. Empirically, we also get SOTA final results.
The Lab carries out investigation in artificial intelligence, by unifying Discovering and logic, by using a current emphasis on explainability
Should you be attending NeurIPS this year, chances are you'll be interested in looking at our papers that contact on morality, causality, and interpretability. Preprints can be found about the workshop page.
We look at the problem of how generalized options (options with loops) is often considered proper in unbounded and constant domains.
A consortia task on reliable devices and goverance was acknowledged late past yr. Information hyperlink below.
Thinking about instruction neural networks with rational constraints? We've got a fresh paper that aims in direction of total fulfillment of Boolean and linear arithmetic constraints on instruction at AAAI-2022. Congrats to Nick and Rafael!
The write-up introduces a general sensible framework for reasoning about discrete and ongoing probabilistic versions in dynamical domains.
We study arranging in relational Markov decision processes involving discrete and continual states and actions, and an unfamiliar range of objects (by way of probabilistic programming).
Along with colleagues from Edinburgh and Herriot Watt, we have put out the call for a whole new exploration agenda.
Paulius' work on algorithmic techniques for randomly creating logic plans and probabilistic logic plans is accepted to the concepts and practise of constraint programming (CP2020).
The framework is relevant to a sizable course of formalisms, such as probabilistic relational styles. The paper also scientific studies the synthesis trouble in https://vaishakbelle.com/ that context. Preprint listed here.
I gave an invited tutorial the Bathtub CDT Artwork-AI. I included present developments and foreseeable future tendencies on explainable equipment Discovering.
I gave a talk over the pitfalls of artificial intelligence and research priorities for the Worldwide Improvement Modern society.