Defeasible Reasoning with Knowledge Graphs

要約

人間の知識には不確実性、不正確さ、不完全性、矛盾がつきものです。
さらに、多くの日常用語の意味は文脈によって異なります。
これはセマンティック Web にとって大きな課題となります。
この論文では、不完全な知識による実行不可能な推論のための直感的な表記法とモデルに関する研究を紹介し、それを論証理論に関する以前の研究と関連付けます。
PKN は N3 に対して、実行不可能な推論は演繹論理に対して行われます。
インスピレーションとして AIF オントロジーを利用し、推論戦略と戦術を宣言的な用語で記述するための直感的な構文については、さらなる作業が必要です。
この論文は、大規模言語モデルの時代における記号的アプローチに関する考察で終わります。

要約(オリジナル)

Human knowledge is subject to uncertainties, imprecision, incompleteness and inconsistencies. Moreover, the meaning of many everyday terms is dependent on the context. That poses a huge challenge for the Semantic Web. This paper introduces work on an intuitive notation and model for defeasible reasoning with imperfect knowledge, and relates it to previous work on argumentation theory. PKN is to N3 as defeasible reasoning is to deductive logic. Further work is needed on an intuitive syntax for describing reasoning strategies and tactics in declarative terms, drawing upon the AIF ontology for inspiration. The paper closes with observations on symbolic approaches in the era of large language models.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google