Know your exceptions: Towards an Ontology of Exceptions in Knowledge Representation

要約

反証可能な推論は、一部の一般化がすべての状況で有効であるとは限らない、つまり、一般的な結論が場合によっては失敗する可能性がある推論の一種です。
常識的な文脈の特徴であるこの種の推論をモデル化するために、さまざまな形式主義が開発されてきました。
ただし、モデラーがこれらのシステムの中から、オントロジーの観点からその領域によりよく適合するシステムを選択するのは簡単ではありません。
この論文では、形式主義を比較し、その存在論的コミットメントを明らかにできるようにするために、例外性と実行不可能性の概念に基づいたフレームワークを最初に提案します。
次に、このフレームワークを適用して 4 つのシステムを比較し、存在論的な観点から発生する可能性のある違いを示します。

要約(オリジナル)

Defeasible reasoning is a kind of reasoning where some generalisations may not be valid in all circumstances, that is general conclusions may fail in some cases. Various formalisms have been developed to model this kind of reasoning, which is characteristic of common-sense contexts. However, it is not easy for a modeller to choose among these systems the one that better fits its domain from an ontological point of view. In this paper we first propose a framework based on the notions of exceptionality and defeasibility in order to be able to compare formalisms and reveal their ontological commitments. Then, we apply this framework to compare four systems, showing the differences that may occur from an ontological perspective.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google