論理による問題の解法 : Prolog入門

書誌事項

論理による問題の解法 : Prolog入門

R. コワルスキ著 ; 山田眞市, 菊池光昭, 桑野龍夫訳

(情報処理シリーズ, 8)

培風館, 1987.3

タイトル別名

Logic for problem solving

論理による問題の解法 : Prolog入門

タイトル読み

ロンリ ニ ヨル モンダイ ノ カイホウ : Prolog ニュウモン

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

大学図書館所蔵 件 / 220

この図書・雑誌をさがす

注記

監修: 浦昭二

参考文献: p301-314

内容説明・目次

内容説明

本書はPrologの創始者Kowalskiが、問題解決と計算機プログラミングに対する論理の応用を3部構成で解説する。第1部は、節形の論理の機械に依存しない意味を述べ、情報を節形で表現する方法を説明する。第2部は、節形の論理の推論システムを述べる。第3部は、節形の論理式を拡張し、より強力な問題解決の方法について解説を加える。なお、巻末には、訳者により演習問題に対する解答例およびmicro‐Prologによるプログラムを載せ、読者の便宜を一層はかっている。第5世代プロジェクトに採用されたPrologの基本概念を理解するための必読の書である。

目次

  • 節形による表現
  • Horn節のトップダウンおよびボトムアップの証明手続き
  • Horn節を用いた問題解決
  • Horn節の手続きとしての解釈
  • プラン形成とフレーム問題
  • レゾリューション
  • 結合グラフを使う証明手続き
  • 問題解決の大域的戦略
  • 節形と標準形の比較
  • 論理的同等性(if‐and‐only‐if)の問題
  • 証明可能性の形式化
  • 情報システムで発生する変更や矛盾の取扱い

「BOOKデータベース」 より

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BN00856528
  • ISBN
    • 4563007889
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpn
  • 原本言語コード
    eng
  • 出版地
    東京
  • ページ数/冊数
    xv, 397p
  • 大きさ
    22cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