Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
From MaRDI portal
Publication:1677438
DOI10.1016/j.artint.2017.08.001zbMath1419.68110OpenAlexW2744775946MaRDI QIDQ1677438
Henri Prade, Steven Schockaert, Dubois, Didier
Publication date: 21 November 2017
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: http://orca.cf.ac.uk/103267/9/NewGPL.pdf
Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Related Items
Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions, On the relation between possibilistic logic and modal logics of belief and knowledge, An elementary belief function logic, Qualitative reasoning in a two-layered framework, Modelling incomplete information in Boolean games using possibilistic logic, A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information, \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions, Qualitative conditioning in an interval-based possibilistic setting, The possibilistic Horn non-clausal knowledge bases
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Counterfactuals and comparative possibility
- Equilibrium logic
- Semantical considerations on multiagent only knowing
- Possibilistic reasoning with partially ordered beliefs
- Resolution principles in possibilistic logic
- Conditional entailment: bridging two approaches to default reasoning.
- Semantical considerations on nonmonotonic logic
- Default reasoning and possibility theory
- Fuzzy sets, probability and measurement
- A logic for default reasoning
- Nonmonotonic reasoning, preferential models and cumulative logics
- Epistemic entrenchment and possibilistic logic
- What does a conditional knowledge base entail?
- Fuzzy sets as a basis for a theory of possibility
- Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic
- Metamathematics of fuzzy logic
- Proof methods for reasoning about possibility and necessity
- Modal logics for qualitative possibility theory
- From ordering-based nonmonotonic reasoning to conditional logics
- Minimal belief and negation as failure
- A semantics for possibility theory based on likelihoods
- Nonmonotonic reasoning, conditional objects and possibility theory
- Knowledge-driven versus data-driven logics
- All I know: A study in autoepistemic logic
- Possibilistic vs. relational semantics for logics of incomplete information
- A simple logic for reasoning about incomplete knowledge
- Capturing equilibrium models in modal logic
- Markov logic networks
- Multi-agent Only Knowing
- Selected Results and Related Issues of Confidentiality-Preserving Controlled Interaction Execution
- Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem
- New Semantics for Epistemic Specifications
- On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events
- ON MODAL LOGIC INTERPRETATION OF POSSIBILITY THEORY
- Bounded Query Classes
- PRUF—a meaning representation language for natural languages
- Negation as failure in the head
- A modal theorem-preserving translation of a class of three-valued logics of incomplete information
- Characterizing and extending answer set semantics using possibility theory
- Conditional objects as nonmonotonic consequence relationships
- Twelve Definitions of a Stable Model
