A semantics for reasoning consistently in the presence of inconsistency

DOI10.1016/0004-3702(95)00100-XzbMath1506.68141WikidataQ126310994 ScholiaQ126310994MaRDI QIDQ2676565

Jinxin Lin

Publication date: 27 September 2022

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

knowledge representationknowledge basebelieflogic of knowledgereasoning with inconsistency

Mathematics Subject Classification ID

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

Related Items (3)

Two-way fuzzy adaptive identification and control of a flexible-joint robot arm ⋮ Belief functions on distributive lattices ⋮ Logical Foundations of Evidential Reasoning with Contradictory Information

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Belief, awareness, and limited reasoning
• On interpretation of inconsistent theories
• Minimally inconsistent LP
• A guide to completeness and complexity for modal logics of knowledge and belief
• Intuitive semantics for first-degree entailments and `coupled trees'
• Integration of weighted knowledge bases
• All I know: A study in autoepistemic logic
• Knowledge and common knowledge in a distributed environment
• A model-theoretic analysis of knowledge

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