Skip to main content
Erschienen in: Cognitive Processing 4/2009

01.11.2009 | Research Report

Reasoning as simulation

verfasst von: Nicholas L. Cassimatis, Arthi Murugesan, Perrin G. Bignoli

Erschienen in: Cognitive Processing | Ausgabe 4/2009

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Fußnoten
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.
 
Literatur
Zurück zum Zitat 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
Zurück zum Zitat 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
Zurück zum Zitat 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
Zurück zum Zitat Barsalou LW (1999) Perceptual symbol systems. Behav Brain Sci 22:577–609PubMed Barsalou LW (1999) Perceptual symbol systems. Behav Brain Sci 22:577–609PubMed
Zurück zum Zitat 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
Zurück zum Zitat 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
Zurück zum Zitat 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
Zurück zum Zitat Braine MDS, O’Brien DP (1998) Mental logic. Lawrence Erlbaum Associates, Mahwah Braine MDS, O’Brien DP (1998) Mental logic. Lawrence Erlbaum Associates, Mahwah
Zurück zum Zitat 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
Zurück zum Zitat 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
Zurück zum Zitat Finke RA (1989) Principles of mental imagery. MIT Press, Cambridge Finke RA (1989) Principles of mental imagery. MIT Press, Cambridge
Zurück zum Zitat 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
Zurück zum Zitat 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
Zurück zum Zitat 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
Zurück zum Zitat 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
Zurück zum Zitat Johnson-Laird P (1983) Mental models. Harvard University Press, Cambridge Johnson-Laird P (1983) Mental models. Harvard University Press, Cambridge
Zurück zum Zitat Johnson-Laird PN (2007) How we reason. Oxford University Press, New York Johnson-Laird PN (2007) How we reason. Oxford University Press, New York
Zurück zum Zitat 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
Zurück zum Zitat 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
Zurück zum Zitat 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
Zurück zum Zitat 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
Zurück zum Zitat 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
Zurück zum Zitat 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
Zurück zum Zitat Spivey M (2006) The continuity of mind. Oxford University Press, New YorkCrossRef Spivey M (2006) The continuity of mind. Oxford University Press, New YorkCrossRef
Zurück zum Zitat 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
Metadaten
Titel
Reasoning as simulation
verfasst von
Nicholas L. Cassimatis
Arthi Murugesan
Perrin G. Bignoli
Publikationsdatum
01.11.2009
Verlag
Springer-Verlag
Erschienen in
Cognitive Processing / Ausgabe 4/2009
Print ISSN: 1612-4782
Elektronische ISSN: 1612-4790
DOI
https://doi.org/10.1007/s10339-009-0256-0

Weitere Artikel der Ausgabe 4/2009

Cognitive Processing 4/2009 Zur Ausgabe

Neuer Inhalt