Contents of Report

[Data of Report]

Report Number:: TR0850
Date of Registration:: 1993.07
English Title:: A Deductive Object-Oriented Database System for Situated Inference in Law
Japanese Title:: ***
English Author:: S.Wong,S.Tojo
Japanese:: ***
Name of Organization to which author belongs:: MRI,MRI
PDF:: tr0850.pdf

1	Introduction	.... 2
2	Formal Representation of Legal Knowledge	.... 3
2.1	General Terms	.... 4
2.2	Concept Matching	.... 5
2.3	Situated Inference Rules	.... 6
2.4	Substitution	.... 10
3	Data Modeling of Legal Knowledge in QUIXOTE	.... 12
3.1	Objects,Modules,and Matching	.... 13
3.2	Situated Inference Rules	.... 18
4	Query and Inference in QUIXOTE	.... 21
4.1	Constraints and Answer with Asssumption	.... 21
4.2	Inference of Legal Knowledge	.... 22
5	Related Work	.... 25
6	Conclusion	.... 29
	Acknowledgements	.... 31
	Affliation of Auther	.... 31
	References	.... 31
	End	.... 35

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