文献

J-GLOBAL ID：201702244596524761   整理番号：17A0242316

準整合性記述論理のための双模倣性【Powered by NICT】

Bisimilarity for paraconsistent description logics

著者 (4件)： Nguyen Linh Anh (Division of Knowledge and System Engineering for ICT, Faculty of Information Technology, Ton Duc Thang University, Ho Chi Minh City, Vietnam) ,  Nguyen Thi Hong Khanh (Electric Power University, 235 Hoang Quoc Viet, Tu Liem, Hanoi, Vietnam) ,  Nguyen Ngoc-Thanh (Department of Information Systems, Faculty of Computer Science and Management, Wroclaw University of Technology, Poland) ,  Ha Quang-Thuy (Faculty of Information Technology, VNU University of Engineering and Technology, 144 Xuan Thuy, Hanoi, Vietnam)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： SMC  ページ： 004694-004699  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： パラコンシステント記述論理における解釈の情報に関して比較を与え,かつこのような論理のための双模倣関係を定義するためにそれらを用いて。双模倣性はモードと記述論理における識別不能性を特性化するための自然概念であるとして,矛盾が発生した場合,記述論理における概念学習のための有用である。パラコンシステント記述論理における情報に関して比較のための保存結果とH ennessy-Milner特性を与えた。結果として,不変性結果および疑似整合性記述論理における双模倣関係のためのH ennessy-Milner特性を得た。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *不変性
準シソーラス用語： 概念学習 ,  *記述論理 , 【Automatic Indexing@JST】

分類 (2件)： 論理代数  (JB03000H) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (3件)： 整合性 ,  記述論理 ,  模倣