[논문 리뷰] Persistence, Change, and the Integration of Objects and Processes in the Framework of the General Formal Ontology

Heinrich Herre|arXiv (Cornell University)|2013. 11. 07.

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.

연구 동기 및 목표

• 동적 시스템에서의 시간적 철학의 기초적 문제, 특히 지속성과 변화 문제를 해결하기 위해.
• 지속체와 파라미터가 변화하는 과정을 하나의 철학적 프레임워크 안에서 통합하는 철학적 및 형식적 과제를 해결하기 위해.
• 시간적 진술의 진리 제작자에 대한 형식적 기반을 제공하여 시간적 추론의 논리적 일관성을 확보하기 위해.
• 3D와 4D 엔티티를 모두 수용할 수 있는 상위 수준의 철학적 체계를 구축하여 인공지능 및 지식 표현 분야에서의 실용적 모델링을 가능하게 하기 위해.
• 지속성을 물리적 현실에 기반시켜서가 아니라 개인 정체성과 연결된 인지 과정에 기반시켜, 새로운 철학적 해석을 제공하기 위해.

제안 방법

• 물체를 시공간적 웜으로 간주하고 과정을 시간에 따라 전개되는 사건으로 보는 4D 철학적 접근을 채택한다.
• 지속체(물체)와 행사체(과정)를 구분하며, 지속체는 시간적 연장성 덕분에 시간에 걸쳐 지속된다고 본다.
• 지속성을 개인 정체성의 인지적 프레임워크에서 유래한 정신적 구성물로 도입한다.
• 일반 형식 철학(GFO)을 상위 수준의 프레임워크로 활용하여 시간적 부분과 단계를 통해 물체와 과정을 형식적으로 통합한다.
• 형식적 의미론을 적용하여 지속체와 과정의 특정 시간적 단계와 연결함으로써 시간적 진술의 진리 제작자를 정의한다.
• 최소한의 철학적 암시를 가진 채로 형식적 일관성과 인공지능 및 지식 시스템에서의 적용 가능성에 집중한다.

실험 결과

연구 질문

• RQ1 철학적 과잉을 피하면서도 단일 철학적 프레임워크 내에서 물체와 과정을 어떻게 형식적으로 통합할 수 있는가?
• RQ2 지속성의 본질은 무엇이며, 단순한 물리적 연속성으로 줄이지 않고 어떻게 설명할 수 있는가?
• RQ3 시간적 진술의 진리 제작자를 체계적으로 식별하고 형식화할 수 있는가?
• RQ4 개인 정체성이 시간적 추론에서 지속성의 인지적 기반에 어떻게 기여하는가?
• RQ5 3D 물체도 수용하는 4D 철학적 프레임워크가 인공지능 및 지식 표현 분야에서 실제 응용에 충분한 표현력을 제공할 수 있는가?

주요 결과

• 지속성은 물리적 현실의 내재적 특성이 아니라 개인 정체성과 연결된 인지 과정에서 유래한다.
• GFO 내에서 지속체를 시공간적 웜으로, 행사체를 시간적 연장성을 가진 사건으로 간주함으로써 물체와 과정의 통합이 가능해진다.
• 시간적 진술은 지속체와 과정의 특정 시간적 단계에 의해 진리 제작자가 되며, 이는 논리적 일관성을 보장한다.
• 3D와 4D 관점을 결합함으로써 이 프레임워크는 인공지능 및 지식 표현 분야에서 실용적 응용을 지원한다.
• 지속성을 정신적 현상으로 재정의함으로써 오랫동안 지속된 역설을 해결한다.
• GFO는 현재 활발히 사용 중인 유일한 상위 수준의 철학적 체계로서 3D와 4D 엔티티를 하나의 일관된 프레임워크 안에 성공적으로 통합하고 있다.