06061709

a

06061709 Gelfond, Michael Knowledge representation language p-\log -- a short introduction. de Moor, Oege (ed.) et al., Datalog reloaded. First international workshop, Datalog 2010, Oxford, UK, March 16--19, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-24205-2/pbk). Lecture Notes in Computer Science 6702, 369-383 (2011). 2011 Berlin: Springer EN

doi:10.1007/978-3-642-24206-9_21

Summary: The paper gives a short informal introduction to the knowledge representation language P-\Log . The language allows natural and elaboration tolerant representation of commonsense knowledge involving logic and probabilities. The logical framework of P-\Log is answer set prolog which can be viewed as a significant extension of datalog. On the probabilistic side, the authors adopt the view which understands probabilistic reasoning as commonsense reasoning about degrees of belief of a rational agent, and use causal Bayes nets as P-\log probabilistic foundation. Several examples are aimed at explaining the syntax and semantics of the language and the methodology of its use.