制約論理プログラミング

書籍情報
シリーズ名知識情報処理シリーズ 全8巻+別巻2 【別巻2】巻
ISBN978-4-320-02469-4
判型A5 
ページ数216ページ
発行年月1989年11月
本体価格3,000円
制約論理プログラミング 書影
制約論理プログラミング

人工知能(AI)開発の強力な方法としてクローズアップされている制約に基づく問題解決を詳述。

目次

第1章 制約論理プログラミングの概要

第2章 制約解消系

第3章 単一化から制約へ

第4章 PrologIII入門

第5章 制約論理プログラミング言語CHIP

第6章 制約論理型言語の設計

第7章 情報の部分性と制約プログラミング

第8章 制約概念の応用1

第9章 制約概念の応用2

第10章 制約概念の応用3