Modal logics based on mathematical morphology for qualitative spatial reasoning

Journal of Applied Non-Classical Logics

Volumn 12, Issue 3-4, 2002, Pages 399-423

  Bloch, Isabelle ^a  

^a TELECOM PARISTECH   (France)

Author keywords

Adjunction; Dilation; Erosion; Mathematical Morphology; Modal Logics; Qualitative Spatial Reasoning; Spatial Relations

Indexed keywords

EID: 10044244357     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.3166/jancl.12.399-423     Document Type: Article

References (62)

1. [AIE 99] AIELLO M., VAN BENTHEM J., "Logical Patterns in Space" report num. UVA PP-99-24, 1999, University of Amsterdam.
2. [ALL 83] ALLEN J., "Maintaining Knowledge about Temporal Intervals" Comunications of the ACM, vol. 26, num. 11, 1983, p. 832-843.
3. [ASH 95] ASHER N., VIEU L., "Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology" IJCAI'95, San Mateo, CA, 1995, p. 846- 852.
4. [BAE 93] BAETS B. D., KERRE E., "An Introduction to Fuzzy Mathematical Morphology" NAFIPS'93, Allentown, Pennsylvania, 1993, p. 129-133.
5. [BAE 95] BAETS B. D., "Idempotent Closing and Opening Operations in Fuzzy Mathematical Morphology" ISUMA-NAFIPS'95, College Park, MD, Sep. 1995, p. 228-233.
6. [BAL 99] BALBIANI P., ORLOWSKA E., "A Hierarchy of Modal Logics with Relative Accessibility Relations" Journal of Applied Non-Classical Logics, vol. 9, 1999, p. 303-328.
7. [BEN ] VAN BENTHEM J., "Logical Structures in Mathematical Morphology" http://turing.wins.uva.nl/johan/MM-LL.ps.
8. [BEN 95] BENNETT B., "Modal Logics for Qualitative Spatial Reasoning" Bulletin of the IGPL, vol. 4, num. 1, 1995, p. 23-45.
9. [BLO 93] BLOCH I., MAÎTRE H., "Constructing a Fuzzy Mathematical Morphology: Alternative Ways" Second IEEE International Conference on Fuzzy Systems, FUZZ IEEE 93, San Fransisco, California, March 1993, p. 1303-1308. (Pubitemid 23684460)
10. [BLO 95] BLOCH I., MAÎTRE H., "Fuzzy Mathematical Morphologies: A Comparative Study" Pattern Recognition, vol. 28, num. 9, 1995, p. 1341-1387. (Pubitemid 26442210)
11. [BLO 97] BLOCH I., MAÎTRE H., ANVARI M., "Fuzzy Adjacency between Image Objects" International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, vol. 5, num. 6, 1997, p. 615-653. (Pubitemid 127531675)
12. [BLO 99a] BLOCH I., "Fuzzy Relative Position between Objects in Image Processing: a Morphological Approach" IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 21, num. 7, 1999, p. 657-664.
13. [BLO 99b] BLOCH I., "Fuzzy Relative Position between Objects in Image Processing: New Definition and Properties based on a Morphological Approach" International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, vol. 7, num. 2, 1999, p. 99-133. (Pubitemid 129629987)
14. [BLO 99c] BLOCH I., "On Fuzzy Distances and their Use in Image Processing under Imprecision" Pattern Recognition, vol. 32, num. 11, 1999, p. 1873-1895.
15. [BLO 00a] BLOCH I., "On Links between Mathematical Morphology and Rough Sets" Pattern Recognition, vol. 33, num. 9, 2000, p. 1487-1496.
16. [BLO 00b] BLOCH I., "Spatial Representation of Spatial Relationships Knowledge" COHN A. G., GIUNCHIGLIA F., SELMAN B., Eds., 7th International Conference on Principles of Knowledge Representation and Reasoning KR 2000, Breckenridge, CO, 2000, Morgan Kaufmann, San Francisco, CA, p. 247-258.
17. [BLO 00c] BLOCH I., "Using Mathematical Morphology Operators as Modal Operators for Spatial Reasoning" ECAI 2000, Workshop on Spatio-Temporal Reasoning, Berlin, Germany, 2000, p. 73-79.
18. [BLO 00d] BLOCH I., LANG J., "Towards Mathematical Morpho-Logics" 8th International Conference on Information Processing and Management of Uncertainty in Knowledge based Systems IPMU 2000, vol. III, Madrid, Spain, 2000, p. 1405-1412.
19. [BOL 95] BOLDRIN L., SAFFIOTTI A., "A Modal logic for merging Partial Belief of Multiple Reasoners", num. TR/IRIDIA/95-19, 1995.
20. [BOL 99] BOLDRIN L., SAFFIOTTI A., "A Modal logic for Fusing Partial Belief of Multiple Reasoners" Journal of Logic and Computation, vol. 9, num. 1, 1999, p. 81-103.
21. [CHE 80] CHELLAS B., Modal Logic, an Introduction, Cambridge University Press, Cambridge, 1980.
22. [CLE 97] CLEMENTINI E., FELICE O. D., "Approximate Topological Relations" International Journal of Approximate Reasoning, vol. 16, 1997, p. 173-204. (Pubitemid 127428662)
23. [COH 97] COHN A., BENNETT B., GOODAY J., GOTTS N. M., "Representing and Reasoning with Qualitative Spatial Relations about Regions" STOCK O., Ed., Spatial and Temporal Reasoning, p. 97-134, Kluwer, 1997.
24. [CRI 00] CRISTANI M., COHN A. G., BENNETT B., "Spatial Locations via Morpho- Mereology" COHN A. G., GIUNCHIGLIA F., SELMAN B., Eds., 7th International Conference on Principles of Knowledge Representation and Reasoning KR 2000, Breckenridge, CO, 2000, Morgan Kaufmann, San Francisco, CA, p. 15-25.
25. [DEN 96] DENIS M., "Imagery and the Description of Spatial Configurations" DE VEGA ET AL. M., Ed., Models of Visuospatial Cognition, chapter 4, Oxford University Press, New York, 1996.
26. [DEN 00] DENG T.-Q., HEIJMANS H., "Grey-Scale Morphology Based on Fuzzy Logic" report num. PNA-R0012, 2000, CWI, Amsterdam, NL.
27. [DUB 80] DUBOIS D., PRADE H., Fuzzy Sets and Systems: Theory and Applications, Academic Press, New-York, 1980.
28. [DUB 97] DUBOIS D., ESTEVA F., GARCIA P., GODO L., PRADE H., "A Logical Approach to Interpolation based on Similarity Relations" International Journal of Approximate Reasoning, vol. 17, num. 1, 1997, p. 1-36. (Pubitemid 127426975)
29. [DUT 91] DUTTA S., "Approximate Spatial Reasoning: Integrating Qualitative and Quantitative Constraints" International Journal of Approximate Reasoning, vol. 5, 1991, p. 307- 331.
30. [EST 97] ESTEVA F., GARCIA P., GODO L., "A Modal Account of Similarity-Based Reasoning" International Journal of Approximate Reasoning, vol. 16, 1997, p. 235-260. (Pubitemid 127418353)
31. [FRE 75] FREEMAN J., "The Modelling of Spatial Relations" Computer Graphics and Image Processing, vol. 4, num. 2, 1975, p. 156-171.
32. [GAL 00] GALTON A., "Continous Motion in Discrete Space" COHN A. G., GIUNCHIGLIA F., SELMAN B., Eds., 7th International Conference on Principles of Knowledge Representation and Reasoning KR 2000, Breckenridge, CO, 2000, Morgan Kaufmann, San Francisco, CA, p. 26-37.
33. [GAP 94] GAPP K. P., "Basic Meanings of Spatial Relations: Computation and Evaluation in 3D Space" 12th National Conference on Artificial Intelligence, AAAI-94, Seattle, Washington, 1994, p. 1393-1398.
34. [GUE 96] GUESGUEN H. W., "Towards Hybrid Spatial Reasoning" MARTIN T., RALESCU A., Eds., Fuzzy Logic in Artificial Intelligence, Towards Intelligent Systems, vol. 1188 ofLNAI, p. 197-206, Springer, 1996.
35. [GUE 98] GUESGEN H. W., "Reasoning with Words about Geographic Information" RALESCU A., SHANAHAN J., Eds., Fuzzy Logic in Artificial Intelligence, vol. 1566 of LNAI, p. 133-148, Springer, 1998.
36. [HEI 90] HEIJMANS H. J. A. M., RONSE C., "The Algebraic Basis of Mathematical Morphology - Part I: Dilations and Erosions" Computer Vision, Graphics and Image Processing, vol. 50, 1990, p. 245-295. (Pubitemid 20695762)
37. [HUG 68] HUGHES G. E., CRESSWELL M. J., An Introduction to Modal Logic, Methuen, London, UK, 1968.
38. [JEA 94] JEANSOULIN R., MATHIEU C., "Une logique modale des inférences spatiales" Revue Internationale de Géomatique, vol. 4, 1994, p. 369-384.
39. [KEL 95] KELLER J. M., WANG X., "Comparison of Spatial Relation Definitions in Computer Vision" ISUMA-NAFIPS'95, College Park, MD, Sep. 1995, p. 679-684.
40. [KRI 93] KRISHNAPURAM R., KELLER J. M., MA Y., "Quantitative Analysis of Properties and Spatial Relations of Fuzzy Image Regions" IEEE Transactions on Fuzzy Systems, vol. 1, num. 3, 1993, p. 222-233.
41. [KUI 78] KUIPERS B., "Modeling Spatial Knowledge" Cognitive Science, vol. 2, 1978, p. 129-153. (Pubitemid 9142777)
42. [KUI 88] KUIPERS B. J., LEVITT T. S., "Navigation and Mapping in Large-Scale Space" AI Magazine, vol. 9, num. 2, 1988, p. 25-43.
43. [LIU 98] LIU J., "A Method of Spatial Reasoning based on Qualitative Trigonometry" Artificial Intelligence, vol. 98, 1998, p. 137-168. (Pubitemid 128392778)
44. [MAT 99] MATSAKIS P., WENDLING L., "A New Way to Represent the Relative Position between Areal Objects" IEEE Trans. on Pattern Analysis and Machine Intelligence, vol. 21, num. 7, 1999, p. 634-642.
45. [MEN 42] MENGER K., "Statistical Metrics" Proc. National Academy of Siences USA, vol. 28, 1942, p. 535-537.
46. [MIY 94] MIYAJIMA K., RALESCU A., "Spatial Organization in 2D Segmented Images: Representation and Recognition of Primitive Spatial Relations" Fuzzy Sets and Systems, vol. 65, 1994, p. 225-236.
47. [ORL 93] ORLOWSKA E., "Rough Set Semantics for Non-Classical Logics" International Workshop on Rough Sets, Fuzzy Sets and Knowledge Discovery, Banff, Canada, Oct. 1993, p. 143-148.
48. [PAW 82] PAWLAK Z., "Rough Sets" International Journal of Information and Computer Science, vol. 11, num. 5, 1982, p. 341-356.
49. [PAW 87] PAWLAK Z., "Rough Logic" Bulletin of the Polish Academy of Sciences, vol. 35, num. 5-6, 1987, p. 253-258.
50. [PEU 88] PEUQUET D. J., "Representations of Geographical Space: Toward a Conceptual Synthesis" Annals of the Association of American Geographers, vol. 78, num. 3, 1988, p. 375-394.
51. [PUL 88] PULLAR D., EGENHOFER M., "Toward Formal Definitions of Topological Relations Among Spatial Objects" Third Int. Symposium on Spatial Data Handling, Sydney, Australia, Aug. 1988, p. 225-241.
52. [RAN 92] RANDELL D., CUI Z., COHN A., "A Spatial Logic based on Regions and Connection" NEBEL B., RICH C., SWARTOUTW., Eds., Principles of Knowledge Representation and Reasoning KR'92, San Mateo, CA, 1992, Kaufmann, p. 165-176.
53. [REN 01] RENZ J., NEBEL B., "Efficient Methods for Qualitative Spatial Reasoning" Journal of Artificial Intelligence Research,, 2001.
54. [SCH 63] SCHWEIZER B., SKLAR A., "Associative Functions and Abstract Semigroups" Publ. Math. Debrecen, vol. 10, 1963, p. 69-81.
55. [SER 82] SERRA J., Image Analysis and Mathematical Morphology, Academic Press, London, 1982.
56. [SER 88] SERRA J., Image Analysis and Mathematical Morphology, Part II: Theoretical Advances, Academic Press (J. Serra Ed.), London, 1988.
57. [SIN 92] SINHA D., DOUGHERTY E., "Fuzzy Mathematical Morphology" Journal of Visual Communication and Image Representation, vol. 3, num. 3, 1992, p. 286-302.
58. [SIN 97] SINHA D., SINHA P., DOUGHERTY E. R., BATMAN S., "Design and Analysis of Fuzzy Morphological Algorithms for Image Processing" IEEE Trans. on Fuzzy Systems, vol. 5, num. 4, 1997, p. 570-584. (Pubitemid 127768536)
59. [VAR 96] VARZI A., "Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology" Data and Knowledge Engineering, vol. 20, num. 3, 1996, p. 259-286. (Pubitemid 126365675)
60. [VIE 97] VIEU L., "Spatial Representation and Reasoning in Artificial Intelligence" STOCK O., Ed., Spatial and Temporal Reasoning, p. 5-41, Kluwer, 1997.
61. [WAN 99] WANG X., KELLER J. M., "Human-based Spatial Relationship Generalization through Neural/Fuzzy Approaches" Fuzzy Sets and Systems, vol. 101, num. 1, 1999, p. 5-20. (Pubitemid 129662642)
62. [ZAD 75] ZADEH L. A., "The Concept of a Linguistic Variable and its Application to Approximate Reasoning" Information Sciences, vol. 8, 1975, p. 199-249.