計算論理学入門 : AIとコンピュータサイエンスへの論理的アプローチ

Author(s)

Bibliographic Information

計算論理学入門 : AIとコンピュータサイエンスへの論理的アプローチ

赤間世紀著

啓学出版, 1992.12

Title Transcription

ケイサン ロンリガク ニュウモン : AI ト コンピュータ サイエンス エノ ロンリテキ アプローチ

Available at  / 87 libraries

Note

各章末:参考文献

Description and Table of Contents

Description

本書では、コンピュータサイドからの入門として、計算論理学の最小限のテクニックを示すとともに、それが現在のＡＩとコンピュータサイエンスにおける問題の解決にどのように応用されているのかについて詳しく解説する。各章末には、今後の発展の可能性を示唆する研究テーマを付した。

Table of Contents

  • 論理の基礎
  • 論理プログラミング
  • 様相論理
  • 自然言語意味論
  • 非単調推論
  • 構成的論理
  • 多値論理
  • その他の論理

by "BOOK database"

Details

  • NCID
    BN08596180
  • ISBN
    • 476651159X
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    東京
  • Pages/Volumes
    319p
  • Size
    22cm
  • Classification
  • Subject Headings
Page Top