[論文レビュー] Persistence, Change, and the Integration of Objects and Processes in the Framework of the General Formal Ontology

Heinrich Herre|arXiv (Cornell University)|Nov 7, 2013

Semantic Web and Ontologies参考文献 27被引用数 4

ひとこと要約

この論文は、一般形式的実在論（GFO）内に4次元的実在論枠組みを提案し、個人的同一性に根ざした心的依存的現象としての存続を扱うことで、対象とプロセスを統合する。存続を心的依存的現象として扱うことで、時間的パラドックスを解消し、存続者（対象）と現象者（プロセス）を別個のカテゴリーとして扱い、それらが相互に関連していることにより、変化と時間的命題の真実性の統一的形式的取り扱いが可能になる。

ABSTRACT

In this paper we discuss various problems, associated to temporal phenomena. These problems include persistence and change, the integration of objects and processes, and truth-makers for temporal propositions. We propose an approach which interprets persistence as a phenomenon emanating from the activity of the mind, and which, additionally, postulates that persistence, finally, rests on personal identity. The General Formal Ontology (GFO) is a top level ontology being developed at the University of Leipzig. Top level ontologies can be roughly divided into 3D-ontologies, and 4D-ontologies. GFO is the only top level ontology, used in applications, which is a 4D-ontology admitting additionally 3D objects. Objects and processes are integrated in a natural way.

研究の動機と目的

• 動的システムにおける時間的実在論の基礎的問題、特に存続と変化を扱うため。
• 同一の実在論枠組み内に、存続的対象と延長的プロセスを統合する哲学的・形式的課題を解決するため。
• 時間的命題の真実性の形式的根拠を提供し、時間的推論における論理的一致性を保証するため。
• 3次元的および4次元的実体を両方支持するトップレベル実在論を確立し、AIおよび知識表現における実用的モデリングを可能にするため。
• 物理的現実にではなく、個人的同一性に結びついた認知的プロセスに根ざして存続を根拠づけ、新しい形而上学的解釈を提供するため。

提案手法

• 対象を時空の蝋細工として時間にわたって延長する4次元的実在論のアプローチを採用する。一方、プロセスは時間にわたって展開する出来事として扱う。
• 存続者（対象）と現象者（プロセス）を区別し、存続者が時間的延長のおかげで時間的に存続するとする。
• 存続を認知的枠組み、特に時間的個人的同一性に基づく心的構造として導入する。
• 一般形式的実在論（GFO）をトップレベルの枠組みとして採用し、時間的部分と段階を介して、対象とプロセスを形式的に統合する。
• 形式的意味論を用いて、時間的命題の真実性の根拠を、存続者およびプロセスの特定の時間的段階に結びつけることで定義する。
• 最小限の形而上学的コミットメントにとどめ、形式的整合性とAIおよび知識システムへの適用可能性に焦点を当てる。

実験結果

リサーチクエスチョン

• RQ1 どのような方法で、実在論的過剰性を避けても、1つの実在論枠組み内で対象とプロセスを形式的に統合できるか？
• RQ2 存続の本質は何か？ そして、単なる物理的連続性に還元することなく、どのように説明できるか？
• RQ3 時間的命題の真実性の根拠を体系的に特定し、形式化するにはどうすればよいか？
• RQ4 個人的同一性は、時間的推論における存続の認知的根拠にどのように寄与するか？
• RQ5 3次元的対象も許容する4次元的実在論は、AIおよび知識表現分野における実世界の応用に十分な表現力を備えているか？

主な発見

• 存続は物理的現実の内的特徴ではなく、個人的同一性に結びついた認知的プロセスに由来する。
• GFOにおける対象とプロセスの統合は、存続者を時空の蝋細工として、現象者を時間的延長を持つ出来事として扱う4次元的枠組みによって達成される。
• 時間的命題の真実性は、特定の存続者およびプロセスの時間的段階によって保証され、論理的一致性が確保される。
• 3次元的および4次元的視点を組み合わせることで、実用的なAIおよび知識表現への応用を可能にする。
• 存続を心的依存的現象として再定義することで、長年の存続と変化のパラドックスが解消される。
• GFOは、単一の整合的枠組み内で3次元的および4次元的実体を効果的に統合できる、現在活用されている唯一のトップレベル実在論である。