命題論理プログラムの逐次構成【JST・京大機械翻訳】

Antic Christian

プレプリント

J-GLOBAL ID：202202201063609480 整理番号：21P0048498

命題論理プログラムの逐次構成【JST・京大機械翻訳】

Sequential composition of propositional logic programs

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

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

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

本論文では,命題論理プログラムの逐次構成と分解を紹介し,研究した。非巡回プログラムは単一ルールプログラムに分解でき,任意のプログラムの一般的な分解結果を提供できることを示した。プログラムの即時結果演算子は,オペレータに対する明確な参照なしにその最小モデルの計算を可能にする構成により表現できることを示した。これは数学的に満足のいく方法で命題論理プログラムの構文論と意味論の間の概念的ギャップを橋渡しする。【JST・京大機械翻訳】

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

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

前のページに戻る