Skip to main content
SpringerLink
Log in

The classification and boundary problem

  • Reasoning
  • Conference paper
  • First Online:
Logic Programming '89 (LP 1989)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 485))

Included in the following conference series:

  • 132 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Hanks,S. and McDermott,D., “Default Reasoning, Nonmonotonic Logic, and the Frame Problem”, Proc. of AAAI-86, 328–333, 1986.

    Google Scholar 

  2. McCarthy, J., “Circumscription: A Form of Non-monotonic Reasoning”, Artif.Intell., Vol.13, 27–39, 1980.

    Google Scholar 

  3. McDermott, D. and Doyle, J., “Non-monotonic Logic I”, Artif.Intell., Vol.13, 41–72, 1980.

    Google Scholar 

  4. Reiter, R., “A Logic for Default Reasoning”, Artif.Intell., Vol.13, 81–132, 1980.

    Google Scholar 

  5. Yamaguchi,J., “Boolean-valued Logic Programming Language Paradigm: LIFE-Ω — Philosophical Background —”, NEC LR-5196, 1987.

    Google Scholar 

  6. Yamaguchi,J., “Boolean-valued Logic Programming Language Paradigm: LIFE-Ω — Theoretical Background of LIFE-I, II, III —”, NEC LR-5197, 1987.

    Google Scholar 

  7. Yamaguchi,J., “Logical Completeness of LIFE-II and LIFE-III and Its Applications to the Foundation of Logic Programming”, NEC LR-5346, 1987.

    Google Scholar 

  8. Yamaguchi,J., “Universal Unification from a Viewpoint of LIFE-II”, NE C LR-5347, 1987.

    Google Scholar 

  9. Yamaguchi,J., “Boolean-valued Logic Programming Language Scheme:LIFE-III — A Summary—”, NEC LR-5357, 1988.

    Google Scholar 

  10. Yamaguchi,J., “Two-lane Unification and A.B.F.E.-unification — One Step Toward an Application of LIFE-II —”, NEC LR-5426, 1988.

    Google Scholar 

  11. Yamaguchi,J., “F-LIFE: A L-fuzzy Inferential System”, NEC LR-5544, 1988.

    Google Scholar 

  12. 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.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. Yamaguchi,J., “LIFE-III [3]Relativized Completeness”, Proc. of the 3rd Annual Conference of JSAI, 1989, 33–36.

    Google Scholar 

  15. Yamaguchi,J., “LIFE-III [4]A Fuzzy Inferential System”, (in Japanese) 6th Conference Proceedings Japan Soc.Software Sci.&Tech., 1989, 121–124.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Information Sciences, KANAGAWA UNIVERSITY, 2946 Tsuchiya, 259-12, Hiratsuka, Kanagawa, Japan

    Jinsei Yamaguchi

Authors
  1. Jinsei Yamaguchi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Koichi Furukawa Hozumi Tanaka Tetsunosuke Fujisaki

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation