宣言的および手続き的知識の操作:論理プログラミングPetriネット(LPPN)に関するベンチマーク【JST・京大機械翻訳】

Sileno Giovanni

プレプリント

J-GLOBAL ID：202202204451714715 整理番号：22P0039849

宣言的および手続き的知識の操作:論理プログラミングPetriネット(LPPN)に関するベンチマーク【JST・京大機械翻訳】

Operationalizing Declarative and Procedural Knowledge: a Benchmark on Logic Programming Petri Nets (LPPNs)

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

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

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

複雑なシステムに関するモデリング,指定,および推論は,目標領域の統合的な方法宣言的および手続き的側面におけるプロセスを必要とする。本論文は,論理プログラミング構成物によるPetriネットの拡張である論理プログラミングPetriネット(LPPNs)の命題版で行った実験について報告する。2つの意味論を提示した:イベントCalculusを通してASPへの表記を完全にマッピングする記述的意味論;そして,Petriネットを介して因果メカニズムを別々に処理するハイブリッド操作意味論と,オブジェクトに関連した制約と,Answer集合プログラミング(ASP)によるイベントとの制約がある。これらの2つの代替仕様は,計算効率に関して経験的評価を可能にする。実験結果は,ハイブリッド意味論がより効率的w.r.t.シーケンスであり,一方,2つの意味論は,同じ挙動w.r.t.枝分かれ(絶対項でより良く機能した)に従うことを示した。【JST・京大機械翻訳】

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

計算機システム開発 , 人工知能

, , , , ,

前のページに戻る