Mereotopology for product modelling. A new framework for product modelling based on logic

Mereotopology is the branch of logic that treats the qualitative formalisation of parthood and connection relations between entities. Although it has apparently not yet found use in spatial reasoning for designed product modelling, the author proposes that it is well suited to the task. This paper introduces mereotopology and discusses some of the principles guiding the development of design mereotopology (DMT), a logic being developed by the author for product modelling. Typical MT logics cannot be applied directly to engineering applications because they assume a "common sense" approach, whereas design requires a more strict "engineering sense." DMT can provide a framework for improved understanding of product modelling knowledge and will lead to better computer-based aids to manipulate that knowledge.

[1]  Alan S. Perelson,et al.  System Dynamics: A Unified Approach , 1976, IEEE Transactions on Systems, Man, and Cybernetics.

[2]  Barry Smith,et al.  Mereotopology: A Theory of Parts and Boundaries , 1996, Data Knowl. Eng..

[3]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[4]  Filippo A. Salustri,et al.  A formal theory for knowledge-based product model representation , 1997 .

[5]  Yang Bo,et al.  Function Modeling Based on Interactions of Mass, Energy and Information , 1999, FLAIRS.

[6]  John S. Gero,et al.  Function–behavior–structure paths and their role in analogy-based design , 1996, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[7]  Carola Eschenbach,et al.  A Predication Calculus for Qualitative Spatial Representations , 1999, COSIT.

[8]  Laure Vieu,et al.  A Logical Framework for Reasoning about Space , 1993, COSIT.

[9]  Carola Eschenbach,et al.  Classical mereology and restricted domains , 1995, Int. J. Hum. Comput. Stud..

[10]  Clive L. Dym,et al.  Deep: A knowledge-based (expert) system for electric plat design , 1995 .

[11]  Antony Galton,et al.  The Mereotopology of Discrete Space , 1999, COSIT.

[12]  Eliseo Clementini,et al.  Qualitative Representation of Positional Information , 1997, Artif. Intell..

[13]  Nicola Guarino,et al.  A Pointless Theory of Space Based on Strong Connection and Congruence , 1996, KR.

[14]  Peter F. Patel-Schneider,et al.  Living wiht Classic: When and How to Use a KL-ONE-Like Language , 1991, Principles of Semantic Networks.