形式オントロジーと順序ソート論理の拡張

摘要

本論文では，形式オントロジーのproperty分類を導入することで，順序ソート論理を拡張する試みを行う．また，論理言語の考え方からpropertyの特性を細かく分析する．本論文で扱う項目は，以下が挙げられる．(1)順序ソート論理：a 構文，意味論および推論の再考；b property名の関数と2項述語への拡張．(2)形式オントロジー：a 時間/状況/信念の依存性；b 非本質属性の可能世界意味論による分類；c ソートと非ソートの分類．property分類の考えを出発点として，最初に順序ソート論理の構文を再考し，その言語を使ってrigidityによる知識ベース上の推論を提案する．さらに，順序ソート論理の意味論に従って，propertyのrigidityおよび依存性を含んだ意味論を定義する．こうした論理的な拡張から，property分類を細分化して，形式オントロジーの結果が得られる．本論文の構成は，次の通りである．2章では，形式オントロジーのproperty分類の考えを導入した順序ソート論理の表現について述べる．3章は，2章の言語によって記述された知識ベース上の推論を説明する．4章は，順序ソート論理の意味論とクリプケ意味論を組み合わせて，property分類の意味解釈を行う．ここで異なる可能世界の依存性や実体の可算性によるpropertyの細分化を行う．最後に，5章で研究のまとめと今後の課題について述べる．