A semantics for reasoning consistently in the presence of inconsistency

DOI10.1016/0004-3702(95)00100-XMaRDI QIDQ2676565zbMATH OpenWikidataFDO

Authors Jinxin Lin

Publication date 27 September 2022

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(95)00100-X

zbMATH Keywords

beliefknowledge baseknowledge representationlogic of knowledgereasoning with inconsistency

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• A logic for reasoning with inconsistent knowledge
• A simple signed system for paraconsistent reasoning
• scientific article; zbMATH DE number 4181307
• A logic for reasoning with inconsistency
• scientific article; zbMATH DE number 1269574

Cites work

• A guide to completeness and complexity for modal logics of knowledge and belief
• A model-theoretic analysis of knowledge
• All I know: A study in autoepistemic logic
• Belief, awareness, and limited reasoning
• scientific article; zbMATH DE number 4181307 (Why is no real title available?)
• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 46359 (Why is no real title available?)
• scientific article; zbMATH DE number 67495 (Why is no real title available?)
• scientific article; zbMATH DE number 140392 (Why is no real title available?)
• scientific article; zbMATH DE number 140401 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• Integration of weighted knowledge bases
• Intuitive semantics for first-degree entailments and `coupled trees'
• Knowledge and common knowledge in a distributed environment
• Minimally inconsistent LP
• On interpretation of inconsistent theories

Cited in

(12)

• A logic for reasoning with inconsistent knowledge
• Two-way fuzzy adaptive identification and control of a flexible-joint robot arm
• A dissimilarity-based framework for generating inconsistency-tolerant logics
• Sources of, and exploiting, inconsistency: preliminary report
• scientific article; zbMATH DE number 4181307 (Why is no real title available?)
• Logical foundations of evidential reasoning with contradictory information
• Belief functions on distributive lattices
• A general framework for reasoning on inconsistency
• An approach to resolving semantic inconsistency of multiple prepositional attitudes
• Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
• A logic for reasoning with inconsistency
• Inconsistency and semantic unification

This page was built for publication: A semantics for reasoning consistently in the presence of inconsistency

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