Refining and Generalizing P-log - Preliminary Report

Evgenii Balai, Michael Gelfond
2017 International Conference on Logic Programming and Non-Monotonic Reasoning  
This paper is a preliminary report on the development of a new, improved version of the knowledge representation language P-log. This version clarifies syntax and semantics of the original language and brings informal reading of its main concepts closer to their formal semantics. It also expands P-log with a sophisticated type system and removes some unnecessary restrictions on the occurrences of atoms expressing observations, interventions, and randomness in P-log rules. The generalization
more » ... lifies the syntax and allows to formalize reasoning the authors were not able to formalize in the original P-log.
dblp:conf/lpnmr/BalaiG17 fatcat:z3gexijkd5akhhkxtrxldqrphe