Partial meet pseudo-contractions

DOI10.1016/j.ijar.2018.08.006zbMath1448.68401OpenAlexW2888869643WikidataQ111288314 ScholiaQ111288314MaRDI QIDQ1726273

Vinícius Bitencourt Matos, Márcio Moretto Ribeiro, Renata Wassermann, Yuri David Santos

Publication date: 20 February 2019

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://pure.rug.nl/ws/files/66754865/1_s2.0_S0888613X1830104X_main.pdf

zbMATH Keywords

belief revisionontologieslimited reasoningpseudo-contractions

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Minimal change: relevance and recovery revisited
• On the logic of theory change: safe contraction
• On the status of the postulate of recovery in the logic of theory change
• The logic of paradox
• Reversing the Levi identity
• Changes of disjunctively closed bases
• Foundational belief change
• Infobase change: A first approximation
• Local change
• Tractable reasoning via approximation
• A textbook of belief dynamics. Theory change and database updating
• Horn Clause Contraction Functions
• Approximate belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• Kernel contraction
• New operators for theory change
• Basic infobase change

This page was built for publication: Partial meet pseudo-contractions