Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Logical AI is concerned with formal languages to represent and reason with qualitative specifications; statistical AI is concerned with learning quantitative specifications from data. To combine the strengths of these two camps, there has been exciting recent progress on unifying logic and probability. We review the many guises for this union, while emphasizing the need for a formal language to represent a system’s knowledge. Formal languages allow their internal properties to be robustly scrutinized, can be augmented by adding new knowledge, and are amenable to abstractions, all of which are vital to the design of intelligent systems that are explainable and interpretable.
Original languageEnglish
Title of host publicationProceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI 2017)
Pages5116-5120
Number of pages5
DOIs
Publication statusPublished - 25 Aug 2017
Event26th International Joint Conference on Artificial Intelligence - Melbourne, Australia
Duration: 19 Aug 201725 Aug 2017
https://ijcai-17.org/index.html
https://ijcai-17.org/
https://ijcai-17.org/

Conference

Conference26th International Joint Conference on Artificial Intelligence
Abbreviated titleIJCAI 2017
CountryAustralia
CityMelbourne
Period19/08/1725/08/17
Internet address

Fingerprint Dive into the research topics of 'Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds'. Together they form a unique fingerprint.

Cite this