Stable models in generalized possibilistic logic

Dubois, Didier, Prade, Henri and Schockaert, Steven ORCID: https://orcid.org/0000-0002-9256-2881 2014. Stable models in generalized possibilistic logic. Presented at: 13th International Conference on Principles of Knowledge Representation and Reasoning, Rome, Italy, 10-14 June 2012. Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning. AAAI Press,

Full text not available from this repository.

Abstract

Possibilistic logic is a well-known logic for reasoning under uncertainty, which is based on the idea that the epistemic state of an agent can be modeled by assigning to each possible world a degree of possibility, taken from a totally ordered, but essentially qualitative scale. Recently, a generalization has been proposed that extends possibilistic logic to a meta-epistemic logic, endowing it with the capability of reasoning about epistemic states, rather than merely constraining them. In this paper, we further develop this generalized possibilistic logic (GPL). We introduce an axiomatization showing that GPL is a fragment of a graded version of the modal logic KD, and we prove soundness and completeness w.r.t. a semantics in terms of possibility distributions. Next, we reveal a close link between the well-known stable model semantics for logic programming and the notion of minimally specific models in GPL. More generally, we analyze the relationship between the equilibrium logic of Pearce and GPL, showing that GPL can essentially be seen as a generalization of equilibrium logic, although its notion of minimal specificity is slightly more demanding than the notion of minimality underlying equilibrium logic.

Item Type:	Conference or Workshop Item (Paper)
Date Type:	Publication
Status:	Published
Schools:	Computer Science & Informatics
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Publisher:	AAAI Press
Last Modified:	27 Oct 2022 10:01
URI:	https://orca.cardiff.ac.uk/id/eprint/68601

Citation Data

Actions (repository staff only)

Edit Item