Probabilistic reasoning with answer sets

C. Baral, M. Gelfond and N. Rushton

Abstract

We give a logic programming based account of probability and describe a declarative language P-log capable of reasoning which combines both logical and probabilistic arguments. Several non-trivial examples illustrate the use of P-log for knowledge representation.