Probabilistic reasoning with answer sets

Chitta Baral, Michael Gelfond, Nelson Rushton

Research output: Contribution to journalArticle

147 Scopus citations

Abstract

This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while causal Bayes nets serve as a probabilistic foundation. We give several non-trivial examples and illustrate the use of P-log for knowledge representation and updating of knowledge. We argue that our approach to updates is more appealing than existing approaches. We give sufficiency conditions for the coherency of P-log programs and show that Bayes nets can be easily mapped to coherent P-log programs.

Original languageEnglish (US)
Pages (from-to)57-144
Number of pages88
JournalTheory and Practice of Logic Programming
Volume9
Issue number1
DOIs
StatePublished - Jan 1 2009

Keywords

  • Answer Set Prolog
  • Answer sets
  • Logic programming
  • Probabilistic reasoning

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture
  • Computational Theory and Mathematics
  • Artificial Intelligence

Fingerprint Dive into the research topics of 'Probabilistic reasoning with answer sets'. Together they form a unique fingerprint.

  • Cite this