Distance-based paraconsistent logics

DOI10.1016/j.ijar.2007.07.002zbMath1189.03035WikidataQ126224213 ScholiaQ126224213MaRDI QIDQ2270429

Ofer Arieli

Publication date: 18 March 2010

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2007.07.002

zbMATH Keywords

nonmonotonic reasoning; distance semantics; multiple-valued logics; paraconsistent reasoning

Mathematics Subject Classification ID

68T37: Reasoning under uncertainty in the context of artificial intelligence

03B50: Many-valued logic

03B53: Paraconsistent logics

Related Items

Logic based merging, A framework for reasoning under uncertainty based on non-deterministic distance semantics, Simplified forms of computerized reasoning with distance semantics, Reasoning with prioritized information by iterative aggregation of distance functions, Reasoning under inconsistency: a forgetting-based approach, A dissimilarity-based framework for generating inconsistency-tolerant logics, A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information, Reasoning with Uncertainty by Nmatrix–Metric Semantics, Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data

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
• Reasoning about truth
• Two modellings for theory change
• On interpretation of inconsistent theories
• Circumscription - a form of non-monotonic reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• Minimally inconsistent LP
• Propositional knowledge base revision and minimal change
• What does a conditional knowledge base entail?
• The value of the four values
• Metamathematics of fuzzy logic
• Minimal-change integrity maintenance using tuple deletions
• Handbook of philosophical logic. Vol. 6
• Computational methods for database repair by signed formulae
• On the theory of inconsistent formal systems
• Distance semantics for belief revision
• Distance-Based Repairs of Databases
• On the logic of theory change: Partial meet contraction and revision functions
• Natural 3-valued logics—characterization and proof theory
• Kleene's Logic, Generalized
• Reducing Preferential Paraconsistent Reasoning to Classical Entailment
• Merging Information Under Constraints: A Logical Framework
• Answer sets for consistent query answering in inconsistent databases
• Logic Programming
• Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae