資料詳細

  • 1 件中、 1 件目

【図書】 知識工学基礎論

野口正一，滝沢誠 ／共著, 　   -- オーム社 -- １９８６．１１ -- ２２ｃｍ -- ２５５ｐ

資料詳細

タイトル 知識工学基礎論
著者名等 野口正一，滝沢誠 ／共著, 　  
出版 オーム社 １９８６．１１
大きさ等 ２２ｃｍ ２５５ｐ
分類 007.1
件名 人工頭脳
内容 参考文献：ｐ２４７～２４８
要旨 情報工学の新しい研究分野として、知識工学、人工知能が急速な発展をみせています。本書は、知識工学・人工知能分野の重要な基礎となる“数理論理学”の基礎を中心として解説し、知識処理言語としてＰｒｏｌｏｇを意識しつつ、処理システムの理論的位置づけ、性質について述べたものです。
目次 第１章　数学的な準備；第２章　命題論理；第３章　述語論理；第４章　エルブラン空間と定理証明；第５章　基本的な反駁手続き；第６章　ＳＬＤ導出とＰＲＯＬＯＧ；第７章　第二階述語論理と多ソート論理
ISBN(13)、ISBN 　　 4-274-07324-6
書誌番号 1190236045
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1190236045

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 007.1/58 一般書 利用可 - 0004460430 iLisvirtual

ページの先頭へ