pagetop

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

ほしい!に追加 twitter
本-計算論理に基づく推論ソフトウェア論
著者: 山崎進 (著)
定価 ¥2,700(税込)
BOOKFANポイント: 125 pt
or
Tポイント: 75 pt (Yahoo!ウォレット決済利用時)

商品情報

出版社名
コロナ社
発行年月
2000年 05月
ISBNコード
9784339023732
版型
--
ページ数
190P
平均評価
(まだ評価がありません)
ブクレポ
0件

新刊お知らせ登録一覧へ »

山崎進 OFF

内容紹介

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

※本データはこの商品が発売された時点の情報です。

目次

1 推論ソフトウェア/2 述語論理/3 導出演繹/4 論理プログラム/5 否定を含むプログラム/6 アブダクションにおける非単調推論

うれしい全品送料無料♪全商品5%ポイント還元!<a href="index.php?module=ecrlist&action=plist&it=BK"target="_parent">▼新刊・予約はコチラ!</a>
ご注意!ラッピング、お届け日の指定は承れません!
大量一括注文窓口はこちら!
出版社共同企画!もれなく100ptプレゼント!
BOOKFANのツイッターをフォローする♪
BOOKFANキャラクター大集合!LINEクリエイターズスタンプ配信中☆
コミック全巻セットはこちら★
特集一覧へ