Possibilistic logic: a retrospective and prospective view
From MaRDI portal
Publication:598572
DOI10.1016/j.fss.2003.10.011zbMath1076.68084OpenAlexW2002328436MaRDI QIDQ598572
Publication date: 6 August 2004
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2003.10.011
Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Related Items
Extending description logics with uncertainty reasoning in possibilistic logic ⋮ Possibilistic Conditional Preference Networks ⋮ Extending uncertainty formalisms to linear constraints and other complex formalisms ⋮ Uncertain logic processing: logic-based inference and reasoning using Dempster-Shafer models ⋮ A generic framework to include belief functions in preference handling and multi-criteria decision ⋮ Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights ⋮ Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions ⋮ Uncertain lightweight ontologies in a product-based possibility theory framework ⋮ The role of metalanguage in graded logical approaches ⋮ Multiple agent possibilistic logic ⋮ A modal theorem-preserving translation of a class of three-valued logics of incomplete information ⋮ On the relation between possibilistic logic and modal logics of belief and knowledge ⋮ On Possibilistic Modal Logics Defined Over MTL-Chains ⋮ Possibilistic reasoning with partially ordered beliefs ⋮ A first polynomial non-clausal class in many-valued logic ⋮ Extending possibilistic logic over Gödel logic ⋮ Negation and paraconsistent logics ⋮ Three approaches to iterated belief contraction ⋮ Database preference queries -- a possibilistic logic approach with symbolic priorities ⋮ Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic ⋮ A two-wheeled self-balancing robot with the fuzzy PD control method ⋮ The local geometry of multiattribute tradeoff preferences ⋮ Editorial: Weighted logics for artificial intelligence -- an introductory discussion ⋮ A correspondence between belief function combination and knowledge base merging ⋮ Modelling incomplete information in Boolean games using possibilistic logic ⋮ Qualitative heuristics for balancing the pros and cons ⋮ On Cautiousness and Expressiveness in Interval-Valued Logic ⋮ An introduction to fuzzy answer set programming ⋮ Encoding Fuzzy Diagnosis Rules as Optimisation Problems ⋮ Algorithms for possibility assessments: coherence and extension ⋮ Plausible reasoning and graded information: a unified approach ⋮ Pavelka-style fuzzy logic in retrospect and prospect ⋮ Graded consequence revisited ⋮ Database Preferences Queries – A Possibilistic Logic Approach with Symbolic Priorities ⋮ The PITA system: Tabling and answer subsumption for reasoning under uncertainty ⋮ A Simple Modal Logic for Reasoning about Revealed Beliefs ⋮ Possibility and evidence theory‐based design optimization: an overview ⋮ Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic ⋮ Semantics for Possibilistic Disjunctive Programs ⋮ The possibilistic Horn non-clausal knowledge bases ⋮ Erratum to: ``Database preference queries -- a possibilistic logic approach with symbolic priorities ⋮ The logical encoding of Sugeno integrals ⋮ Quantitative Semantics for Uncertain Knowledge Bases ⋮ Reasoning with Multiple-Agent Possibilistic Logic ⋮ A simple logic for reasoning about incomplete knowledge ⋮ Using possibilistic logic for modeling qualitative decision: answer set programming algorithms
Cites Work
- Reasoning with partially ordered information in a possibilistic logic framework
- Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
- An analysis of first-order logics of probability
- Resolution principles in possibilistic logic
- Epistemic entrenchment and possibilistic logic
- What does a conditional knowledge base entail?
- Fuzzy logic and approximate reasoning
- Fuzzy sets as a basis for a theory of possibility
- Conditional possibilities independence and noninteraction
- Independence concepts in possibility theory. I
- Metamathematics of fuzzy logic
- Modal logics for qualitative possibility theory
- From ordering-based nonmonotonic reasoning to conditional logics
- Relating and extending semantical approaches to possibilistic reasoning
- A qualitative fuzzy possibilistic logic
- An alternative proof method for possibilistic logic and its application to terminological logics
- On the transformation between possibilistic logic bases and possibilistic causal networks
- Possibilistic reasoning -- a mini-survey and uniform semantics
- Nonmonotonic reasoning, conditional objects and possibility theory
- Probabilistic reasoning under coherence in System P
- Stochastic independence in a coherent setting
- A practical approach to revising prioritized knowledge bases
- Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events
- A synthetic view of belief revision with uncertain inputs in the framework of possibility theory
- On the possibility theory-based semantics for logics of preference
- A prallel algorithm for building possibilistic causal networks
- Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison
- Knowledge-driven versus data-driven logics
- Possibility theory, probability theory and multiple-valued logics: a clarification
- On inference from inconsistent premisses
- Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification
- Necessity Measures and the Resolution Principle
- Generated necessities and possibilities
- Local possibilistic logic
- Maxi-Adjustment and Possibilistic Deduction for Adaptive Information Agents
- Possibilistic Residuated Implication Logics with Applications
- Fuzzy Logic and the Resolution Principle
- Towards a possibilistic logic handling of preferences
- Automatic derivation of probabilistic inference rules
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
