計算論理に基づく推論ソフトウェア論

個数：

計算論理に基づく推論ソフトウェア論

山崎進【著】
価格 ¥2,750（本体¥2,500）
コロナ社（2000/05発売）
ポイント 25pt

出版社からのお取り寄せとなります。
入荷までにおよそ1～3週間程度かかります。
※商品によっては、品切れ等で入手できない場合がございます。
出荷予定日とご注意事項
※上記を必ずご確認ください

【出荷までの期間】
■通常、およそ1～3週間程度

【ご注意事項】 ※必ずお読みください
◆上記期間よりも日数がかかる場合がございます。
◆お届け日のご指定は承っておりません。
◆品切れ・絶版等により入手できない場合がございます。
◆品切れ・絶版等の確認に2週間以上かかる場合がございます。
◆「帯」はお付けできない場合がございます。
◆画像の表紙や帯等は実物とは異なる場合があります。
◆特に表記のない限り特典はありません。
◆別冊解答などの付属品はお付けできない場合がございます。
◆店舗受取サービスはご利用いただけません。

●3Dセキュア導入とクレジットカードによるお支払いについて

サイズ A5判／ページ数 190p／高さ 21cm
商品コード 9784339023732
NDC分類 007.1
Cコード C3055

内容説明

知識と推論は、人工知能と計算機構の接点となる研究対象の一つである。本書では、推論に焦点を当てて、ソフトウェア技術を系統立てる。そのために、計算を反映した論理（計算論理）の立場に立ち、論理プログラミング系としてすでに確立した体系をまとめつつ、筆者らの試みを位置づける。系統立てのために、プログラミング系のインタプリタにかかわる推論手続きを意味論あるいはモデル論との関係で捉える視点を重視する。この視点に基づき、論理プログラムの表現万能性、有限計算のみならず計算の失敗や無限計算を概括する。推論のためのソフトウェア論として論理プログラミング系における演繹とアブダクションの体系をまとめる。