Contents of Report


[Data of Report]

Report Number:
TR0738
Date of Registration:
1992.02
English Title:
Nonlinear Inequalities Constraint Solver Combined Multiple Constraint Solver
Japanese Title:
複数の制約ソルバーを結合した非線形不等式制約ソルバー
English Author:
Ohki,Toki,Isokawa,Oohira,Sinjoh,Kawaguchi,Abe
Japanese:
大木 優,土岐 尚子,磯川 澄江,大平 栄二,新庄 広,川口 俊治,阿部 正博
Name of Organization to which author belongs:
Hitachi,Hitachi,Hitachi,Hitachi,Hitachi,Hitachi,Hitachi
PDF:
tr0738.pdf

[Contents]

概要.... 2
1まえがき.... 3
2定性推論システムにおける制約ソルバーの位置づけ.... 5
3非線形不等式ソルバーConsort.... 6
3.1制約ソルバーの結合.... 6
3.2制約ソルバー間の情報交換.... 8
3.3実現方式.... 12
3.4帰還の解析.... 16
4むすび.... 18
5謝辞.... 18
6参考文献.... 19
End.... 20


目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports