Drew, Dave, Larissa and I experienced the opportunity to talk about the motivatons and foundations for instigating The brand new exploration theme of Experiential AI in a ninety minute chat.
Weighted model counting normally assumes that weights are only specified on literals, generally necessitating the necessity to introduce auxillary variables. We look at a whole new strategy depending on psuedo-Boolean functions, resulting in a more standard definition. Empirically, we also get SOTA final results.
Are going to be Talking on the AIUK occasion on principles and observe of interpretability in device Mastering.
I attended the SML workshop during the Black Forest, and discussed the connections in between explainable AI and statistical relational Discovering.
An write-up on the preparing and inference workshop at AAAI-18 compares two distinctive ways for probabilistic organizing by way of probabilistic programming.
I’ll be providing a chat on the meeting on honest and dependable AI within the cyber Bodily systems session. Because of Ram & Christian with the invitation. Website link to party.
The perform is enthusiastic by the need to check https://vaishakbelle.com/ and Appraise inference algorithms. A combinatorial argument for the correctness on the Thoughts can also be viewed as. Preprint here.
Bjorn and I are promotion a two yr postdoc on integrating causality, reasoning and knowledge graphs for misinformation detection. See in this article.
We study arranging in relational Markov decision processes involving discrete and continual states and actions, and an mysterious number of objects (through probabilistic programming).
Together with colleagues from Edinburgh and Herriot Watt, We've got place out the call for a whole new exploration agenda.
Paulius' work on algorithmic methods for randomly generating logic courses and probabilistic logic systems has actually been acknowledged towards the principles and practise of constraint programming (CP2020).
The paper discusses how to take care of nested functions and quantification in relational probabilistic graphical styles.
I gave an invited tutorial the Tub CDT Art-AI. I coated existing developments and foreseeable future tendencies on explainable device Finding out.
Meeting website link Our Focus on symbolically interpreting variational autoencoders, as well as a new learnability for SMT (satisfiability modulo theory) formulation received recognized at ECAI.