抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
本論文では,命題論理プログラムの逐次構成と分解を紹介し,研究した。非巡回プログラムは単一ルールプログラムに分解でき,任意のプログラムの一般的な分解結果を提供できることを示した。プログラムの即時結果演算子は,オペレータに対する明確な参照なしにその最小モデルの計算を可能にする構成により表現できることを示した。これは数学的に満足のいく方法で命題論理プログラムの構文論と意味論の間の概念的ギャップを橋渡しする。【JST・京大機械翻訳】