人工知能と論理

Author(s)

Bibliographic Information

人工知能と論理

Raymond Turner著 ; 松田利夫, 石本新訳

共立出版, 1989.12

Other Title

Logics for artificial intelligence

Title Transcription

ジンコウ チノウ ト ロンリ

Access to Electronic Resource 1 items

Available at  / 134 libraries

Note

各章末: 参考文献

Description and Table of Contents

Description

本書は、非標準論理の人工知能（Ａｒｔｉｆｉｃｉａｌ　Ｉｎｔｅｌｌｉｇｅｎｃｅ）への応用に関する、初等用テキストあるいは参考書として用いられることを意図したものである。本書では、また、人工知能の研究者にとって専門的素養として役立つような、計算機科学の主要分野への非標準論理の応用についても述べている。

Table of Contents

  • 序（非標準論理；計算機科学と非標準論理；人工知能と非標準論理；古典１階論理）
  • 様相論理とダイナミック論理（様相論理；様相論理の計算的解釈；簡単なプログラミング言語；ダイナミック論理；知識と行動の理論）
  • ３値論理と計算的解釈（序論；３つの３値論理；単調性；厳密性）
  • 直観主義論理：Ｍａｒｔｉｎ‐Ｌ¨ｏｆの型理論（直観主義；論理記号の直観主義的解釈；型理論の言語；判断と推論規則；プログラミング言語としての型理論）
  • 非単調推論の意味論（非単調推論；非単調様相理論；非単調推論理の直観主義的基盤；部分モデルと不完全な情報；自己認識論理）
  • 時間論理と人工知能（序論；時間論理；２つの事例；事象と瞬間；時間論理と仕様および検証）
  • ファジィ論理とエキスパート・システム（ファジィ化；ファジィ集合論；多値論理；ファジィ論理；エキスパート・システムにおけるファジィ論理とファジィ集合論）
  • 他の論理と将来の展望（他の論理；展望）

by "BOOK database"

Details

  • NCID
    BN04123132
  • ISBN
    • 4320024974
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Original Language Code
    eng
  • Place of Publication
    東京
  • Pages/Volumes
    vi, 143p
  • Size
    22cm
  • Classification
  • Subject Headings
Page Top