知識工学基礎論
著者
書誌事項
知識工学基礎論
オーム社, 1986.11
- タイトル読み
-
チシキ コウガク キソロン
電子リソースにアクセスする 全1件
-
-
知識工学基礎論
1986
限定公開 -
知識工学基礎論
大学図書館所蔵 全136件
この図書・雑誌をさがす
注記
文献: p247-248
内容説明・目次
内容説明
情報工学の新しい研究分野として、知識工学、人工知能が急速な発展をみせています。本書は、知識工学・人工知能分野の重要な基礎となる“数理論理学”の基礎を中心として解説し、知識処理言語としてＰｒｏｌｏｇを意識しつつ、処理システムの理論的位置づけ、性質について述べたものです。
目次
- 第１章 数学的な準備
- 第２章 命題論理
- 第３章 述語論理
- 第４章 エルブラン空間と定理証明
- 第５章 基本的な反駁手続き
- 第６章 ＳＬＤ導出とＰＲＯＬＯＧ
- 第７章 第二階述語論理と多ソート論理
「BOOKデータベース」 より