制約に基づくオブジェクト指向知識表現システム : FREEDOMにおける制約充足方式
スポンサーリンク
概要
- 論文の詳細を見る
我々は制約に基づくオブジェクト指向知識表現システムFREEDOMを開発している。FREEDOMはオブジェクト指向を基本にその属性値や構成要素などに関する制約記述を可能とし,制約充足に基づく推論機能を有するシステムで,設計型問題における対象モデル表現を目的に開発を始めた。 そしてその第一段階として逐次推論マシンPSI上にESPをいてプロトタイプFREEDOM/S0を作成した。本報告では制約論理プログラミングとオブジェクト間の制約伝播によるFREEDOM/S0の制約充足方式について述べる。
- 一般社団法人情報処理学会の論文
- 1989-03-15
著者
関連論文
- 非定形UIMSの概念
- メタユーザインタフェースを有するユーザインタフェース構築支援システム
- 設計問題向けツール・アーキテクチャ (「第五世代コンピュータ」)
- 制約に基づくオブジェクト指向知識表現システム
- オブジェクト間の制約伝播による問題解決方式
- 制約に基づくオブジェクト指向知識表現システム : FREEDOMにおける制約充足方式
- 設計向き並列協調問題解決システムの提案
- 並列協調問題解決のための対象モデル表現方式
- 制約式の伝播によるオブジェクト指向計算モデル