An Approach to Human-Level Commonsense Reasoning

  • Michael L. Anderson
  • Walid Gomaa
  • John Grant
  • Don Perlis
Chapter
Part of the Logic, Epistemology, and the Unity of Science book series (LEUS, volume 26)

Abstract

Commonsense reasoning has proven exceedingly difficult both to model and to implement in artificial reasoning systems. This paper discusses some of the features of human reasoning that may account for this difficulty, surveys a number of reasoning systems and formalisms, and offers an outline of active logic, a non-classical paraconsistent logic that may be of some use in implementing commonsense reasoning.

Keywords

Active Logic Semantic Network Inference Engine Declarative Memory Human Reasoning 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Notes

Acknowledgements

We would like to thank the referees for many helpful comments and suggestions.

References

  1. Anderson, J. 1990. The adaptive character of thought. Hillsdale: Lawrence Erlbaum.Google Scholar
  2. Anderson, J. 1991. Is human cognition adaptive? Behavioral and Brain Sciences 14(3): 471–517.CrossRefGoogle Scholar
  3. Anderson, J.R., D. Bothell, M.D. Byrne, S. Douglass, C. Lebiere, and Y. Qin. 2004. An integrated theory of mind. Psychological Review 111(4): 1036–1060.CrossRefGoogle Scholar
  4. Anderson, M.L., W. Gomaa, J. Grant, and D. Perlis. 2008. Active logic semantics for a single agent in a static world. Artificial Intelligence 172: 1045–1063.CrossRefGoogle Scholar
  5. Arieli, O. 2007. Paraconsistent reasoning and preferential entailments by signed quantified boolean formulae. ACM Transactions on Computational Logic 8(3): Article 18.Google Scholar
  6. Arieli, O., and A. Avron. 1998. The value of four values. Artificial Intelligence 102(1): 97–141.CrossRefGoogle Scholar
  7. Byrne, R. 1989. Suppressing valid inferences with conditionals. Cognition 31: 61–83.CrossRefGoogle Scholar
  8. Cosmides, L. 1989. The logic of social exchange: Has natural selection shaped how humans reason? Studies with the Wason selection task. Cognition 31: 187–276.CrossRefGoogle Scholar
  9. Elio, R. 1997. What to believe when inferences are contradicted: The impact of knowledge type and inference rule. In Proceedings of the nineteenth annual conference of the cognitive science society, 211–216. Hillsdale: Lawrence Erlbaum.Google Scholar
  10. Elio, R. 1998. How to disbelieve p → q: Resolving contradictions. In Proceedings of the twentieth annual conference of the cognitive science society, 315–320. Mahwah: Lawrence Erlbaum.Google Scholar
  11. Evans, J.S.B. 1982. The psychology of deductive reasoning. London: Routledge Keegan Paul.Google Scholar
  12. Gentner, D., and A. Stevens. 1983. Mental models. Hillsdale: Lawrence Erlbaum.Google Scholar
  13. Gigerenzer, G. 1994. Why the distinction between single-event probabilities and frequencies is important for psychology (and vice versa). In Subjective probability, ed. G. Write and P. Ayton, 129–161. New York: Wiley.Google Scholar
  14. Gray, W., C. Sims, W.T. Fu, and M. Schoelles. 2006. The soft constraints hypothesis: A rational analysis approach to resource allocation for interactive behavior. Psychological Review 113(3): 461–482.CrossRefGoogle Scholar
  15. Johnson-Laird, P. 1983. Mental models. Cambridge: Cambridge University Press.Google Scholar
  16. Johnson-Laird, P., and P. Wason. 1970. A theoretical insight into a reasoning task. Cognitive Psychology 1: 134–148.CrossRefGoogle Scholar
  17. Kahneman, D., and A. Tversky. 1979. Prospect theory: An analysis of decision under risk. Econometrica 47(2): 263–291.CrossRefGoogle Scholar
  18. Laird, J., A. Newell, and P. Rosenbloom. 1987. Soar: An architecture for general intelligence. Artificial Intelligence 33(1): 1–64.CrossRefGoogle Scholar
  19. Lebiere, C., and J.R. Anderson. 1993. A connectionist implementation of the ACT-R production system. In Proceedings of the fifteenth annual conference of the cognitive science society, 635–640. Hillsdale: Lawrence Erlbaum.Google Scholar
  20. Lenat, D., and R.V. Guha. 1990. Cyc: A midterm report. AI Magazine 11(3): 32–59.Google Scholar
  21. Lenat, D., R.V. Guha, K. Pittman, D. Pratt, and M. Shepherd. 1990. Cyc: Toward programs with commonsense. Communications of the ACM 33(8): 30–49.CrossRefGoogle Scholar
  22. Martins, A.T., M. Pequeno, and T. Pequeno. 2002. A multiple worlds semantics to a paraconsistent nonmonotonic logic. In Paraconsistency, the logical way to the inconsistent, ed. W.A. Carnielli, M.E. Coniglio, and I.M.L. D’Ottavio, 187–212. New York: Marcel Dekker.Google Scholar
  23. McCarthy, J., and P. Hayes. 1969. Some philosophical problems from the standpoint of artificial intelligence. In Machine intelligence, ed. B. Meltzer and D. Michie, 463–502. Edinburgh: Edinburgh University Press.Google Scholar
  24. Newell, A. (1990). Unified theories of cognition. Cambridge: Harvard University Press.Google Scholar
  25. Oaksford, M., and N. Chater. 1994. A rational analysis of the selection task as optimal data selection. Psychological Review 101: 608–631.CrossRefGoogle Scholar
  26. Oaksford, M., and N. Chater (ed.). 1999. Rational models of cognition. Oxford: Oxford University Press.Google Scholar
  27. Oaksford, M., and N. Chater. 2007. Bayesian rationality: The probabilistic approach to human reasoning. Oxford: Oxford University Press.Google Scholar
  28. Pollock, J. 1987. Defeasible reasoning. Cognitive Science 11: 481–518.CrossRefGoogle Scholar
  29. Pollock, J. 1989. How to build a person. Cambridge: Bradford/MIT.Google Scholar
  30. Pollock, J. 1991a. A theory of defeasible reasoning. International Journal of Intelligent Systems 6: 33–54.CrossRefGoogle Scholar
  31. Pollock, J. 1991b. Self-defeating arguments. Minds and Machines 1: 367–392.CrossRefGoogle Scholar
  32. Pollock, J. 1992. How to reason defeasibly. Artificial Intelligence 57: 1–42.CrossRefGoogle Scholar
  33. Pollock, J. 1995. Cognitive carpentry. Cambridge: Bradford/MIT.Google Scholar
  34. Pollock, J. 1999. Rational cognition in OSCAR. In Proceedings of ATAL-99, ed. N. Jennings and Y. Lesperance. Berlin: Springer.Google Scholar
  35. Priest, G. 1989. Reasoning about truth. Artificial Intelligence 39(2): 231–244.CrossRefGoogle Scholar
  36. Rosenbloom, P.S. (1989). A symbolic goal-oriented perspective on connectionism and soar. In Connectionism in perspective, ed. R. Pfeifer, Z. Schreter, F. Fogelman-Soulie, and L. Steels. Amsterdam: Elsevier.Google Scholar
  37. Rosenbloom, P.S., A. Newell, and J.E. Laird. 1990. Towards the knowledge level in soar: The role of the architecture in the use of knowledge. In Architectures for intelligence, ed. K. VanLehn. Hillsdale: Lawrence Erlbaum.Google Scholar
  38. Rosenbloom, P., J. Laird, A. Newell, and R. McCarl. 1991. A preliminary analysis of the soar architecture as a basis for general intelligence. Artificial Intelligence 47: 289–325.CrossRefGoogle Scholar
  39. Shapiro, S.C. 1979. The SNePS semantic network processing system. In Associative networks: The representation and use of knowledge by computers, ed. N. Findler, 179–203. New York: Academic.Google Scholar
  40. Shapiro, S.C. 1993. Belief spaces as sets of propositions. Journal of Experimental and Theoretical Artificial Intelligence 5: 225–235.CrossRefGoogle Scholar
  41. Shapiro, S.C. 2000. SNePS: A logic for natural language understanding and commonsense reasoning. In Natural language processing and knowledge representation: Language for knowledge and knowledge for language, ed. Ł. Iwańska and S.C. Shapiro, 175–195. Menlo Park: AAAI/MIT.Google Scholar
  42. Shapiro, S.C., and W. Rapaport. 1987. SNePS considered as a fully intensional propositional semantic network. In The knowledge frontier, ed. N. Cercone and G. McCalla, 263–315. New York: Springer.Google Scholar
  43. Shapiro, S.C., and W. Rapaport. 1992. The SNePS family. Computers and Mathematics with Applications 23: 243–275.CrossRefGoogle Scholar
  44. Shapiro, S.C., G.H. Woodmansee, and M.W Kreuger. 1968. A semantic associational memory net that learns and answers questions (SAMENLAQ). Technical report, Computer Science Department, University of Wisconsin, Madison, WI.Google Scholar
  45. Sharpe, D., and G. Lacroix. 1999. Reasoning about apparent contradictions: Resolution strategies and positive–negative asymmetries. Journal of Child Language 26(2): 477–490.CrossRefGoogle Scholar
  46. Taatgen, N.A., C. Lebiere, and J.R Anderson. 2006. Modeling paradigms in ACT-R. In Cognition and multi-agent interaction: From cognitive modeling to social simulation, ed. R. Sun, 29–52. Cambridge: Cambridge University Press.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht. 2013

Authors and Affiliations

  • Michael L. Anderson
    • 1
    • 2
  • Walid Gomaa
    • 3
    • 4
  • John Grant
    • 1
    • 5
    • 6
  • Don Perlis
    • 1
    • 5
  1. 1.Institute for Advanced Computer StudiesUniversity of MarylandCollege ParkUSA
  2. 2.Department of PsychologyFranklin and Marshall CollegeLancasterUSA
  3. 3.Department of Computer and Systems EngineeringAlexandria UniversityAlexandriaEgypt
  4. 4.Department of Computer Science and EngineeringEgypt-Japan University of Science and TechnologyNew Borg El-Arab City, AlexandriaEgypt
  5. 5.Department of Computer ScienceUniversity of MarylandCollege ParkUSA
  6. 6.Department of MathematicsTowson UniversityTowsonUSA

Personalised recommendations