この原稿では形式理論の中で定義を作るメカニズムについての系統的研究のための基礎を作ることを目的とする.その方法として,既にあるプリミティブの集合と以前に定義された関係から新しい関係の定義を段階的に作るためのオペレータについて調査する.私たちの方法を説明するために,知識表現と推論の分野で最もよく知られている2つの関係セットに適用する.その2つのセットとは,Allen's Interval AlgebraとRegion Connection Calculusである.私たちは,定義可能性?の系統的探索が興味深い知見をもっとアドホックに定義された元の関係セットに与える?ことを示す.さらに,その系統的探索は,新しい形式体系(calculi)?を作るときや,既存のcalculiを改善とか拡張する際の新しい語彙を見つける可能性を広げる.
2018.02.20
@inproceedings{DBLP:conf/fois/BennettDAC16,
author = {Brandon Bennett and
Heshan Du and\'{\i}}a G{\'{o}}mez {\'{A}}lvarez and
Luc{
Anthony G. Cohn},editor = {Roberta Ferrario and
Werner Kuhn},title = {Defining Relations: {A} General Incremental Approach with Spatial
Temporal Case Studies},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 = {23--36},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-660-6-23},
doi = {10.3233/978-1-61499-660-6-23},
timestamp = {Tue, 09 Feb 2021 08:32:31 +0100},
biburl = {https://dblp.org/rec/conf/fois/BennettDAC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}