この商品をご覧のお客様は、こんな商品もチェックしています。
- 科学的根拠（エビデンス）で子育て
-
価格：1,980円（本体1,800円＋税）
【2024年12月発売】
- １５日で使いこなす！ Ｏｆｆｉｃｅ ２０２４ 実践講座
-
価格：1,540円（本体1,400円＋税）
【2025年12月発売】
- 科学の健全な発展のために 第２版
-
価格：1,320円（本体1,200円＋税）
【2025年09月発売】
のマークが目印です。
[BOOKデータベースより]
人工知能や知識処理のソフトウェアを作成するうえで必要となる記号処理のプログラム技法を系統的に紹介する。例題はプロダクションシステム、自然言語の構文解析、定理の自動証明などの実際の人工知能システムからとり、プログラム作成の手順を追って詳しく解説した。また、ＬＩＳＰやＰＲＯＬＯＧは、おのずとマスターできるように工夫した。
１ ＬＩＳＰの考え方（リストとＳ式；ＬＩＳＰの関数；関数の関数；ＥＶＡＬとインタプリタ）
２ ＬＩＳＰの使い方（親言語としてのＬＩＳＰ；プロダクション・システム；定理の自動証明；英語の構文解析；多項式の微分）
３ ＰＲＯＬＯＧ（述語の考え方；ユニフィケーション；ＰＲＯＬＯＧにおけるリスト構造；論理プログラミング；ＬＩＳＰとＰＲＯＬＯＧとの比較）
４ 記号処理の計算機構（リストの内部表現；ＬＩＳＰマシンの発想；ラムダ表現とＬＩＳＰ、ＰＲＯＬＯＧ）