Reasoning about uncertainty and explicit ignorance in generalized possibilistic logic

Dubois, Didier, Prade, Henri and Schockaert, Steven ORCID: https://orcid.org/0000-0002-9256-2881 2014. Reasoning about uncertainty and explicit ignorance in generalized possibilistic logic. Presented at: 2nd European Conference on Artificial Intelligence (ECAI), Prague, Czech Republic, 18-22 August 2014. Published in: Schaub, Torsten, Friedrich, Gerhard and O'Sullivan, Barry eds. ECAI 2014: 21st European Conference on Artificial Intelligence. Frontiers in Artificial Intelligence and Applications. Frontiers in Artificial Intelligence and Applications , vol.263 Amsterdam: IOS Press, pp. 261-266. 10.3233/978-1-61499-419-0-261

Preview

PDF - Published Version Available under License Creative Commons Attribution Non-commercial. Download (253kB) | Preview

Abstract

Generalized possibilistic logic (GPL) is a logic for reasoning about the revealed beliefs of another agent. It is a two-tier propositional logic, in which propositional formulas are encapsulated by modal operators that are interpreted in terms of uncertainty measures from possibility theory. Models of a GPL theory represent weighted epistemic states and are encoded as possibility distributions. One of the main features of GPL is that it allows us to explicitly reason about the ignorance of another agent. In this paper, we study two types of approaches for reasoning about ignorance in GPL, based on the idea of minimal specificity and on the notion of guaranteed possibility, respectively. We show how these approaches naturally lead to different flavours of the language of GPL and a number of decision problems, whose complexity ranges from the first to the third level of the polynomial hierarchy.

Item Type:	Conference or Workshop Item - published (Paper)
Date Type:	Publication
Status:	Published
Schools:	Schools > Computer Science & Informatics
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Publisher:	IOS Press
ISBN:	9781614994183
ISSN:	0922-6389
Date of First Compliant Deposit:	21 October 2026
Last Modified:	21 Oct 2026 11:20
URI:	https://orca.cardiff.ac.uk/id/eprint/68592

Citation Data

Cited 10 times in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item