형식 온톨로지가 정의하는 가능세계: 상호운용 시스템 맥락에서 ‘하나의 온톨로지, 하나의 가능세계’ 원칙 재고
[쟁점과 통찰] 2026-11-02 · Minds and Machines
핵심: 온톨로지가 단일 가능세계를 정한다는 원칙은 보편이 아닌 맥락 의존적이다
사실: 고립된 온톨로지와 비온톨로지 문서(XML 등)의 상호작용이 복수 가능세계를 낳음을 분석
쟁점:
A: 온톨로지는 개체·언어·닫힌세계가정으로 단일하고 확정된 세계를 정한다
B: 다른 문서와 상호작용하면 닫힌세계가정의 적용이 모호해져 세계가 여럿이 된다
물음: 형식 체계의 의미 확정성은 체계 내부에서 보장되는가, 해석하는 맥락과 실천에 의존하는가?
통찰: 의미의 단일성은 형식언어만으로 보장되지 않는다. 데이터 통합 시스템을 설계할 때는 닫힌세계가정 같은 원칙이 어디까지 적용되는지 메타규칙을 명시하고, 정렬·병합 과정이 해석을 결정한다는 점을 투명하게 드러내야 한다.
#형식온톨로지 #가능세계 #닫힌세계가정 #열린세계가정 #상호운용성 #온톨로지정렬 #F-logic #XML #미결정성 #잉가르덴