文献

J-GLOBAL ID：201902259159347645   整理番号：19A0517588

充足不能依存経路に基づくガラスボックスデバッグアルゴリズム【JST・京大機械翻訳】

Glass-Box Debugging Algorithm Based on Unsatisfiable Dependent Paths

著者 (3件)： Zhang Yu (College of Computer Science and Technology, Jilin University, Changchun, China) ,  Ouyang Dantong (College of Computer Science and Technology, Jilin University, Changchun, China) ,  Ye Yuxin (College of Computer Science and Technology, Jilin University, Changchun, China)
資料名： IEEE Access  (IEEE Access)
巻： 5  ページ： 18725-18736  発行年： 2017年 
JST資料番号： W2422A  ISSN： 2169-3536  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ガラスボックス・デバッギング法を用いた非充足可能な概念に対する最小充足可能性保存サブTBoxes(MUPS)の計算は,オントロジー・デバッギングにおける重要な推論サービスである。しかし,ガラス箱法は,特に非決定論的膨張の過程において,不必要な膨張に容易に陥ることができるので,制限される。この問題を解決するための効率的な方法は,充足不可能性に含まれる関連公理の集合を事前選択することである。この目的のために,不必要な拡張を避けるために,充足不可能な依存経路に基づく最適化手法を提案した。基本的な考え方は,3つの基本的な衝突パターンに基づく不満足な依存経路を構築することであり,それから,不満足な依存経路からのコンフリクト集合を得ることである。従って,すべての満足できない概念を見つけることができて,それらのMUPSを衝突セットに基づいて計算することができた。著者らの実験結果は,提案した方法が実際の大規模インコヒーレントTBoxesによく機能することを示した。Copyright 2019 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 公理 ,  最適化手法 ,  *デバッギング ,  *アルゴリズム ,  オントロジー ,  *ガラス

分類 (1件)： パターン認識  (JE07000S)

タイトルに関連する用語 (2件)： 充足 ,  経路