Abstract

Proceedings Abstracts of the Twenty-Fifth International Joint Conference on Artificial Intelligence

On the Relationship between P-log and LPMLN / 915
Evgenii Balai, Michael Gelfond

The paper investigates the relationship between knowledge representation languages P-log and LPMLN designed for representing and reasoning with logic and probability. We give a translation from an important subset of LPMLN to P-log which preserves probabilistic functions defined by LPMLN programs and complements recent research by the authors of LPMLN where they give a similar translation from a subset of P-log to their language. This work sheds light on the different ways to treat inconsistency in both languages.

PDF