A representation theorem for recovering contraction relations satisfying wci

DOI10.1016/S0304-3975(02)00035-XzbMath1019.68106MaRDI QIDQ1853602

Xi'an Xiao, Zhaohui Zhu, Bin Li, Wujia Zhu, Shi-Fu Chen

Publication date: 21 January 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

representation theorembelief contractionepistemic statecontraction inference relation

Mathematics Subject Classification ID

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

Related Items

Normal conditions for inference relations and injective models, A characterization theorem for injective model classes axiomatized by general rules

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theory contraction through base contraction
• Nonmonotonic reasoning, preferential models and cumulative logics
• A foundational theory of belief and belief change
• Nonmonotonic inference based on expectations
• A textbook of belief dynamics. Theory change and database updating
• A foundationalist view of the AGM theory of belief change
• Theory contraction and base contraction unified
• On the logic of theory change: Partial meet contraction and revision functions
• Injective Models and Disjunctive Relations
• Belief contraction in the context of the general theory of rational choice
• Belief contraction as nonmonotonic inference
• On representation theorems for nonmonotonic consequence relations
• Valuation structure