知識工学基礎論

著者

• 野口, 正一 ノグチ, ショウイチ
• 滝沢, 誠 タキザワ, マコト

書誌事項

知識工学基礎論

野口正一, 滝沢誠共著

オーム社, 1986.11

タイトル読み

チシキ コウガク キソロン

電子リソースにアクセスする 全1件

• 知識工学基礎論

  1986

  NDLデジタルコレクション

  限定公開

注記

文献: p247-248

内容説明・目次

内容説明

情報工学の新しい研究分野として、知識工学、人工知能が急速な発展をみせています。本書は、知識工学・人工知能分野の重要な基礎となる“数理論理学”の基礎を中心として解説し、知識処理言語としてＰｒｏｌｏｇを意識しつつ、処理システムの理論的位置づけ、性質について述べたものです。

目次

• 第１章　数学的な準備
• 第２章　命題論理
• 第３章　述語論理
• 第４章　エルブラン空間と定理証明
• 第５章　基本的な反駁手続き
• 第６章　ＳＬＤ導出とＰＲＯＬＯＧ
• 第７章　第二階述語論理と多ソート論理

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BN00644949
• ISBN:
  • 4274073246
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: ix, 255p
• 大きさ: 22cm
• 分類:
  • NDC8 : 007.1
  • NDC7 : 401
  • NDLC : M121
• 件名:
  • BSH : 情報科学
  • NDLSH : 人工頭脳