より少ない表現論理プログラムの構成について【JST・京大機械翻訳】

Dodaro Carmine; Maratea Marco; Vallati Mauro

プレプリント

J-GLOBAL ID：202202210440741320 整理番号：22P0297674

より少ない表現論理プログラムの構成について【JST・京大機械翻訳】

On the Configuration of More and Less Expressive Logic Programs

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

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

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

特定の問題の表現,すなわち,その知識モデル,および推論側面の間のデカップリングは,モデルベースの人工知能(AI)の主要な強点のひとつである。これは,例えば,全体の解決プロセスに関して利点を有することによって推論側面を改良することに焦点を合わせることができた。さらに,多くのソルバが入力の構文変化にも非常に敏感であることはよく知られている。本論文では,そのような感度の利点を利用して推論側の改善に焦点を当てた。2つのよく知られたモデルベースのAI方法論,SATとASPを考慮して,それらの入力を特徴付けることができる多くの構文的特徴を定義して,入力式またはプログラムを再定式化するために自動構成ツールを使用する。SATとASPドメインを含む広い実験解析の結果は,それぞれの競争から取られ,入力再定式化と配置を用いて得られる異なる利点を示した。Logicプログラミング(TPLP)の理論と実践における考察。【JST・京大機械翻訳】

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

人工知能

前のページに戻る