메뉴 건너뛰기




Volumn 187, Issue 2, 2012, Pages 471-487

Intractability and the use of heuristics in psychological explanations

Author keywords

Algorithm; Approximation; Computational complexity; Computational level theory; Heuristics; Intractability; NP hard; Psychological explanation

Indexed keywords


EID: 84865574534     PISSN: 00397857     EISSN: 15730964     Source Type: Journal    
DOI: 10.1007/s11229-010-9847-7     Document Type: Article
Times cited : (29)

References (41)
  • 4
    • 84865543242 scopus 로고    scopus 로고
    • What is psychological explanation
    • P. Calvo and J. Symons (Eds.), New York: Routledge
    • Bechtel W., Wright C. (2009) What is psychological explanation. In: Calvo P., Symons J. (eds) Routledge companion to the philosophy of psychology. Routledge, New York, pp 113-130.
    • (2009) Routledge Companion to the Philosophy of Psychology , pp. 113-130
    • Bechtel, W.1    Wright, C.2
  • 5
    • 0028498153 scopus 로고
    • The computational complexity of propositional STRIPS planning
    • Bylander T. (1994) The computational complexity of propositional STRIPS planning. Artificial Intelligence 89(1-2): 165-204.
    • (1994) Artificial Intelligence , vol.89 , Issue.1-2 , pp. 165-204
    • Bylander, T.1
  • 6
    • 84921837897 scopus 로고    scopus 로고
    • Simple heuristics meet massive modularity
    • P. Carruthers, S. Laurence, and S. Stich (Eds.), Oxford: Oxford University Press
    • Carruthers P. (2005) Simple heuristics meet massive modularity. In: Carruthers P., Laurence S., Stich S. (eds) The innate mind. Vol. 2: Culture and cognition. Oxford University Press, Oxford, pp 181-198.
    • (2005) The Innate Mind. Vol. 2: Culture and Cognition , pp. 181-198
    • Carruthers, P.1
  • 12
    • 70149110596 scopus 로고    scopus 로고
    • The status of the P versus NP problem
    • Fortnow L. (2009) The status of the P versus NP problem. Communications of the ACM 52(9): 78-86.
    • (2009) Communications of the ACM , vol.52 , Issue.9 , pp. 78-86
    • Fortnow, L.1
  • 13
    • 0002112732 scopus 로고
    • On explanation in the cognitive sciences: Competence, idealization, and the failure of the classical cascade
    • Franks B. (1995) On explanation in the cognitive sciences: Competence, idealization, and the failure of the classical cascade. British Journal of Philosophy of Science 46(4): 475-502.
    • (1995) British Journal of Philosophy of Science , vol.46 , Issue.4 , pp. 475-502
    • Franks, B.1
  • 14
    • 0035418468 scopus 로고    scopus 로고
    • Tractable competence
    • Frixione M. (2001) Tractable competence. Minds and Machines 11: 379-397.
    • (2001) Minds and Machines , vol.11 , pp. 379-397
    • Frixione, M.1
  • 16
    • 48749148075 scopus 로고
    • Structure-mapping: A theoretical framework for analogy
    • Gentner D. (1983) Structure-mapping: A theoretical framework for analogy. Cognitive Science 7: 155-170.
    • (1983) Cognitive Science , vol.7 , pp. 155-170
    • Gentner, D.1
  • 19
    • 0030266119 scopus 로고    scopus 로고
    • Reasoning the fast and frugal way: Models of bounded rationality
    • Gigerenzer G., Goldstein D. G. (1996) Reasoning the fast and frugal way: Models of bounded rationality. Psychological Review 103: 650-669.
    • (1996) Psychological Review , vol.103 , pp. 650-669
    • Gigerenzer, G.1    Goldstein, D.G.2
  • 21
    • 0001061521 scopus 로고
    • Logic and the complexity of reasoning
    • Levesque H. J. (1988) Logic and the complexity of reasoning. Journal of Philosophical Logic 17: 355-389.
    • (1988) Journal of Philosophical Logic , vol.17 , pp. 355-389
    • Levesque, H.J.1
  • 22
    • 0001222854 scopus 로고    scopus 로고
    • Parameterizing above guaranteed values: MaxSat and MaxCut
    • Mahajan M., Raman V. (1999) Parameterizing above guaranteed values: MaxSat and MaxCut. Journal of Algorithms 31: 335-354.
    • (1999) Journal of Algorithms , vol.31 , pp. 335-354
    • Mahajan, M.1    Raman, V.2
  • 25
    • 0017573822 scopus 로고
    • From understanding computation to understanding neural circuitry
    • Marr D., Poggio T. (1977) From understanding computation to understanding neural circuitry. Neuroscience Research Progress Bulletin 15: 470-488.
    • (1977) Neuroscience Research Progress Bulletin , vol.15 , pp. 470-488
    • Marr, D.1    Poggio, T.2
  • 26
    • 0002077494 scopus 로고    scopus 로고
    • Coherence: The price of the ticket
    • Millgram E. (2000) Coherence: The price of the ticket. Journal of Philosophy 97: 82-93.
    • (2000) Journal of Philosophy , vol.97 , pp. 82-93
    • Millgram, E.1
  • 28
    • 77957891067 scopus 로고    scopus 로고
    • The mind as neural software? Understanding functionalism, computationalism, and computational functionalism
    • Piccinini G. (2010) The mind as neural software? Understanding functionalism, computationalism, and computational functionalism. Philosophy and Phenomenological Research 81: 269-311.
    • (2010) Philosophy and Phenomenological Research , vol.81 , pp. 269-311
    • Piccinini, G.1
  • 29
    • 33746365933 scopus 로고    scopus 로고
    • The complexity of cognition: Tractability arguments for massive modularity
    • P. Carruthers, S. Laurence, and S. Stich (Eds.), Oxford: Oxford University Press
    • Samuels R. (2005) The complexity of cognition: Tractability arguments for massive modularity. In: Carruthers P., Laurence S., Stich S. (eds) The innate mind, Vol. 1: Structure and contents. Oxford University Press, Oxford, pp 107-121.
    • (2005) The Innate Mind, Vol. 1: Structure and Contents , pp. 107-121
    • Samuels, R.1
  • 30
    • 84865574083 scopus 로고
    • Complexity cores and hard problem instances
    • In T. Asano, T. Ibaraki, H. Imai, & T. Nishizeki (Eds.), Berlin
    • Schöning, U. (1990). Complexity cores and hard problem instances. In T. Asano, T. Ibaraki, H. Imai, & T. Nishizeki (Eds.), Proceedings of the international symposium on algorithms (SIGAL'90). Berlin, pp. 232-240.
    • (1990) Proceedings of the international symposium on algorithms (SIGAL'90) , pp. 232-240
    • Schöning, U.1
  • 31
    • 34247326013 scopus 로고    scopus 로고
    • Computation and the philosophy of science
    • T. Bynum and J. Moor (Eds.), Oxford: Blackwell
    • Thagard P. (1998) Computation and the philosophy of science. In: Bynum T., Moor J. (eds) The digital phoenix: How computers are changing philosophy. Blackwell, Oxford, pp 48-61.
    • (1998) The Digital Phoenix: How Computers are Changing Philosophy , pp. 48-61
    • Thagard, P.1
  • 33
    • 0009266732 scopus 로고    scopus 로고
    • Abductive reasoning: Logic, visual thinking, and coherence
    • M.-L. D. Chiara, K. Doets, D. Mundici, and J. Benthamvan (Eds.), Dordrecht: Kluwer
    • Thagard P., Shelley C. (1997) Abductive reasoning: Logic, visual thinking, and coherence. In: Chiara M.-L. D., Doets K., Mundici D., van Bentham J. (eds) Logic and scientific methods. Kluwer, Dordrecht, pp 412-427.
    • (1997) Logic and Scientific Methods , pp. 412-427
    • Thagard, P.1    Shelley, C.2
  • 34
    • 0031607015 scopus 로고    scopus 로고
    • Coherence as constraint satisfaction
    • Thagard P., Verbeurgt K. (1998) Coherence as constraint satisfaction. Cognitive Science 22(1): 1-24.
    • (1998) Cognitive Science , vol.22 , Issue.1 , pp. 1-24
    • Thagard, P.1    Verbeurgt, K.2
  • 35
    • 0034488945 scopus 로고    scopus 로고
    • Précis of simple heuristics that make us smart
    • Todd P., Gigerenzer G. (2000) Précis of simple heuristics that make us smart. Behavioral and Brain Sciences 23: 727-780.
    • (2000) Behavioral and Brain Sciences , vol.23 , pp. 727-780
    • Todd, P.1    Gigerenzer, G.2
  • 36
    • 0038341540 scopus 로고
    • Analyzing vision at the complexity level
    • Tsotsos J. K. (1990) Analyzing vision at the complexity level. Behavioral and Brain Sciences 13: 423-469.
    • (1990) Behavioral and Brain Sciences , vol.13 , pp. 423-469
    • Tsotsos, J.K.1
  • 37
    • 84960561455 scopus 로고
    • On computable numbers, with an application to the Entscheidungsproblem
    • Turing A. (1936) On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society 42: 230-265.
    • (1936) Proceedings of the London Mathematical Society , vol.42 , pp. 230-265
    • Turing, A.1
  • 38
    • 49949096946 scopus 로고    scopus 로고
    • The tractable cognition thesis
    • van Rooij I. (2008) The tractable cognition thesis. Cognitive Science 32: 939-984.
    • (2008) Cognitive Science , vol.32 , pp. 939-984
    • van Rooij, I.1
  • 40
    • 84878051606 scopus 로고    scopus 로고
    • P, NP and mathematics-a computational complexity perspective
    • Zurich
    • Wigderson, A. (2007). P, NP and mathematics-a computational complexity perspective. In: Proceedings of ICM 2006, Vol. I. Zurich, pp. 665-712.
    • (2007) Proceedings of ICM 2006 , vol.I , pp. 665-712
    • Wigderson, A.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.