Relational Probabilistic Conditionals and Their Instantiations under Maximum Entropy Semantics for First-Order Knowledge Bases

Entropy

Christoph Beierle¹  Marc Finthammer¹ 

[1] Faculty of Mathematics and Computer Science, University of Hagen, 58084 Hagen, Germany; E-Mail:

关键词: conditional logic;    probabilistic logic;    maximum entropy;    relational conditional;    first-order knowledge base;    instantiation restriction;    grounding semantics;    aggregating semantics;    parametric uniformity;    maximum entropy model;   

DOI  :  10.3390/e17020852

来源: mdpi

【 摘 要 】

For conditional probabilistic knowledge bases with conditionals based on propositional logic, the principle of maximum entropy (ME) is well-established, determining a unique model inductively completing the explicitly given knowledge. On the other hand, there is no general agreement on how to extend the ME principle to relational conditionals containing free variables. In this paper, we focus on two approaches to ME semantics that have been developed for first-order knowledge bases: aggregating semantics and a grounding semantics. Since they use different variants of conditionals, we define the logic PCI, which covers both approaches as special cases and provides a framework where the effects of both approaches can be studied in detail. While the ME models under PCI-grounding and PCI-aggregating semantics are different in general, we point out that parametric uniformity of a knowledge base ensures that both semantics coincide. Using some concrete knowledge bases, we illustrate the differences and common features of both approaches, looking in particular at the ground instances of the given conditionals.

【 授权许可】

CC BY   
© 2015 by the authors; licensee MDPI, Basel, Switzerland