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

著者

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

書誌事項

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

赤間世紀著

啓学出版, 1992.12

タイトル読み

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

注記

各章末:参考文献

内容説明・目次

内容説明

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

目次

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

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BN08596180
• ISBN:
  • 476651159X
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: 319p
• 大きさ: 22cm
• 分類:
  • NDC8 : 007.1
  • NDC8 : 410.96
  • NDC7 : 410.12
• 件名:
  • BSH : 記号論理学
  • NDLSH : 情報処理