CLにおける制約表現
スポンサーリンク
概要
- 論文の詳細を見る
本論文では、CLによる制約指向プログラミングの経験に基づき、CLで制約を表現する方法について検討した。CLでは、階層化されたデータ構造において制約を表現できる。また、等式によって表現される制約以外の制約も扱える。さらに、制約伝播の方向を制御することができる。
- 一般社団法人情報処理学会の論文
- 1986-10-01
著者
関連論文
- CLにおける競合解消向ルールコンパイラ
- CLにおける逐次実行向けルールコンパイラ
- 論理合成システムEXLOGにおけるテクノロジマッピング
- 直列形複合交換網におけるデ-タパケットの待ち行列の近似解析
- タイミング設計問題の分析
- CLにおけるドメイン言語プリミティブ
- CL向け知識エディタの実現
- 排他的集団サービス待ち行列の近似解析(待ち行列理論とその応用)
- 1)空間認知の神経心理学的アプローチと認知科学(視覚情報研究会(第80回))
- 空間認知の神経心理学的アプローチと認知科学 : 脳損傷患者の症状の構造分析とシステム・モデル論的アプローチ
- CLにおける制約表現
- 85-4 一般学習機構としてのチャンキング
- 植村俊亮・前川 守著, 情報処理叢書1, "データベースマシン", 情報処理学会, A5判, 156p., \1,900, 1980
- ソフトウェア設計エキスパートシステムSOFTEXにおけるパラメタライズ・プログラミング
- 設計作用知識の記述レベルに関する評価
- 仮説の選択が可能なATMS
- Rete方式におけるオブジェクト削除トークン処理の高速化
- VLSI設計エキスパートシステムにおける知識獲得 (VLSI設計の新しい流れ)
- エキスパートシステムにおける知識獲得 (エキスパート・システム)
- プロセス産業を対象としたスケジューリングシステムアーキテクチャ