この原稿では，拡張した領域間の発生(incidence)，一致(congruence)，並列性(parallelism)の形式化に向けた新しいメレオロジーの方法を提案する．公理化は，決定可能なpre-mereologicalベースの言語を拡張して行う．その言語は一階述語の拡張を必要とする幾何学のフレームワークのもとで示される．そこで得られる重要なものは，拡張された幾何学的オブジェクト間のincidenceをどのように定義するのかを研究することにある．その幾何学的オブジェクトは，純粋に領域ベースの一階述語フレームワークにおける点や線，平面を置き換え得る候補である．さらに，ここで提案するmereogeometric approachは，相対的概念に対する次元性(dimensionality)を許すことにおいて，幾何学的な何かの種類をコード化するような絶対的概念に対して，カギとなる利点を持つことを示す．特にこのプロパティは，mereogeometryを幾何学的関係を形式化することに対して魅力的にする．その形式化は，応用のための認知的に適切な方法でなされる．その応用は，異なる次元の空間の概念化間を切り替えることに，人間が言語を用いて行うのと同じ柔軟性を求める．
2018.02.25
@inproceedings{DBLP:conf/fois/Schmidtke16,
author = {Hedda Rahel Schmidtke},
editor = {Roberta Ferrario and
Werner Kuhn},
title = {Granular Mereogeometry},
booktitle = {Formal Ontology in Information Systems - Proceedings of the 9th International
Conference, {FOIS} 2016, Annecy, France, July 6-9, 2016},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {283},
pages = {81--94},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-660-6-81},
doi = {10.3233/978-1-61499-660-6-81},
timestamp = {Tue, 09 Feb 2021 08:32:31 +0100},
biburl = {https://dblp.org/rec/conf/fois/Schmidtke16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}