Skip to main content
SpringerLink
Log in
Book cover

Artificial General Intelligence pp 31–62Cite as

The Logic of Intelligence

  • Chapter

Part of the book series: Cognitive Technologies ((COGTECH))

Summary

Is there an “essence of intelligence” that distinguishes intelligent systems from non-intelligent systems? If there is, then what is it? This chapter suggests an answer to these questions by introducing the ideas behind the NARS (Nonaxiomatic Reasoning System) project. NARS is based on the opinion that the essence of intelligence is the ability to adapt with insufficient knowledge and resources. According to this belief, the author has designed a novel formal logic, and implemented it in a computer system. Such a “logic of intelligence” provides a unified explanation for many cognitive functions of the human mind, and is also concrete enough to guide the actual building of a general purpose “thinking machine”.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   189.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   249.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   249.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aristotle (1989) Prior Analytics. Hackett Publishing Company, Indianapolis, Indiana. Translated by R Smith.

    Google Scholar 

  2. Birnbaum L (1991) Rigor mortis: a response to Nilsson’s “Logic and artificial intelligence”. Artificial Intelligence, 47:57–77.

    Article  MathSciNet  Google Scholar 

  3. Boddy M, Dean T (1994) Deliberation scheduling for problem solving in time-constrained environments. Artificial Intelligence, 67:245–285.

    Article  MATH  Google Scholar 

  4. Carnap R (1950) Logical Foundations of Probability. The University of Chicago Press, Chicago.

    MATH  Google Scholar 

  5. Chalmers D, French R, Hofstadter D (1992) High-level perception, representation, and analogy: a critique of artificial intelligence methodology. Journal of Experimental and Theoretical Artificial Intelligence, 4:185–211.

    Google Scholar 

  6. Dean T, Boddy M (1988) An analysis of time-dependent planning. In Proceedings of AAAI-88, pages 49–54.

    Google Scholar 

  7. Dreyfus H (1992) What Computers Still Can’t Do. The MIT Press, Cambridge, MA.

    Google Scholar 

  8. Elgot-Drapkin J, Miller M, Perlis D (1991) Memory, reason, and time: the step-logic approach. In: Cummins R, Pollock J (eds) Philosophy and AI, MIT Press, Cambridge, MA.

    Google Scholar 

  9. French R (1990) Subcognition and the limits of the Turing test. Mind, 99:53–65.

    Article  MathSciNet  Google Scholar 

  10. Good I (1983) Good Thinking: The Foundations of Probability and Its Applications. University of Minnesota Press, Minneapolis.

    MATH  Google Scholar 

  11. Hempel C (1943) A purely syntactical definition of confirmation. Journal of Symbolic Logic, 8:122–143.

    Article  MathSciNet  MATH  Google Scholar 

  12. Hinton G, McClelland J, Rumelhart D (1986) Distributed representation. In: Rumelhart D, McClelland J (eds) Parallel Distributed Processing: Exploration in the Microstructure of cognition, Vol. 1, Foundations, MIT Press, Cambridge, MA

    Google Scholar 

  13. Hofstadter D (1979). Gödel, Escher, Bach: an Eternal Golden Braid. Basic Books, New York.

    Google Scholar 

  14. Hofstadter D (1984) The copycat project: An experiment in nondeterminism and creative analogies. AI memo, MIT Artificial Intelligence Laboratory.

    Google Scholar 

  15. Hofstadter D (1985). Waking up from the Boolean dream, or, subcognition as computation. In: Hofstadter D Metamagical Themas: Questing for the Essence of Mind and Pattern, Basic Books, New York.

    Google Scholar 

  16. Hofstadter D, Mitchell M (1994) The Copycat project: a model of mental fluidity and analogy-making. In: Holyoak K, Barnden J (eds) Advances in Connectionist and Neural Computation Theory, Volume 2: Analogical Connections, Ablex, Norwood, NJ

    Google Scholar 

  17. Holland J (1986) Escaping brittleness: the possibilities of general purpose learning algorithms applied to parallel rule-based systems. In Michalski R, Carbonell J, Mitchell T (eds) Machine Learning: an artificial intelligence approach, volume II, Morgan Kaufmann, Los Altos, CA.

    Google Scholar 

  18. Kugel P (1986) Thinking may be more than computing. Cognition, 22:137–198.

    Article  Google Scholar 

  19. McCarthy J (1988) Mathematical logic in artificial intelligence. Dædalus, 117(1):297–311.

    MathSciNet  Google Scholar 

  20. McDermott D (1987) A critique of pure reason. Computational Intelligence, 3:151–160.

    Google Scholar 

  21. Medin D, Ross B (1992) Cognitive Psychology. Harcourt Brace Jovanovich, Fort Worth, TX.

    Google Scholar 

  22. Minsky M (1985). The Society of Mind. Simon and Schuster, New York.

    Google Scholar 

  23. Newell A, Simon H (1976) Computer science as empirical inquiry: symbols and search. The Tenth Turing Lecture. First published in Communications of the Association for Computing Machinery 19.

    Google Scholar 

  24. Pearl J (1988) Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, San Mateo, CA.

    Google Scholar 

  25. Penrose R (1994) Shadows of the Mind. Oxford University Press, Oxford.

    Google Scholar 

  26. Piaget J (1960) The Psychology of Intelligence. Littlefield, Adams & Co., Paterson, NJ.

    Google Scholar 

  27. Popper K (1959) The Logic of Scientific Discovery. Basic Books, New York.

    MATH  Google Scholar 

  28. Reeke G, Edelman G (1988) Real brains and artificial intelligence. Dædalus, 117(1):143–173.

    Google Scholar 

  29. Reiter R (1987) Nonmonotonic reasoning. Annual Review of Computer Science, 2:147–186.

    Article  MathSciNet  Google Scholar 

  30. Rumelhart D, McClelland J (1986) PDP models and general issues in cognitive science. In: Rumelhart D, McClelland J (eds) Parallel Distributed Processing: Explorations in the Microstructure of Cognition, Vol. 1, Foundations, MIT Press, Cambridge, MA.

    Google Scholar 

  31. Schank R (1991) Where is the AI. AI Magazine, 12(4):38–49.

    Google Scholar 

  32. Searle J (1980) Minds, brains, and programs. The Behavioral and Brain Sciences, 3:417–424.

    Article  Google Scholar 

  33. Shafer G (1976) A Mathematical Theory of Evidence. Princeton University Press, Princeton, NJ.

    MATH  Google Scholar 

  34. Smolensky P (1988). On the proper treatment of connectionism. Behavioral and Brain Sciences, 11:1–74.

    Google Scholar 

  35. Strosnider J, Paul C (1994) A structured view of real-time problem solving. AI Magazine, 15(2):45–66.

    Google Scholar 

  36. Turing A (1950) Computing Machinery and Intelligence. Mind, LIX(236):433–460.

    Article  MathSciNet  Google Scholar 

  37. Wang P (1993) Belief revision in probability theory. In Proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence, Morgan Kaufmann, San Mateo, CA.

    Google Scholar 

  38. Wang P (1994) A defect in Dempster-Shafer theory. In Proceedings of the Tenth Conference on Uncertainty in Artificial Intelligence, Morgan Kaufmann, San Mateo, CA.

    Google Scholar 

  39. Wang P (1994) From inheritance relation to nonaxiomatic logic. International Journal of Approximate Reasoning, 11(4):281–319.

    Article  MathSciNet  MATH  Google Scholar 

  40. Wang P (1995) Non-Axiomatic Reasoning System: Exploring the Essence of Intelligence. PhD thesis, Indiana University, Bloomington, IN.

    Google Scholar 

  41. Wang P (1996) The interpretation of fuzziness. IEEE Transactions on Systems, Man, and Cybernetics, 26(4):321–326.

    Google Scholar 

  42. Wang P (2001) Abduction in non-axiomatic logic. In Working Notes of the IJCAI workshop on Abductive Reasoning, pages 56–63, Seattle, WA.

    Google Scholar 

  43. Wang P (2001) Confidence as higher-order uncertainty. In Proceedings of the Second International Symposium on Imprecise Probabilities and Their Applications, pages 352–361, Ithaca, NY.

    Google Scholar 

  44. Wang P (2001) Wason’s cards: what is wrong? In Proceedings of the Third International Conference on Cognitive Science, pages 371–375, Beijing.

    Google Scholar 

  45. Zadeh L (1965) Fuzzy sets. Information and Control, 8:338–353.

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer and Information Sciences, Temple University, Philadelphia, PA, 19122, USA

    Pei Wang

Authors
  1. Pei Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. AGIRI — Artificial General Intelligence Research Institute, 1405 Bernerd Place, Rockville, MD, 20851, USA

    Ben Goertzel  & Cassio Pennachin  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Wang, P. (2007). The Logic of Intelligence. In: Goertzel, B., Pennachin, C. (eds) Artificial General Intelligence. Cognitive Technologies. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68677-4_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-68677-4_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23733-4

  • Online ISBN: 978-3-540-68677-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation