Morphologic for knowledge dynamics: revision, fusion and abduction

DOI10.1080/11663081.2023.2244360arXiv1802.05142OpenAlexW4385720336MaRDI QIDQ6080572

Jérôme Lang, Isabelle Bloch, Ramón Pino Pérez, Carlos Uzcátegui

Publication date: 30 October 2023

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1802.05142

zbMATH Keywords

belief revisionknowledge representationabductionfusionmathematical morphologyknowledge dynamicsmorphologic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Minimal change: relevance and recovery revisited
• Logic based merging
• Lattices of fuzzy sets and bipolar fuzzy sets, and mathematical morphology
• Why mathematical morphology needs complete lattices
• Preferences and explanations
• Representation theorems for explanatory reasoning based on cumulative models
• Nonmonotonic reasoning, preferential models and cumulative logics
• Propositional knowledge base revision and minimal change
• Jumping to explanations versus jumping to conclusions
• Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction
• Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
• Abduction as belief revision
• Propositional distances and compact preference representation
• On some associations between mathematical morphology and artificial intelligence
• Inter-definability of Horn contraction and Horn revision
• Implementing semantic merging operators using binary decision diagrams
• Belief revision in Horn theories
• The algebraic basis of mathematical morphology
• Handbook of Spatial Logics
• Knowledge Base Revision in Description Logics
• Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning
• On the logic of theory change: Partial meet contraction and revision functions
• The algebraic basis of mathematical morphology I. Dilations and erosions
• Credibility limited revision
• The complexity of logic-based abduction
• Merging Information Under Constraints: A Logical Framework
• Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning
• A Causal Theory of Abduction
• Merging First-Order Knowledge Using Dilation Operators