文献

J-GLOBAL ID：201902228023606912   整理番号：19A1822748

非関連変数による否定正規形の増大【JST・京大機械翻訳】

Augmenting Negation Normal Form With Irrelevant Variables

著者 (3件)： Niu Dangdang (College of Information Engineering, Northwest A&F University, Yangling, China) ,  Liu Lei (College of Computer Science and Technology, Jilin University, Changchun, China) ,  Lu Shuai (College of Computer Science and Technology, Jilin University, Changchun, China)
資料名： IEEE Access  (IEEE Access)
巻： 7  ページ： 91360-91366  発行年： 2019年 
JST資料番号： W2422A  ISSN： 2169-3536  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 非関連変数は,それらの割当が文章の充足可能性を変化させないので,常に知識編集言語で省略される。新しい知識編集言語を同定し,d-DNNFの編集結果の規模を減少させるために,本論文では無関係な変数でNNFを強化した。NNF_PNI,NNF_PI,およびNNF_NIを,正の文献,負の文献,および無関係な変数の種々の組合せに基づいて提案した。NNF,NNF_PI,NNF_NIまたはNNF_PNIにおける各々の文章は,多項式時間においてもう一つの言語において等価文章に変換することができた。また,NNF_PI,NNF_NIおよびNNF_PNIのサブクラスであるNNFにおける分解性および決定性に基づいて,d-DNNF_NI,d-DNNF_PIおよびd-DNNF_PNIを定義した。d-DNNF_PNI,d-DNNF_PIおよびd-DNNF_NIのための多くの質問および変換方法を,知識編集マップにおける関連推論問題を解明するために設計した。全体として,d-DNNF_PIとd-DNNF_NIはd-DNNFの追跡性を低下させず,d-DNNF_PIとd-DNNF_NIに基づくd-DNNFの圧縮法を提案した。実験的に,d-DNNF_PIとd-DNNF_NIの編集結果は,ほとんどの実例に関してd-DNNFに関してより良くて,著者らの圧縮方法はすべての実例に関して著しく効果的であった。Copyright 2019 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 言語 ,  *編集
準シソーラス用語： 決定性 ,  多項式時間 , 【Automatic Indexing@JST】

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

タイトルに関連する用語 (2件)： 変数 ,  否定