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

Author(s)

Bibliographic Information

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

山崎進著

コロナ社, 2000.5

Other Title

Reasoning programming based on computational logic

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

Title Transcription

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

Access to Electronic Resource 1 items

Available at  / 103 libraries

Note

引用・参考文献: 各章末

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

Details

  • NCID
    BA46902177
  • ISBN
    • 4339023736
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    東京
  • Pages/Volumes
    v, 190p
  • Size
    21cm
  • Classification
  • Subject Headings
Page Top