著者
Hans Werner G\"{u}sgen
タイトル
CONSAT: A System For Constraint Satisfaction
シリーズ
Research Notes in Artificial Intelligence
日時
1989
出版
Morgan Kaufmann Publishers
コメント
D. L. Waltzによる画像理解アルゴリズムを基本とした汎用 制約記述言語CONSATの解説。 ○ 制約記述方式 許されるパターンの列挙、または制約が満たされていな い変数の値を計算する関数の列挙。 ○ 値の計算方式 可能な値をしらみつぶしに調べて条件に適合するもの だけ残した集合を作る。(適合する結果の集合は多くな いということを仮定?)
概要
既存システムの例としてWaltzのものとSteele,SussmanのEL しかとりあげていない。 Steeleのシステムは数値のみしかとり扱えず、また集合も 扱えないので困るといっている。 バッチ式(インクリメンタルでない)のシステムであり速度 は速くないであろう。
カテゴリ
Constraint
Category: Constraint
Comment: D. L. Waltzによる画像理解アルゴリズムを基本とした汎用
        制約記述言語CONSATの解説。
        ○ 制約記述方式
        許されるパターンの列挙、または制約が満たされていな
        い変数の値を計算する関数の列挙。
        ○ 値の計算方式
        可能な値をしらみつぶしに調べて条件に適合するもの
        だけ残した集合を作る。(適合する結果の集合は多くな
        いということを仮定?)
Bibtype: Book
Author: Hans Werner G\"{u}sgen
Series: Research Notes in Artificial Intelligence
Title: CONSAT: A System For Constraint Satisfaction
Comment1: 既存システムの例としてWaltzのものとSteele,SussmanのEL
        しかとりあげていない。
        Steeleのシステムは数値のみしかとり扱えず、また集合も
        扱えないので困るといっている。
        バッチ式(インクリメンタルでない)のシステムであり速度
        は速くないであろう。
Year: 1989
Publisher: Morgan Kaufmann Publishers