Possibilistic logic: from certainty-qualified statements to two-tiered logics -- a prospective survey

DOI10.1007/978-3-030-19570-0_1MaRDI QIDQ2296691zbMATH OpenOpenAlexFDO

Authors Henri Prade, Didier Dubois

Publication date 18 February 2020

Full work available at URL https://oatao.univ-toulouse.fr/24946/1/dubois_24946.pdf

zbMATH Keywords

nonclassical logicpossibilistic logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Review text

This paper reviews the main features, developements and applications of possibility logic (PL), a counterpart of possibility theory. Basic possibility logic extends classical logic by associating to each elementary formula a certainty level belonging to a bounded scale. Semantics are represented by epistemic states and corresponding fuzzy sets. First, the basic concepts of PL are introduced and then the focus is on numerous applications of PL, including possibilistic networks, default reasoning, belief revision, information fusion, decision under uncertainty and others. Extensions of basic PL are obtained by considering vectors of certainty levels and more abstract pure symbolic levels of certainty, paraconsistent valuations, subsets of agents, and an even more general extension to generalized possibility logic (GPL). Applications of GPL are in the realms of nonmonotonic logic programming and multiple agent reasoning. For the entire collection see [Zbl 1412.68007].

Recommendations

• Possibilistic logic: a retrospective and prospective view
• A crash course on generalized possibilistic logic
• scientific article; zbMATH DE number 956598
• Bipolarity in Possibilistic Logic and Fuzzy Rules (Extended Abstract)
• Modal logics for qualitative possibility theory

Cited in

(21)

• Modal logics for qualitative possibility theory
• Relating and extending semantical approaches to possibilistic reasoning
• An alternative proof method for possibilistic logic and its application to terminological logics
• Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
• Foundation of credibilistic logic
• Possibilistic extension rules for reasoning and knowledge compilation
• scientific article; zbMATH DE number 35413 (Why is no real title available?)
• scientific article; zbMATH DE number 500949 (Why is no real title available?)
• scientific article; zbMATH DE number 1048026 (Why is no real title available?)
• Local possibilistic logic
• scientific article; zbMATH DE number 1129501 (Why is no real title available?)
• scientific article; zbMATH DE number 2063018 (Why is no real title available?)
• scientific article; zbMATH DE number 1868916 (Why is no real title available?)
• Reasoning about uncertainty and explicit ignorance in generalized possibilistic logic
• Possibilistic Residuated Implication Logics with Applications
• scientific article; zbMATH DE number 956598 (Why is no real title available?)
• Possibilistic logic: a retrospective and prospective view
• A crash course on generalized possibilistic logic
• Reasoning and learning in the setting of possibility theory -- overview and perspectives
• Provenance calculus and possibilistic logic: a parallel and a discussion
• Boolean weighting in possibilistic logic

This page was built for publication: Possibilistic logic: from certainty-qualified statements to two-tiered logics -- a prospective survey

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2296691)