Skip to main content
Top
Published in: Cognitive Processing 4/2009

01-11-2009 | Research Report

Reasoning as simulation

Authors: Nicholas L. Cassimatis, Arthi Murugesan, Perrin G. Bignoli

Published in: Cognitive Processing | Issue 4/2009

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

The theory that human cognition proceeds through mental simulations, if true, would provide a parsimonious explanation of how the mechanisms of reasoning and problem solving integrate with and develop from mechanisms underlying forms of cognition that occur earlier in evolution and development. However, questions remain about whether simulation mechanisms are powerful enough to exhibit human-level reasoning and inference. In order to investigate this issue, we show that it is possible to characterize some of the most powerful modern artificial intelligence algorithms for logical and probabilistic inference as methods of simulating alternate states of the world. We show that a set of specific human perceptual mechanisms, even if not implemented using mechanisms described in artificial intelligence, can nevertheless perform the same operations as those algorithms. Although this result does not demonstrate that simulation theory is true, it does show that whatever mechanisms underlie perception have at least as much power to explain non-perceptual human reasoning and problem solving as some of the most powerful known algorithms.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
1
We refer to inference and reasoning interchangeably as the process by which people come to believe or suspect new facts given existing facts. We intend this broadly to include, for example, subconscious and automatic inference in perception and language understanding in addition to cognition studied in the psychology of reasoning.
 
2
Following Jackendoff (2007), we avoid the word “representation” in order to make it clear that we are referring to nothing more than aspects of brain state. This is intended to avoid philosophical confusions regarding the use of the term.
 
3
It is perhaps less obvious (and not relevant to this paper) that logical or symbolic rule-based notions can capture analog (as opposed to discrete) aspect of cognition. However, many logics and rule systems take real numbers as values.
 
4
In fact, there is no reason why a production rule system might not be part of a pattern completion mechanism.
 
5
DPLL’s “world knowledge” is expressed in conjunctive normal form (CNF), e.g., (P or Q) and (P or not-Q or not-R) and…. The parenthesized “clauses” in CNF can be written as a rule. For example, (P or not-Q or not R) is logically equivalent to (R and Q) → P. DPLL’s elaboration step involves performing “unit propagation”. Unit propagation sets propositions to truth values implied by already inferred and/or assumed truth values. Thus, with the CNF above, if P is false, then Q is inferred.
 
6
Although not developed explicitly as a simulation theory, several aspects of Soar are consistent with this work. For example, Soar’s use of “problem spaces” to consider hypothetical actions is a kind of simulation. Further, Soar uses “impasses” to control its use of problem spaces. These impasses often involve conflicting options. Negative priming and the likelihood bias are both heuristics for dealing with conflicting options.
 
