記号処理プログラミング

著者

書誌事項

記号処理プログラミング

後藤滋樹 [著]

（岩波講座ソフトウェア科学 / 長尾真 [ほか] 編, 8）

岩波書店, 1988.8

タイトル読み

キゴウ ショリ プログラミング

大学図書館所蔵 件 / 全351件

この図書・雑誌をさがす

注記

参考書: p209-212

巻末: LISPプログラム索引, 事項索引

内容説明・目次

内容説明

人工知能や知識処理のソフトウェアを作成するうえで必要となる記号処理のプログラム技法を系統的に紹介する。例題はプロダクションシステム、自然言語の構文解析、定理の自動証明などの実際の人工知能システムからとり、プログラム作成の手順を追って詳しく解説した。また、ＬＩＳＰやＰＲＯＬＯＧは、おのずとマスターできるように工夫した。

目次

  • １　ＬＩＳＰの考え方（リストとＳ式；ＬＩＳＰの関数；関数の関数；ＥＶＡＬとインタプリタ）
  • ２　ＬＩＳＰの使い方（親言語としてのＬＩＳＰ；プロダクション・システム；定理の自動証明；英語の構文解析；多項式の微分）
  • ３　ＰＲＯＬＯＧ（述語の考え方；ユニフィケーション；ＰＲＯＬＯＧにおけるリスト構造；論理プログラミング；ＬＩＳＰとＰＲＯＬＯＧとの比較）
  • ４　記号処理の計算機構（リストの内部表現；ＬＩＳＰマシンの発想；ラムダ表現とＬＩＳＰ、ＰＲＯＬＯＧ）

「BOOKデータベース」 より

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

詳細情報

ページトップへ