TY - GEN
T1 - Logic programming and uncertainty
AU - Baral, Chitta
PY - 2011
Y1 - 2011
N2 - In recent years Logic programming based languages and features-such as rules and non-monotonic constructs-have become important in various knowledge representation paradigms. While the early logic programming languages, such as Horn logic programs and Prolog did not focus on expressing and reasoning with uncertainty, in recent years logic programming languages have been developed that can express both logical and quantitative uncertainty. In this paper we give an overview of such languages and the kind of uncertainty they can express and reason with. Among those, we slightly elaborate on the language P-log that not only accommodates probabilistic reasoning, but also respects causality and distinguishes observational and action updates.
AB - In recent years Logic programming based languages and features-such as rules and non-monotonic constructs-have become important in various knowledge representation paradigms. While the early logic programming languages, such as Horn logic programs and Prolog did not focus on expressing and reasoning with uncertainty, in recent years logic programming languages have been developed that can express both logical and quantitative uncertainty. In this paper we give an overview of such languages and the kind of uncertainty they can express and reason with. Among those, we slightly elaborate on the language P-log that not only accommodates probabilistic reasoning, but also respects causality and distinguishes observational and action updates.
UR - http://www.scopus.com/inward/record.url?scp=80054054734&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=80054054734&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-23963-2_3
DO - 10.1007/978-3-642-23963-2_3
M3 - Conference contribution
AN - SCOPUS:80054054734
SN - 9783642239625
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 22
EP - 37
BT - Scalable Uncertainty Management - 5th International Conference, SUM 2011, Proceedings
T2 - 5th International Conference on Scalable Uncertainty Management, SUM 2011
Y2 - 10 October 2011 through 13 October 2011
ER -