It scientific studies how representations in these logics behave in a very dynamic location, and introduces operators for decreasing a query right after steps to an First point out, or updating the illustration versus These actions.
I will be giving a tutorial on logic and Studying using a give attention to infinite domains at this yr's SUM. Website link to occasion right here.
The Lab carries out exploration in artificial intelligence, by unifying learning and logic, that has a latest emphasis on explainability
For anyone who is attending NeurIPS this yr, it's possible you'll be interested in testing our papers that touch on morality, causality, and interpretability. Preprints can be found over the workshop webpage.
We look at the problem of how generalized options (options with loops) is often considered proper in unbounded and ongoing domains.
I’ll be supplying a talk for the conference on truthful and responsible AI while in the cyber Actual physical techniques session. Owing to Ram & Christian for your invitation. Backlink to event.
The operate is enthusiastic by the need to examination and Examine inference algorithms. A combinatorial argument for your correctness of the Tips is likewise regarded as. Preprint listed here.
I gave a seminar on extending the expressiveness of probabilistic relational models with first-get options, which include common quantification in excess of infinite domains.
Backlink In the last 7 days of October, I gave a chat informally talking about explainability and ethical accountability in artificial intelligence. Due to the organizers for your invitation.
Jonathan’s paper considers a lifted approached to weighted model integration, like circuit design. Paulius’ paper develops a measure-theoretic viewpoint on weighted design counting and proposes a means to encode conditional weights on https://vaishakbelle.com/ literals analogously to conditional probabilities, which results in substantial functionality advancements.
Paulius' Focus on algorithmic procedures for randomly building logic courses and probabilistic logic courses has long been approved on the rules and practise of constraint programming (CP2020).
Our MLJ (2017) post on scheduling with hybrid MDPs was acknowledged for presentation at the journal observe.
Our work on synthesizing programs with loops while in the existence of sound will show up during the Intercontinental journal of approximate reasoning.
Our function (with Giannis) surveying and distilling methods to explainability in machine Studying continues to be accepted. Preprint in this article, but the ultimate Model might be on the internet and open access before long.