Modal logics based on mathematical morphology for qualitative spatial reasoning

DOI10.3166/JANCL.12.399-423MaRDI QIDQ3647301zbMATH OpenOpenAlexFDO

Authors I. Bloch

Publication date 30 November 2009

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

Full work available at URL https://doi.org/10.3166/jancl.12.399-423

zbMATH Keywords

adjunctiondilationerosionmathematical morphologymodal logicsqualitative spatial reasoningspatial relations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other applications of logic (03B80) Logic in artificial intelligence (68T27) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• scientific article; zbMATH DE number 2034371
• scientific article; zbMATH DE number 877746
• Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning
• scientific article; zbMATH DE number 1958105
• The logic of discrete qualitative relations

Cites work

• A hierarchy of modal logics with relative accessibility relations
• A logical approach to interpolation based on similarity relations
• A method of spatial reasoning based on qualitative trigonometry
• A modal account of similarity-based reasoning
• A modal logic for fusing partial belief of multiple reasoners
• Approximate topological relations
• Fuzzy Adjacency between Image Objects
• FUZZY RELATIVE POSITION BETWEEN OBJECTS IN IMAGE PROCESSING: NEW DEFINITION AND PROPERTIES BASED ON A MORPHOLOGICAL APPROACH
• Fuzzy sets and systems. Theory and applications
• scientific article; zbMATH DE number 3902440 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• Maintaining knowledge about temporal intervals
• Parts, wholes, and part-whole relations: The prospects of mereotopology
• Rough sets
• The algebraic basis of mathematical morphology I. Dilations and erosions
• The concept of a linguistic variable and its application to approximate reasoning. I

Cited in

(19)

• Expressing discrete spatial relations under granularity
• On some associations between mathematical morphology and artificial intelligence
• Fuzzy sets for image processing and understanding
• A new modal logic for reasoning about space: spatial propositional neighborhood logic
• Spatial reasoning under imprecision using fuzzy set theory, formal logics and mathematical morphology
• A bi-intuitionistic modal logic: foundations and automation
• Fuzzy and Bipolar Mathematical Morphology, Applications in Spatial Reasoning
• Logic for physical space. From antiquity to present day
• scientific article; zbMATH DE number 1735982 (Why is no real title available?)
• scientific article; zbMATH DE number 1958105 (Why is no real title available?)
• scientific article; zbMATH DE number 2034371 (Why is no real title available?)
• The logic of discrete qualitative relations
• scientific article; zbMATH DE number 877746 (Why is no real title available?)
• Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning
• scientific article; zbMATH DE number 5241969 (Why is no real title available?)
• Lattices of fuzzy sets and bipolar fuzzy sets, and mathematical morphology
• Morphologic for knowledge dynamics: revision, fusion and abduction
• Morpho-logic from a topos perspective -- application to symbolic AI
• A modal logic for subject-oriented spatial reasoning

This page was built for publication: Modal logics based on mathematical morphology for qualitative spatial reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3647301)