I gave a talk in the workshop on how the synthesis of logic and machine Understanding, Particularly areas which include statistical relational Finding out, can allow interpretability.
Interested in synthesizing the semantics of programming languages? We've a whole new paper on that, approved at OOPSLA.
The paper tackles unsupervised plan induction more than mixed discrete-continual details, and is particularly approved at ILP.
The paper discusses the epistemic formalisation of generalised arranging while in the existence of noisy performing and sensing.
We consider the query of how generalized programs (strategies with loops) might be deemed appropriate in unbounded and constant domains.
The write-up, to look while in the Biochemist, surveys a number of the motivations and approaches for building AI interpretable and responsible.
The do the job is inspired by the necessity to test and Consider inference algorithms. A combinatorial argument with the correctness in the Thoughts is likewise regarded as. Preprint below.
Bjorn and I are promotion a 2 year postdoc on integrating causality, reasoning and awareness graphs for misinformation detection. See in this article.
A short while ago, he has consulted with key banking companies on explainable AI and its effect in economical institutions.
Jonathan’s paper considers a lifted approached to weighted product integration, like circuit building. Paulius’ paper develops a measure-theoretic viewpoint on weighted model counting and proposes a way to encode conditional weights on literals analogously to conditional probabilities, which ends up in sizeable functionality advancements.
Paulius' work on algorithmic approaches for randomly creating logic packages and probabilistic logic systems has long been recognized into the concepts and practise of constraint programming (CP2020).
The framework is applicable to a significant class of formalisms, including probabilistic relational products. The paper also experiments the synthesis dilemma in that context. Preprint right here.
If you're attending AAAI this yr, it's possible you'll be interested in looking at https://vaishakbelle.com/ our papers that touch on fairness, abstraction and generalized sum-product or service complications.
I gave a talk on the threats of artificial intelligence and study priorities at the Intercontinental Growth Society.