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

著者

• 山崎, 進 ヤマサキ, ススム

書誌事項

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

山崎進著

コロナ社, 2000.5

タイトル別名

Reasoning programming based on computational logic

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

タイトル読み

ケイサン ロンリ ニ モトズク スイロン ソフトウェアロン

電子リソースにアクセスする 全1件

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

  2000

  NDLデジタルコレクション

  限定公開

注記

引用・参考文献: 各章末

内容説明・目次

内容説明

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

目次

• １　推論ソフトウェア
• ２　述語論理
• ３　導出演繹
• ４　論理プログラム
• ５　否定を含むプログラム
• ６　アブダクションにおける非単調推論

「BOOKデータベース」 より

• NII書誌ID(NCID): BA46902177
• ISBN:
  • 4339023736
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: v, 190p
• 大きさ: 21cm
• 分類:
  • NDC8 : 007.1
  • NDC9 : 007.13
  • NDC9 : 007.61
  • NDLC : M159
• 件名:
  • BSH : 人工知能
  • NDLSH : システム開発