Contents of Report

[Data of Report]

	Abstract	.... 3
1	Introduction	.... 5
2	Classical Negation and Consistency	.... 8
3	Theory Formation	.... 11
3.1	Default Reasoning	.... 12
3.2	Isolating Inconsistency	.... 14
3.3	Closed World Assumptions	.... 15
3.4	Abduction	.... 19
4	Reduction to Extended Logic programs	.... 22
4.1	Simple Default Assumptions	.... 23
4.2	Complex Default Assumptions	.... 30
5	Reduction to General Logic programs	.... 36
6	Discussion	.... 38
6.1	Abducutive Logic Programming	.... 39
6.2	Exceptions	.... 39
6.3	Inconsistency Resolution	.... 40
6.4	Pereia et al.	.... 42
6.5	Priority	.... 42
7	Conclusion	.... 43
	Reference	.... 43
	End	.... 47

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