認識論理プログラムの一様等価性について【JST・京大機械翻訳】

Faber Wolfgang; Morak Michael; Woltran Stefan

プレプリント

J-GLOBAL ID：202202202359494528 整理番号：22P0070112

認識論理プログラムの一様等価性について【JST・京大機械翻訳】

On Uniform Equivalence of Epistemic Logic Programs

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (3件)： , ,
資料名：
発行年： 2019年07月25日プレプリントサーバーでの情報更新日： 2019年07月25日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

※このプレプリント論文は学術誌に掲載済みです。なお、学術誌掲載の際には一部内容が変更されている可能性があります。

認識論理プログラム(ELP)は,エピステリックネギュレーションにより,Answer Set Program(ASP)を拡張し,近年,新たな興味を浴びている。これは,ELPsの新しい研究と効率的な解決システムの開発につながった。実際に,ELPは,しばしばモジュール方法で書かれ,そこでは,各モジュールが入力として事実のセットを受け入れ,出力として一連の事実を通過して,他のモジュールと相互作用する。次に,興味深い疑問は,どの条件も,入力事実の任意のセットに対して,結果を変えずに,他のものによって置換できるような,そのものを提示する。この問題は均一等価性として知られており,ASPに対して広く研究されている。しかし,ELPsでは,そのような研究は,まだ欠けている。本論文では,最先端のELPソルバの言語に直接適用可能な均一等価性の特性評価を提案した。また,2つのELPに対する均一等価性を決定する計算の複雑さを検討し,多項式階層の第三レベルであることを示した。【JST・京大機械翻訳】

, , , , , , , ,
, 【Automatic Indexing@JST】

太陽電池 , 計算機システム開発

前のページに戻る