Contents of Report

[Data of Report]

	Abstract	.... 2
	Keywords	.... 2
1	Introduction	.... 3
2	Classical Nagation and Consistency	.... 5
3	Theoy Formation	.... 8
3.1	Default Reasoning	.... 9
3.2	Closed World Assumption	.... 10
3.3	Abduction	.... 12
4	Reuction to Extended Logic Programs	.... 14
4.1	Simple Default Assumption	.... 14
4.2	Complex Default Assumption	.... 21
5	Discussion	.... 25
5.1	Reduction to General Logic Programs	.... 25
5.2	Abductive Logic Programming	.... 27
5.3	Inoconsistency Resolution	.... 28
5.4	Priority	.... 29
6	Conclusion	.... 30
	Acknowledgement	.... 31
	References	.... 31
	End	.... 32

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