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

Author(s)

• 赤間, 世紀 アカマ, セイキ

Bibliographic Information

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

赤間世紀著

啓学出版, 1992.12

Title Transcription

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

Note

各章末:参考文献

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

• NCID: BN08596180
• ISBN:
  • 476651159X
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: 319p
• Size: 22cm
• Classification:
  • NDC8 : 007.1
  • NDC8 : 410.96
  • NDC7 : 410.12
• Subject Headings:
  • BSH : 記号論理学
  • NDLSH : 情報処理