Abstract
We propose the concept of “the classification and boundary problem” and review a few types of reasonings in our daily life from the angle of this problem. As a typical example, we treat the topic of a realization of non-monotonic reasoning based on a logic programming.
Key words
Preview
Unable to display preview. Download preview PDF.
References
Hanks,S. and McDermott,D., “Default Reasoning, Nonmonotonic Logic, and the Frame Problem”, Proc. of AAAI-86, 328–333, 1986.
McCarthy, J., “Circumscription: A Form of Non-monotonic Reasoning”, Artif.Intell., Vol.13, 27–39, 1980.
McDermott, D. and Doyle, J., “Non-monotonic Logic I”, Artif.Intell., Vol.13, 41–72, 1980.
Reiter, R., “A Logic for Default Reasoning”, Artif.Intell., Vol.13, 81–132, 1980.
Yamaguchi,J., “Boolean-valued Logic Programming Language Paradigm: LIFE-Ω — Philosophical Background —”, NEC LR-5196, 1987.
Yamaguchi,J., “Boolean-valued Logic Programming Language Paradigm: LIFE-Ω — Theoretical Background of LIFE-I, II, III —”, NEC LR-5197, 1987.
Yamaguchi,J., “Logical Completeness of LIFE-II and LIFE-III and Its Applications to the Foundation of Logic Programming”, NEC LR-5346, 1987.
Yamaguchi,J., “Universal Unification from a Viewpoint of LIFE-II”, NE C LR-5347, 1987.
Yamaguchi,J., “Boolean-valued Logic Programming Language Scheme:LIFE-III — A Summary—”, NEC LR-5357, 1988.
Yamaguchi,J., “Two-lane Unification and A.B.F.E.-unification — One Step Toward an Application of LIFE-II —”, NEC LR-5426, 1988.
Yamaguchi,J., “F-LIFE: A L-fuzzy Inferential System”, NEC LR-5544, 1988.
Yamaguchi,J., “Boolean-valued Logic Programming Language Scheme:LIF E-III [1]Inferentially Transforming Logic Programs”, (in Japanese)5th Conference Proceedings Japan Soc.Software Sci.&Tech., 1988, 237–240.
Yamaguchi,J., “Boolean-valued Logic Programming Language Scheme:LIF E-III [2]A Technique to Execute a Logic Program Efficiently”, (in Japanese)5th Conference Proceedings Japan Soc.Software Sci.&Tech., 1988, 241–244.
Yamaguchi,J., “LIFE-III [3]Relativized Completeness”, Proc. of the 3rd Annual Conference of JSAI, 1989, 33–36.
Yamaguchi,J., “LIFE-III [4]A Fuzzy Inferential System”, (in Japanese) 6th Conference Proceedings Japan Soc.Software Sci.&Tech., 1989, 121–124.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yamaguchi, J. (1991). The classification and boundary problem. In: Furukawa, K., Tanaka, H., Fujisaki, T. (eds) Logic Programming '89. LP 1989. Lecture Notes in Computer Science, vol 485. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53919-0_2
Download citation
DOI: https://doi.org/10.1007/3-540-53919-0_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53919-3
Online ISBN: 978-3-540-46398-6
eBook Packages: Springer Book Archive