Contents of Report

[Data of Report]

Report Number:: TR0824
Date of Registration:: 1992.12
English Title:: Transforming Abductive Logic Programs to Disjunctive Programs
Japanese Title:: ***
English Author:: K.Inoue,C.Sakuma
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ASTEM
PDF:: tr0824.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Model Theory for Abductive Logic Programs	.... 4
3	Fixpoint Theory for Abductive Logic Programs	.... 7
3.1	Fixpoint Semantics for Positive Disjunctive Programs	.... 7
3.2	Fixpoint Semantics for General Logic Programs	.... 8
3.3	Fixpoint Semantics for Abductive Horn Programs	.... 10
4	Abductive Extended Disjunctive Programs	.... 14
5	Bottom-Up Evaluation of Abductive Programs	.... 15
6	Comparison with Other Approaches	.... 17
6.1	Fixpoint Characterization for Disjunctive and General Programs	.... 17
6.2	Computing Abduction	.... 18
7	Conclusion	.... 20
	References	.... 20
	End	.... 22

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