Knowledge-level analysis of belief base operations

DOI10.1016/0004-3702(95)00005-4zbMath1506.03066OpenAlexW2094053304MaRDI QIDQ2674203

Sven Ove Hansson

Publication date: 22 September 2022

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

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (4)

A test battery for rational database updating ⋮ Updating action domain descriptions ⋮ Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics ⋮ An AGM-style belief revision mechanism for probabilistic spatio-temporal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theory contraction through base contraction
• On the status of the postulate of recovery in the logic of theory change
• A model for belief revision
• Belief contraction without recovery
• Subjunctives, dispositions and chances
• Reversing the Levi identity
• Changes of disjunctively closed bases
• Theory contraction and base contraction unified
• On the logic of theory change: Partial meet contraction and revision functions
• Kernel contraction
• New operators for theory change

This page was built for publication: Knowledge-level analysis of belief base operations