Morphologic for knowledge dynamics: revision, fusion and abduction
From MaRDI portal
Publication:6080572
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
belief revisionknowledge representationabductionfusionmathematical morphologyknowledge dynamicsmorphologic
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