[论文解读] Persistence, Change, and the Integration of Objects and Processes in the Framework of the General Formal Ontology
本文在通用形式本体论（GFO）中提出了一种四维本体论框架，通过将持久性视为根植于个人身份的认知依赖现象，整合了对象与过程。通过将持续体（对象）与事件（过程）建模为既独立又相互关联的类别，该框架解决了时间悖论问题，实现了对变化和时间命题真实性构成的统一形式化处理。
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.
研究动机与目标
- 解决时间本体论中的基础性问题，特别是动态系统中的持久性与变化问题。
- 解决在单一本体论框架内整合持久性对象与贯穿性过程的哲学与形式挑战。
- 为时间命题的真实性构成提供形式基础，确保时间推理中的逻辑一致性。
- 建立一个支持三维与四维实体的顶层本体论，支持人工智能与知识表示中的实际建模。
- 将持久性不根植于物理现实，而根植于与个人身份相关的认知过程，提供一种新颖的形而上学解释。
提出的方法
- 采用四维本体论方法，将对象视为时空中的延展体（时空虫），将过程视为随时间展开的事件。
- 区分持续体（对象）与事件（过程），其中持续体通过其时间跨度在时间中持续存在。
- 引入持久性作为心智建构的概念，源自个人身份随时间延续的认知框架。
- 以通用形式本体论（GFO）作为顶层框架，通过时间部分与阶段的形式化方式，整合对象与过程。
- 应用形式语义学，通过将时间命题与持续体及过程的特定时间阶段关联，定义其真实性构成。
- 采用最少的形而上学承诺，专注于形式一致性与在人工智能与知识系统中的适用性。
实验结果
研究问题
- RQ1如何在不造成本体论过度扩张的前提下，将对象与过程在单一本体论框架中实现形式化整合？
- RQ2持久性的本质是什么？如何在不将其简化为单纯物理连续性的前提下加以解释？
- RQ3如何系统性地识别并形式化时间命题的真实性构成？
- RQ4个人身份在认知上如何为时间推理中的持久性提供基础？
- RQ5一种同时容纳三维对象的四维本体论，是否足以支持人工智能与知识表示在现实世界应用中的表达力？
主要发现
- 持久性并非物理现实的内在属性，而是源于与个人身份相关的认知过程。
- 通过四维框架在GFO中实现了对象与过程的整合，将持续体视为时空虫，将事件视为具有时间跨度的实体。
- 时间命题的真实性由持续体与过程的特定时间阶段构成，确保了逻辑一致性。
- 该框架通过结合三维与四维视角，支持人工智能与知识表示的实际应用。
- 该方法通过将持久性重新定义为心智依赖现象，解决了持久性与变化问题的长期悖论。
- GFO是目前唯一在实际中使用的顶层本体论，成功地在一个统一连贯的框架内整合了三维与四维实体。
更好的研究，从现在开始
从阅读论文到最终审阅，大幅缩短您的研究时间。
无需绑定信用卡
本解读由 AI 生成，并经人工编辑审核。