Contents of Report

[Data of Report]

Report Number:: TR0609
Date of Registration:: 1991.01
English Title:: A Unified View of Consequence Relation,Belief Revision and Conditional Logic
Japanese Title:: ***
English Author:: H.Katsuno,K.Satoh
Japanese:: ***
Name of Organization to which author belongs:: NTT,ICOT
PDF:: tr0609.pdf

	Abstract	.... 3
1	Introduction	.... 4
2	Preliminaries	.... 6
3	Common Language	.... 7
3.1	Order Structure	.... 7
3.2	Validity	.... 9
3.3	Axiomatization	.... 12
4	Comparison	.... 15
4.1	Consequence Relation	.... 15
4.2	Knowledge Base Revision	.... 16
4.3	Knowledge Base Update	.... 19
4.4	Conditional Logic	.... 21
5	Reciprocal Relation	.... 21
5.1	Consequence Relation versus Revision	.... 21
5.2	Consequence Relation versus Conditional Logic	.... 22
5.3	Revision versus Conditional Logic	.... 22
5.4	Update versus Conditional Logic	.... 23
6	Concluding Remarks	.... 23
	Acknowledgements	.... 24
	References	.... 24
	End	.... 26

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