Literature
go back to reference Aloul FA, Markov IL, Sakallah KA (2001) MINCE: a static global variable-ordering for SAT and BDD. Paper presented at the IEEE 10th international workshop on logic and synthesis Aloul FA, Markov IL, Sakallah KA (2001) MINCE: a static global variable-ordering for SAT and BDD. Paper presented at the IEEE 10th international workshop on logic and synthesis
go back to reference Anderson JR (2007) How can the human mind occur in the physical universe?. Oxford University Press, New YorkCrossRef Anderson JR (2007) How can the human mind occur in the physical universe?. Oxford University Press, New YorkCrossRef
go back to reference Anderson JR, Lebiere C (1998) The atomic components of thought. Lawrence Erlbaum Associates, Hillsdale Anderson JR, Lebiere C (1998) The atomic components of thought. Lawrence Erlbaum Associates, Hillsdale
go back to reference Barsalou LW (1999) Perceptual symbol systems. Behav Brain Sci 22:577–609PubMed Barsalou LW (1999) Perceptual symbol systems. Behav Brain Sci 22:577–609PubMed
go back to reference Barsalou LW (2005) Abstraction as dynamic interpretation in perceptual symbol systems. In: Gershkoff-Stowe L, Rakison D (eds) Building object categories. Erlbaum, Mahwah, pp 389–431 Barsalou LW (2005) Abstraction as dynamic interpretation in perceptual symbol systems. In: Gershkoff-Stowe L, Rakison D (eds) Building object categories. Erlbaum, Mahwah, pp 389–431
go back to reference Barsalou LW, Niedenthal PM, Barbey A, Ruppert J (2003a) Social embodiment. In: Ross B (ed) The psychology of learning and motivation, vol 43. Academic Press, San Diego, pp 43–92 Barsalou LW, Niedenthal PM, Barbey A, Ruppert J (2003a) Social embodiment. In: Ross B (ed) The psychology of learning and motivation, vol 43. Academic Press, San Diego, pp 43–92
go back to reference Bayardo RJ, Schrag RC (1997) Using CSP look-back techniques to solve real world SAT instances, (pdf document). Paper presented at the 14th national conference on artificial intelligence Bayardo RJ, Schrag RC (1997) Using CSP look-back techniques to solve real world SAT instances, (pdf document). Paper presented at the 14th national conference on artificial intelligence
go back to reference Braine MDS, O’Brien DP (1998) Mental logic. Lawrence Erlbaum Associates, Mahwah Braine MDS, O’Brien DP (1998) Mental logic. Lawrence Erlbaum Associates, Mahwah
go back to reference Cassimatis NL, Bugjaska M, Dugas S, Murugesan A, Bello P (2007) An architecture for adaptive algorithmic hybrids. Paper presented at the AAAI-07, Vancouver, BC Cassimatis NL, Bugjaska M, Dugas S, Murugesan A, Bello P (2007) An architecture for adaptive algorithmic hybrids. Paper presented at the AAAI-07, Vancouver, BC
go back to reference Een N, Sorensson N (2005) MiniSat-A SAT solver with conflict-clause minimization. In: SAT 2005 Competition Een N, Sorensson N (2005) MiniSat-A SAT solver with conflict-clause minimization. In: SAT 2005 Competition
go back to reference Finke RA (1989) Principles of mental imagery. MIT Press, Cambridge Finke RA (1989) Principles of mental imagery. MIT Press, Cambridge
go back to reference Geman S, Geman D (1984) Stochastic relaxation, Gibbs distributions, and the Bayesian restoration of images. IEEE Trans Pattern Anal Mach Intell 7:721–741CrossRef Geman S, Geman D (1984) Stochastic relaxation, Gibbs distributions, and the Bayesian restoration of images. IEEE Trans Pattern Anal Mach Intell 7:721–741CrossRef
go back to reference Heras F, Larrosa J, Oliveras A (2008) MiniMaxSAT: an efficient weighted max-SAT solve. J Artif Intell Res 31:1–32 Heras F, Larrosa J, Oliveras A (2008) MiniMaxSAT: an efficient weighted max-SAT solve. J Artif Intell Res 31:1–32
go back to reference Hoos HH, Stützle T (2002) SATLIB: an online resource for research on SAT. In: Gent IP, Maaren HV, Walsh T (eds) SAT 2000. IOS Press, Amsterdam, pp 283–292 Hoos HH, Stützle T (2002) SATLIB: an online resource for research on SAT. In: Gent IP, Maaren HV, Walsh T (eds) SAT 2000. IOS Press, Amsterdam, pp 283–292
go back to reference Jackendoff R (2007) Language, consciousness, culture: essays on mental structure. MIT Press, Cambridge Jackendoff R (2007) Language, consciousness, culture: essays on mental structure. MIT Press, Cambridge
go back to reference Johnson-Laird P (1983) Mental models. Harvard University Press, Cambridge Johnson-Laird P (1983) Mental models. Harvard University Press, Cambridge
go back to reference Johnson-Laird PN (2007) How we reason. Oxford University Press, New York Johnson-Laird PN (2007) How we reason. Oxford University Press, New York
go back to reference Kautz H, Selman B (1999) Unifying SAT-based and graph-based planning. Paper presented at the IJCAI-99 Kautz H, Selman B (1999) Unifying SAT-based and graph-based planning. Paper presented at the IJCAI-99
go back to reference Kowler E (1990) The role of visual and cognitive processes in the control of eye movement. In: Kowler E (ed) The role of visual and cognitive processes in the control of eye movement. Elsevier, Amsterdam, pp 1–63 Kowler E (1990) The role of visual and cognitive processes in the control of eye movement. In: Kowler E (ed) The role of visual and cognitive processes in the control of eye movement. Elsevier, Amsterdam, pp 1–63
go back to reference Marques-Silva JP, Sakallah KA (1996) GRASP: a new search algorithm for satisfiability. Paper presented at the international conference on computer-aided design Marques-Silva JP, Sakallah KA (1996) GRASP: a new search algorithm for satisfiability. Paper presented at the international conference on computer-aided design
go back to reference Moskewicz M, Madigan C, Zhao Y, Zhang L, Malik S (2001) Chaff: engineering an efficient SAT solver. Paper presented at the 39th design automation conference, Las Vegas Moskewicz M, Madigan C, Zhao Y, Zhang L, Malik S (2001) Chaff: engineering an efficient SAT solver. Paper presented at the 39th design automation conference, Las Vegas
go back to reference Richardson DC, Spivey MJ, Barsalou LW, McRae K (2003) Spatial representations activated during real-time comprehension of verbs. Cogn Sci 27:767–780CrossRef Richardson DC, Spivey MJ, Barsalou LW, McRae K (2003) Spatial representations activated during real-time comprehension of verbs. Cogn Sci 27:767–780CrossRef
go back to reference Sang T, Beame P, Kautz H (2005) Solving Bayes networks by weighted model counting. Paper presented at the AAAI-05 Sang T, Beame P, Kautz H (2005) Solving Bayes networks by weighted model counting. Paper presented at the AAAI-05
go back to reference Tipper SP (1985) The negative priming effect: inhibitory priming with to be ignored objects. Q J Exp Psychol 37A:571–590 Tipper SP (1985) The negative priming effect: inhibitory priming with to be ignored objects. Q J Exp Psychol 37A:571–590
Metadata
Title
Reasoning as simulation
Authors
Nicholas L. Cassimatis
Arthi Murugesan
Perrin G. Bignoli
Publication date
01-11-2009
Publisher
Springer-Verlag
Published in
Cognitive Processing / Issue 4/2009
Print ISSN: 1612-4782
Electronic ISSN: 1612-4790
DOI
https://doi.org/10.1007/s10339-009-0256-0

Other articles of this Issue 4/2009

Cognitive Processing 4/2009 Go to the issue