よく一緒に購入されている商品
商品の説明
内容（「BOOK」データベースより）
知識と推論は、人工知能と計算機構の接点となる研究対象の一つである。本書では、推論に焦点を当てて、ソフトウェア技術を系統立てる。そのために、計算を反映した論理(計算論理)の立場に立ち、論理プログラミング系としてすでに確立した体系をまとめつつ、筆者らの試みを位置づける。系統立てのために、プログラミング系のインタプリタにかかわる推論手続きを意味論あるいはモデル論との関係で捉える視点を重視する。この視点に基づき、論理プログラムの表現万能性、有限計算のみならず計算の失敗や無限計算を概括する。推論のためのソフトウェア論として論理プログラミング系における演繹とアブダクションの体系をまとめる。
内容（「MARC」データベースより）
知識と推論は、人工知能と計算機構の接点となる。推論に焦点を当てて、推論のためのソフトウェア論として論理プログラミング系における演繹とアブダクションの体系をまとめる。〈ソフトカバー〉
登録情報 |
この商品を見た後に買っているのは？
この商品にタグをつける(詳細)タグは、商品との関連性が非常に強いキーワードまたはラベルのようなものです。
タグにより、すべてのお客様がお気に入りの商品の整理と確認を行うことができます。 ※タグは初期設定で公開になっています。詳しくはこちら |
カスタマーレビュー
リストマニア
同じキーワードの商品を探す
フィードバック
- カタログ情報、または画像について報告
- 著者からのコメント
- 出版社からのコメント
|
