Abstract | ||
---|---|---|
We introduce a novel logical notion-partial entailment-to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with respect to a background formula set Γ intuitively means that under the circumstance of Γ, if P is true then some "part" of Q will also be true. We distinguish three different kinds of partial entailments and formalize them by using an extended notion of prime implicant. We study their semantic properties, which show that, surprisingly, partial entailments fail for many simple inference rules. Then, we study the related computational properties, which indicate that partial entailments are relatively difficult to be computed. Finally, we consider a potential application of partial entailments in reasoning about rational agents. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1613/jair.3117 | Journal of Artificial Intelligence Research |
Keywords | DocType | Volume |
intuitively mean,novel logical notion-partial entailment-to,formula q,formula p,partial entailment,logical study,background formula set,potential application,extended notion,classical entailment,different kind | Journal | abs/1401.3864 |
Issue | ISSN | Citations |
1 | Journal Of Artificial Intelligence Research, Volume 40, pages
25-56, 2011 | 0 |
PageRank | References | Authors |
0.34 | 18 | 2 |