A dissimilarity-based framework for generating inconsistency-tolerant logics

DOI10.1007/S10472-013-9333-2MaRDI QIDQ2254632zbMATH OpenOpenAlexFDO

Authors Ofer Arieli, Anna Zamansky

Publication date 5 February 2015

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-013-9333-2

zbMATH Keywords

dissimilarity-based entailmentsreasoning with inconsistency

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Logic in artificial intelligence (68T27)

Recommendations

• Similarity-based inconsistency-tolerant logics
• Inconsistency measures for disjunctive logic programs under answer set semantics
• A general framework for reasoning on inconsistency
• Characterising and explaining inconsistency in logic programs
• scientific article; zbMATH DE number 1735919
• scientific article; zbMATH DE number 1303449
• A semantics for reasoning consistently in the presence of inconsistency
• scientific article; zbMATH DE number 2070200
• Investigating the mapping between default logic and inconsistency-tolerant semantics

Cites work

• A treatise on many-valued logics
• Answer sets for consistent query answering in inconsistent databases
• Circumscription - a form of non-monotonic reasoning
• Distance semantics for belief revision
• Distance semantics for database repair
• Distance-based non-deterministic semantics for reasoning with uncertainty
• Distance-based paraconsistent logics
• Efficient reasoning about rich temporal domains
• General patterns for nonmonotonic reasoning: from basic entailments to plausible relations
• Handbook of paraconsistency
• scientific article; zbMATH DE number 35414 (Why is no real title available?)
• scientific article; zbMATH DE number 1301608 (Why is no real title available?)
• scientific article; zbMATH DE number 560935 (Why is no real title available?)
• scientific article; zbMATH DE number 2080023 (Why is no real title available?)
• scientific article; zbMATH DE number 1931671 (Why is no real title available?)
• scientific article; zbMATH DE number 1849163 (Why is no real title available?)
• scientific article; zbMATH DE number 1852926 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Ideal paraconsistent logics
• Implementing semantic merging operators using binary decision diagrams
• Inconsistency Tolerance
• Merging Information Under Constraints: A Logical Framework
• Non-deterministic Multiple-valued Structures
• Nonmonotonic reasoning, preferential models and cumulative logics
• On the theory of inconsistent formal systems
• Prioritized repairing and consistent query answering in relational databases
• Proof systems for reasoning about computation errors
• Reasoning about truth
• Reasoning under inconsistency: a forgetting-based approach
• Similarity-based inconsistency-tolerant logics
• Simplified forms of computerized reasoning with distance semantics
• What does a conditional knowledge base entail?

Cited in

(5)

• A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite
• Compositional meaning in logic
• A general framework for reasoning on inconsistency
• Similarity-based inconsistency-tolerant logics
• A capacity-based semantics for inconsistency-tolerant inferences

This page was built for publication: A dissimilarity-based framework for generating inconsistency-tolerant logics

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