Contents of Report

[Data of Report]

Report Number:: TR0502
Date of Registration:: 1989.09
English Title:: Formalizing Soft Constraints by Interpretation Ordering
Japanese Title:: 解釈の順序による柔らかい制約の定式化
English Author:: K.Sato
Japanese:: 佐藤健
Name of Organization to which author belongs:: ICOT
PDF:: tr0502.pdf

[Contents]

	概要	.... 2
1	はじめに	.... 2
2	柔らかい制約	.... 4
3	メタ言語による解釈の順序の表現	.... 5
3.1	準備	.... 5
3.2	wdr(well-defined relation)	.... 6
3.3	wdrからMの原子wdrへの変換	.... 7
3.4	wdrに基づく二階述語論理式と極小モデルとの関係	.... 8
4	柔らかい制約の表現例	.... 9
4.1	柔らかい制約の間に優先度がない場合	.... 9
4.2	柔らかい制約の間に優先度がある場合	.... 10
4.3	会議スケジュールの例	.... 10
4.4	解の一部の値の比較によって解の順序が決まる場合	.... 11
5	モデル論に基づく望ましい解の計算方法	.... 11
6	関連する研究	.... 14
7	おわりに	.... 15
	謝辞	.... 15
	参考文献	.... 15
	End	.... 16

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

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