{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T10:10:06Z","timestamp":1743847806501,"version":"3.40.3"},"publisher-location":"Dordrecht","reference-count":46,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789400744370"},{"type":"electronic","value":"9789400744387"}],"license":[{"start":{"date-parts":[[2012,6,21]],"date-time":"2012-06-21T00:00:00Z","timestamp":1340236800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,6,21]],"date-time":"2012-06-21T00:00:00Z","timestamp":1340236800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-94-007-4438-7_12","type":"book-chapter","created":{"date-parts":[[2012,7,24]],"date-time":"2012-07-24T14:26:33Z","timestamp":1343139993000},"page":"201-222","update-policy":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["An Approach to Human-Level Commonsense Reasoning"],"prefix":"10.1007","author":[{"given":"Michael L.","family":"Anderson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walid","family":"Gomaa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Grant","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Don","family":"Perlis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,6,21]]},"reference":[{"key":"12_CR1","volume-title":"The adaptive character of thought","author":"J. Anderson","year":"1990","unstructured":"Anderson, J. 1990. The adaptive character of thought. Hillsdale: Lawrence Erlbaum."},{"issue":"3","key":"12_CR2","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1017\/S0140525X00070801","volume":"14","author":"J. Anderson","year":"1991","unstructured":"Anderson, J. 1991. Is human cognition adaptive? Behavioral and Brain Sciences 14(3): 471\u2013517.","journal-title":"Behavioral and Brain Sciences"},{"issue":"4","key":"12_CR3","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1037\/0033-295X.111.4.1036","volume":"111","author":"J.R. Anderson","year":"2004","unstructured":"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\u20131060.","journal-title":"Psychological Review"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"1045","DOI":"10.1016\/j.artint.2007.11.005","volume":"172","author":"M.L. Anderson","year":"2008","unstructured":"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\u20131063.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"12_CR5","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/1243996.1244001","volume":"8","author":"O Arieli","year":"2007","unstructured":"Arieli, O. 2007. Paraconsistent reasoning and preferential entailments by signed quantified boolean formulae. ACM Transactions on Computational Logic 8(3): Article 18.","journal-title":"ACM Transactions on Computational Logic"},{"issue":"1","key":"12_CR6","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0004-3702(98)00032-0","volume":"102","author":"O. Arieli","year":"1998","unstructured":"Arieli, O., and A. Avron. 1998. The value of four values. Artificial Intelligence 102(1): 97\u2013141.","journal-title":"Artificial Intelligence"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0010-0277(89)90018-8","volume":"31","author":"R. Byrne","year":"1989","unstructured":"Byrne, R. 1989. Suppressing valid inferences with conditionals. Cognition 31: 61\u201383.","journal-title":"Cognition"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0010-0277(89)90023-1","volume":"31","author":"L. Cosmides","year":"1989","unstructured":"Cosmides, L. 1989. The logic of social exchange: Has natural selection shaped how humans reason? Studies with the Wason selection task. Cognition 31: 187\u2013276.","journal-title":"Cognition"},{"key":"12_CR9","unstructured":"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\u2013216. Hillsdale: Lawrence Erlbaum."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Elio, R. 1998. How to disbelieve p\u2009\u2192\u2009q: Resolving contradictions. In Proceedings of the twentieth annual conference of the cognitive science society, 315\u2013320. Mahwah: Lawrence Erlbaum.","DOI":"10.4324\/9781315782416-64"},{"key":"12_CR11","volume-title":"The psychology of deductive reasoning","author":"J.S.B. Evans","year":"1982","unstructured":"Evans, J.S.B. 1982. The psychology of deductive reasoning. London: Routledge Keegan Paul."},{"key":"12_CR12","volume-title":"Mental models","author":"D. Gentner","year":"1983","unstructured":"Gentner, D., and A. Stevens. 1983. Mental models. Hillsdale: Lawrence Erlbaum."},{"key":"12_CR13","first-page":"129","volume-title":"Subjective probability","author":"G. Gigerenzer","year":"1994","unstructured":"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\u2013161. New York: Wiley."},{"issue":"3","key":"12_CR14","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1037\/0033-295X.113.3.461","volume":"113","author":"W. Gray","year":"2006","unstructured":"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\u2013482.","journal-title":"Psychological Review"},{"key":"12_CR15","volume-title":"Mental models","author":"P. Johnson-Laird","year":"1983","unstructured":"Johnson-Laird, P. 1983. Mental models. Cambridge: Cambridge University Press."},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1016\/0010-0285(70)90009-5","volume":"1","author":"P. Johnson-Laird","year":"1970","unstructured":"Johnson-Laird, P., and P. Wason. 1970. A theoretical insight into a reasoning task. Cognitive Psychology 1: 134\u2013148.","journal-title":"Cognitive Psychology"},{"issue":"2","key":"12_CR17","doi-asserted-by":"publisher","first-page":"263","DOI":"10.2307\/1914185","volume":"47","author":"D. Kahneman","year":"1979","unstructured":"Kahneman, D., and A. Tversky. 1979. Prospect theory: An analysis of decision under risk. Econometrica 47(2): 263\u2013291.","journal-title":"Econometrica"},{"issue":"1","key":"12_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(87)90050-6","volume":"33","author":"J. Laird","year":"1987","unstructured":"Laird, J., A. Newell, and P. Rosenbloom. 1987. Soar: An architecture for general intelligence. Artificial Intelligence 33(1): 1\u201364.","journal-title":"Artificial Intelligence"},{"key":"12_CR19","unstructured":"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\u2013640. Hillsdale: Lawrence Erlbaum."},{"issue":"3","key":"12_CR20","first-page":"32","volume":"11","author":"D. Lenat","year":"1990","unstructured":"Lenat, D., and R.V. Guha. 1990. Cyc: A midterm report. AI Magazine 11(3): 32\u201359.","journal-title":"AI Magazine"},{"issue":"8","key":"12_CR21","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/79173.79176","volume":"33","author":"D. Lenat","year":"1990","unstructured":"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\u201349.","journal-title":"Communications of the ACM"},{"key":"12_CR22","first-page":"187","volume-title":"Paraconsistency, the logical way to the inconsistent","author":"A.T. Martins","year":"2002","unstructured":"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\u2019Ottavio, 187\u2013212. New York: Marcel Dekker."},{"key":"12_CR23","first-page":"463","volume-title":"Machine intelligence","author":"J. McCarthy","year":"1969","unstructured":"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\u2013502. Edinburgh: Edinburgh University Press."},{"key":"12_CR24","volume-title":"Unified theories of cognition","author":"A. Newell","year":"1990","unstructured":"Newell, A. (1990). Unified theories of cognition. Cambridge: Harvard University Press."},{"key":"12_CR25","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1037\/0033-295X.101.4.608","volume":"101","author":"M. Oaksford","year":"1994","unstructured":"Oaksford, M., and N. Chater. 1994. A rational analysis of the selection task as optimal data selection. Psychological Review 101: 608\u2013631.","journal-title":"Psychological Review"},{"volume-title":"Rational models of cognition","year":"1999","key":"12_CR26","unstructured":"Oaksford, M., and N. Chater (ed.). 1999. Rational models of cognition. Oxford: Oxford University Press."},{"key":"12_CR27","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198524496.001.0001","volume-title":"Bayesian rationality: The probabilistic approach to human reasoning","author":"M. Oaksford","year":"2007","unstructured":"Oaksford, M., and N. Chater. 2007. Bayesian rationality: The probabilistic approach to human reasoning. Oxford: Oxford University Press."},{"key":"12_CR28","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1207\/s15516709cog1104_4","volume":"11","author":"J. Pollock","year":"1987","unstructured":"Pollock, J. 1987. Defeasible reasoning. Cognitive Science 11: 481\u2013518.","journal-title":"Cognitive Science"},{"key":"12_CR29","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3588.001.0001","volume-title":"How to build a person","author":"J. Pollock","year":"1989","unstructured":"Pollock, J. 1989. How to build a person. Cambridge: Bradford\/MIT."},{"key":"12_CR30","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1002\/int.4550060103","volume":"6","author":"J. Pollock","year":"1991","unstructured":"Pollock, J. 1991a. A theory of defeasible reasoning. International Journal of Intelligent Systems 6: 33\u201354.","journal-title":"International Journal of Intelligent Systems"},{"key":"12_CR31","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/BF00352916","volume":"1","author":"J. Pollock","year":"1991","unstructured":"Pollock, J. 1991b. Self-defeating arguments. Minds and Machines 1: 367\u2013392.","journal-title":"Minds and Machines"},{"key":"12_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90103-5","volume":"57","author":"J. Pollock","year":"1992","unstructured":"Pollock, J. 1992. How to reason defeasibly. Artificial Intelligence 57: 1\u201342.","journal-title":"Artificial Intelligence"},{"key":"12_CR33","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1887.001.0001","volume-title":"Cognitive carpentry","author":"J. Pollock","year":"1995","unstructured":"Pollock, J. 1995. Cognitive carpentry. Cambridge: Bradford\/MIT."},{"key":"12_CR34","volume-title":"Proceedings of ATAL-99","author":"J. Pollock","year":"1999","unstructured":"Pollock, J. 1999. Rational cognition in OSCAR. In Proceedings of ATAL-99, ed. N. Jennings and Y. Lesperance. Berlin: Springer."},{"issue":"2","key":"12_CR35","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(89)90027-1","volume":"39","author":"G. Priest","year":"1989","unstructured":"Priest, G. 1989. Reasoning about truth. Artificial Intelligence 39(2): 231\u2013244.","journal-title":"Artificial Intelligence"},{"key":"12_CR36","volume-title":"Connectionism in perspective","author":"P.S. Rosenbloom","year":"1989","unstructured":"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."},{"key":"12_CR37","volume-title":"Architectures for intelligence","author":"P.S. Rosenbloom","year":"1990","unstructured":"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."},{"key":"12_CR38","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0004-3702(91)90057-Q","volume":"47","author":"P. Rosenbloom","year":"1991","unstructured":"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\u2013325.","journal-title":"Artificial Intelligence"},{"key":"12_CR39","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/B978-0-12-256380-5.50011-6","volume-title":"Associative networks: The representation and use of knowledge by computers","author":"S.C. Shapiro","year":"1979","unstructured":"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\u2013203. New York: Academic."},{"key":"12_CR40","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1080\/09528139308953771","volume":"5","author":"S.C. Shapiro","year":"1993","unstructured":"Shapiro, S.C. 1993. Belief spaces as sets of propositions. Journal of Experimental and Theoretical Artificial Intelligence 5: 225\u2013235.","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"12_CR41","first-page":"175","volume-title":"Natural language processing and knowledge representation: Language for knowledge and knowledge for language","author":"S.C. Shapiro","year":"2000","unstructured":"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. \u0141. Iwa\u0144ska and S.C. Shapiro, 175\u2013195. Menlo Park: AAAI\/MIT."},{"key":"12_CR42","first-page":"263","volume-title":"The knowledge frontier","author":"S.C. Shapiro","year":"1987","unstructured":"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\u2013315. New York: Springer."},{"key":"12_CR43","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0898-1221(92)90143-6","volume":"23","author":"S.C. Shapiro","year":"1992","unstructured":"Shapiro, S.C., and W. Rapaport. 1992. The SNePS family. Computers and Mathematics with Applications 23: 243\u2013275.","journal-title":"Computers and Mathematics with Applications"},{"key":"12_CR44","volume-title":"A semantic associational memory net that learns and answers questions (SAMENLAQ)","author":"S.C. Shapiro","year":"1968","unstructured":"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."},{"issue":"2","key":"12_CR45","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1017\/S0305000999003840","volume":"26","author":"D. Sharpe","year":"1999","unstructured":"Sharpe, D., and G. Lacroix. 1999. Reasoning about apparent contradictions: Resolution strategies and positive\u2013negative asymmetries. Journal of Child Language 26(2): 477\u2013490.","journal-title":"Journal of Child Language"},{"key":"12_CR46","first-page":"29","volume-title":"Cognition and multi-agent interaction: From cognitive modeling to social simulation","author":"N.A. Taatgen","year":"2006","unstructured":"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\u201352. Cambridge: Cambridge University Press."}],"container-title":["Paraconsistency: Logic and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/link.springer.com\/content\/pdf\/10.1007\/978-94-007-4438-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T09:38:32Z","timestamp":1743845912000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/link.springer.com\/10.1007\/978-94-007-4438-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,21]]},"ISBN":["9789400744370","9789400744387"],"references-count":46,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/978-94-007-4438-7_12","relation":{},"subject":[],"published":{"date-parts":[[2012,6,21]]},"assertion":[{"value":"21 June 2012","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}