Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 3
2	Soft Constraints	.... 4
3	Interpretation Ordering by Meta Langurage	.... 5
3.1	Preliminaries	.... 6
3.2	wdr(Well-Defined Relation)	.... 7
3.3	Translation from a wdr to an Atomic Meta-relation	.... 8
3.4	Syntactic Definition of the Most Preferable Solution in the Secomd-order Formula	.... 9
4	Representation of Soft Constraints	.... 11
4.1	Soft Constraints without Priorities	.... 12
4.2	Soft Constraints with Priorities	.... 12
4.3	Meeting Scheduling	.... 13
4.4	General Doft Constraints	.... 15
5	Method of Calculating the Most Prefeable Models	.... 15
5.1	Proof Theoretic Method	.... 15
5.2	Model theoretic Method	.... 17
6	Related Work	.... 21
6.1	Prioritized Circumscription	.... 21
6.2	Preferential Logic	.... 22
6.3	HCLP	.... 22
7	Conclusion	.... 22
	Acknowledgements	.... 24
	References	.... 24
	Appendix;Proofs of Theorems	.... 25
	End	.... 27

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