文献

J-GLOBAL ID：201702278134625329   整理番号：17A1621933

分散一階論理【Powered by NICT】

Distributed First Order Logic

著者 (2件)： Ghidini Chiara (Fondazione Bruno Kessler, Trento, 38100, Italy) ,  Serafini Luciano (Fondazione Bruno Kessler, Trento, 38100, Italy)
資料名： Artificial Intelligence  (Artificial Intelligence)
巻： 253  ページ： 1-39  発行年： 2017年 
JST資料番号： E0180C  ISSN： 0004-3702  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 分散一階論理(DFOL)は分散知識ベースシステムの形式化の目的で,十年以上前に導入された,不均質領域に関する知識はセット相互接続モジュールのに散乱した。DFOLは一次反応速度理論を用いて各モジュールに含まれる知識,橋梁ルールと呼ばれる特殊な推論規則を用いてモジュール間の相互接続を形式化した。元DFOL定式化におけるそれらの制限された形状にもかかわらず,橋ルールは不均一な知識統合,モジュール型知識表現,スキーマ/オントロジーマッチングの分野でいくつかの研究に影響を与えている。言い換えると,これを系統的に記述し,発表されていない元のDFOLの拡張や修正を支援してきた。論理の完全に改訂および拡張版の系統的記述を与えることによってDFOLの包括的な記述の欠落に取り組む,自然演えきに基づいた橋梁則の一般的な形の健全かつ完全な公理化を示した。得られたDFOLフレームワークは,分散知識および橋規則に関する推論との表現のための明確な形式的ツールとして提案した。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： *一階論理 ,  データ構造 ,  知識表現 ,  相互接続 ,  反応速度論 ,  知識ベースシステム ,  定式化
準シソーラス用語： 公理化 ,  知識統合 ,  推論規則 , 【Automatic Indexing@JST】

著者キーワード (3件)： 分散知識表現 ,  異種知識統合 ,  文脈推論

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (1件)： 一階論理