I gave a talk with the workshop on how the synthesis of logic and device Discovering, especially spots for instance statistical relational Finding out, can enable interpretability.
Serious about synthesizing the semantics of programming languages? We've got a whole new paper on that, recognized at OOPSLA.
The paper tackles unsupervised program induction around combined discrete-steady details, which is accepted at ILP.
The paper discusses the epistemic formalisation of generalised organizing during the presence of noisy performing and sensing.
We take into account the problem of how generalized options (plans with loops) may be considered accurate in unbounded and ongoing domains.
A consortia undertaking on reliable units and goverance was approved late very last yr. News connection in this article.
The operate is determined by the necessity to check and evaluate inference algorithms. A combinatorial argument for that correctness on the Tips is also regarded. Preprint listed here.
I gave a seminar on extending the expressiveness of probabilistic relational models with initial-order features, such as common quantification in excess of infinite domains.
Link In the final week of Oct, I gave a talk informally discussing explainability and moral responsibility in synthetic intelligence. Because of the organizers with the invitation.
Jonathan’s paper considers a lifted approached to weighted model integration, which includes circuit design. Paulius’ paper develops a measure-theoretic viewpoint on weighted design counting and proposes a means to encode conditional weights on literals analogously to conditional probabilities, which leads to considerable effectiveness advancements.
Paulius' work on algorithmic techniques for randomly producing logic plans and probabilistic logic plans is accepted to the concepts and practise of constraint programming (CP2020).
The framework is relevant to a considerable class of formalisms, which include probabilistic relational versions. The paper also studies the synthesis challenge in that context. Preprint right here.
If you are attending AAAI this year, you could possibly have an interest in testing our papers that contact on fairness, abstraction and generalized https://vaishakbelle.com/ sum-products problems.
I gave a chat to the pitfalls of artificial intelligence and investigate priorities for the Worldwide Improvement Modern society.