内容説明
情報工学の新しい研究分野として、知識工学、人工知能が急速な発展をみせています。本書は、知識工学・人工知能分野の重要な基礎となる“数理論理学”の基礎を中心として解説し、知識処理言語としてＰｒｏｌｏｇを意識しつつ、処理システムの理論的位置づけ、性質について述べたものです。
目次
第１章 数学的な準備
第２章 命題論理
第３章 述語論理
第４章 エルブラン空間と定理証明
第５章 基本的な反駁手続き
第６章 ＳＬＤ導出とＰＲＯＬＯＧ
第７章 第二階述語論理と多ソート論理
-
- 和書
- 大学実習生物学実験
