A Phase-Field Perspective on Mereotopology
Mereotopology is a concept rooted in analytical philosophy. The phase-field concept is based on mathematical physics and finds applications in materials engineering. The two concepts seem to be disjoint at a first glance. While mereotopology qualitatively describes static relations between things, s...
Gespeichert in:
Veröffentlicht in: | AppliedMath 2022-03, Vol.2 (1), p.54-103 |
---|---|
1. Verfasser: | |
Format: | Artikel |
Sprache: | eng |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | Mereotopology is a concept rooted in analytical philosophy. The phase-field concept is based on mathematical physics and finds applications in materials engineering. The two concepts seem to be disjoint at a first glance. While mereotopology qualitatively describes static relations between things, such as x isConnected y (topology) or x isPartOf y (mereology) by first order logic and Boolean algebra, the phase-field concept describes the geometric shape of things and its dynamic evolution by drawing on a scalar field. The geometric shape of any thing is defined by its boundaries to one or more neighboring things. The notion and description of boundaries thus provides a bridge between mereotopology and the phase-field concept. The present article aims to relate phase-field expressions describing boundaries and especially triple junctions to their Boolean counterparts in mereotopology and contact algebra. An introductory overview on mereotopology is followed by an introduction to the phase-field concept already indicating its first relations to mereotopology. Mereotopological axioms and definitions are then discussed in detail from a phase-field perspective. A dedicated section introduces and discusses further notions of the isConnected relation emerging from the phase-field perspective like isSpatiallyConnected, isTemporallyConnected, isPhysicallyConnected, isPathConnected, and wasConnected. Such relations introduce dynamics and thus physics into mereotopology, as transitions from isDisconnected to isPartOf can be described. |
---|---|
ISSN: | 2673-9909 2673-9909 |
DOI: | 10.3390/appliedmath2010004 |