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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
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