知識工学基礎論

Author(s)

Bibliographic Information

知識工学基礎論

野口正一, 滝沢誠共著

オーム社, 1986.11

Title Transcription

チシキ コウガク キソロン

Access to Electronic Resource 1 items

Available at  / 140 libraries

Note

文献: p247-248

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

Details

  • NCID
    BN00644949
  • ISBN
    • 4274073246
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    東京
  • Pages/Volumes
    ix, 255p
  • Size
    22cm
  • Classification
  • Subject Headings
Page Top