Intractability and approximation of optimization theories of cognition

Journal of Mathematical Psychology

Volumn 56, Issue 4, 2012, Pages 232-247

  van Rooij, Iris ^a   Wareham, Todd ^b  

^a RADBOUD UNIVERSITY   (Netherlands)

^b MEMORIAL UNIVERSITY OF NEWFOUNDLAND   (Canada)

Author keywords

Approximation; Coherence; Computational complexity; Computational level theory; Constraint satisfaction; Harmony maximization; NP hard; Optimization; Rational explanation

Indexed keywords

EID: 84866122974     PISSN: 00222496     EISSN: 10960880     Source Type: Journal    
DOI: 10.1016/j.jmp.2012.05.002     Document Type: Article

References (57)

1. Abdelbar A., Hedetniemi S. Approximation MAPs for belief networks is NP-hard and other theorems. Artificial Intelligence 1998, 102:21-38.
2. Anderson J. The adaptive character of thought 1990, Lawrence Erlbaum Associates, Hillsdale, NJ.
3. Ausiello G., Crescenzi P., Gambosi G., Kann V., Marchetti-Spaccamela A., Protasi M. Complexity and approximation: combinatorial optimization problems and their approximability properties 1999, Springer, Berlin.
4. Baker C., Saxe R., Tenenbaum J. Action understanding as inverse planning. Cognition 2009, 113:329-349.
5. Blokpoel M., Kwisthout J., van der Weide P.P., van Rooij I. How action understanding can be rational, Bayesian, and tractable. Proceedings of the 32nd annual conference of the cognitive science society 2010, 1643-1648. Cognitive Science Society, Austin, TX.
6. Bruck J., Goodman J. On the power of neural networks. Journal of Complexity 1990, 6:129-135.
7. Bylander T. The computational complexity of propositional STRIPS planning. Artificial Intelligence 1994, 89(1-2):165-204.
8. Chater, N., & Hahn, U. (1997). Representational distortion, similarity, and the universal law of generalization. In Proceedings of the interdisciplinary workshop on similarity and categorization, SimCat97. Department of Artificial Intelligence. University of Edinburgh, Edinburgh (pp. 31-36).
9. Chater N., Oaksford M. Précis of Bayesian rationality: the probabilistic approach to human reasoning. Behavioral and Brain Sciences 2009, 32:69-120.
10. Chater N., Oaksford M. Ten years of the rational analysis of cognition. Trends in Cognitive Sciences 1999, 3:57-65.
11. Chater N., Oaksford M., Nakisa R., Redington M. Fast, frugal and rational: how rational norms explain behavior. Organizational Behavior and Human Decision Processes 2003, 90:63-86.
12. Chater N., Tenenbaum J., Yuille A. Special issue: probabilistic models in cognition. Trends in Cognitive Science 2006, 10(7).
13. Downey R., Fellows M., Stege U. Computational tractability: the view from mars. Bulletin of the EATCS 1999, 69:73-97.
14. Feige U., Langberg M., Nissim K. On the hardness of approximating NP witnesses. Lecture notes in computer science 2000, vol. 1913:120-131. Springer.
15. Fishburne P., LaValle I. Binary interactions and subset choice. European Journal of Operational Research 1996, 92:182-192.
16. Fortnow L. The status of the P versus NP problem. Communications of the ACM 2009, 52(9):78-86.
17. Frixione M. Tractable competence. Minds and Machines 2001, 11:379-397.
18. Garey M., Johnson D. Computers and intractability: a guide to the theory of NP-completeness 1979, W.H. Freeman, San Francisco, CA.
19. Gentner D. Structure-mapping: a theoretical framework for analogy. Cognitive Science 1983, 7:155-170.
20. Gigerenzer G., Hoffrage U., Goldstein D. Fast and frugal heuristics are plausible models of cognition: reply to Dougherty, Franco-Watkins, and Thomas. Psychological Review 2008, 115:1230-1239.
21. Hahn U., Chater N., Richardson L. Similarity as transformation. Cognition 2003, 87:1-32.
22. Hamilton M., Müller M., van Rooij I., Wareham T. Approximating solution structure. Dagstuhl seminar proceedings. Internationales begegnungs- und forschungszentrum fur informatik 2007, Schloss Dagstuhl, Germany. E. Demaine, G. Gutin, D. Marx, U. Stege (Eds.).
23. Imai S. Pattern similarity and cognitive transformations. Acta Psychologica 1977, 41:433-447.
24. Koffka K. Principles of gestalt psychology 1935, Harcourt Brace, New York, NY.
25. Körding K. Decision theory: what should the nervous system do?. Science 2007, 318:606-610.
26. Kruschke J.K. Bridging levels of analysis: comment on McClelland and Griffiths. Trends in Cognitive Sciences 2010, 14(8):344-345.
27. Kumar R., Sivakumar D., et al. Proofs, codes, and polynomial-time reducibilities. Proceedings of the 14th IEEE conference on computational complexity 1999, 46-53. IEEE Press, Los Alamitos, CA.
28. Kwisthout, J., & van Rooij, I. (2012). Bridging the gap between theory and practice of approximate Bayesian inference. In Proceedings of the 11th international conference on cognitive modeling. TU Berlin (pp. 199-204).
29. Kwisthout J., Wareham T., van Rooij I. Bayesian intractability is not an ailment that approximation can cure. Cognitive Science 2011, 35(5):779-784.
30. Levesque H. Logic and the complexity of reasoning. Journal of Philosophical Logic 1988, 17:355-389.
31. Love B. A computational level theory of similarity. Proceedings of the 22nd annual conference of the cognitive science society 2000, 316-321. Lawrence Erlbaum Associates, Hillsdale, NJ.
32. Luce R., Raiffa H. Games and decisions: introduction and critical survey 1956, Wiley, New York, NY.
33. Marr D. Vision: a computational investigation into the human representation and processing visual information 1982, W.H. Freeman, San Francisco, CA.
34. Millgram E. Coherence: the price of the ticket. Journal of Philosophy 2000, 97:82-93.
35. Müller M., van Rooij I., Wareham T. Similarity as tractable transformation. Proceedings of the 31st annual conference of the cognitive science society 2009, 49-55. Cognitive Science Society, Austin, TX.
36. Pothos E., Chater N. Category learning without labels-a simplicity approach. Proceedings of the 23rd annual conference of the cognitive science society 2001, 774-779. Lawrence Erlbaum Associates, Hillsdale, NJ.
37. Pothos E., Chater N. A simplicity principle in unsupervised human categorization. Cognitive Science 2002, 26:303-343.
38. Rosch E. On the internal structure of perceptual and semantic categories. Cognitive development and the acquisition of language 1973, Academic Press, New York, NY. T. Moore (Ed.).
39. Rosch E., Mervis C. Family resemblances: studies in the internal structure of categories. Cognitive Psychology 1975, 7:573-605.
40. Sanborn A.N., Griffiths T.L., Navarro D.J. Rational approximations to rational models: alternative algorithms for category learning. Psychological Review 2010, 117(4):1144-1167.
41. Schoch D. A fuzzy measure of explanatory coherence. Synthese 2000, 122:291-311.
42. Simon H. Models of man: social and rational 1957, John Wiley and Sons Inc., New York.
43. Thagard P. Coherence in thought and action 2000, The MIT Press, Boston, MA.
44. Thagard P., Verbeurgt K. Coherence as constraint satisfaction. Cognitive Science 1998, 22(1):1-24.
45. Trommershäuser J., Maloney L., Landy M. The expected utility of movement. Neuroeconomics: decision making and the brain 2009, 95-111. Elsevier Inc., Amsterdam. P. Glimcher, C. Camerer, R. Poldrack, E. Fehr (Eds.).
46. Tsotsos J. Analyzing vision at the complexity level. Behavioral and Brain Sciences 1990, 13:423-469.
47. van der Helm P. Dynamics of gestalt psychology (invited review of perceptual dynamics: theoretical foundations and philosophical implications of gestalt psychology by F. Sundqvist). Philosophical Psychology 2006, 19(1):274-279.
48. van der Helm P. Transparallel processing by hyperstrings. Proceedings of the national academy of sciences USA 2004, 101(30):10862-10867.
49. van der Helm P., Leeuwenberg E. Goodness of visual regularities: a nontransformational approach. Psychological Review 1996, 103:429-456.
50. van Rooij I. The tractable cognition thesis. Cognitive Science 2008, 32:939-984.
51. van Rooij, I. (2003). Tractable cognition: complexity theory in cognitive psychology. Ph.D. Thesis. Department of Psychology. University of Victoria.
52. van Rooij I., Evans P., Müller M., Gedge J., Wareham T. Identifying sources of intractability in cognitive models: an illustration using analogical structure mapping. Proceedings of the 30th annual conference of the cognitive science society. 2008, 915-920. Cognitive Science Society, Austin, TX.
53. van Rooij I., Stege U., Kadlec H. Sources of complexity in subset choice. Journal of Mathematical Psychology 2005, 49(2):160-187.
54. van Rooij I., Wareham T. Parameterized complexity in cognitive modeling: foundations, applications and opportunities. Computer Journal 2008, 51(3):385-404.
55. van Rooij, I., Wright, C.D., & Wareham, T. Intractability and the use of heuristics in psychological explanation. Synthese, in press (). http://dx.doi.org/10.1007/s11229-010-9847-7.
56. Veale T., Keane M. The competence of sub-optimal theories of structure mapping on hard analogies. Proceedings of the 15th international joint conference on artificial intelligence, IJCAI'97. Vol. 1 1997, 232-237. Morgan Kaufmann.
57. Verbeurgt, K. (1998). Approximation of some AI problems. Ph.D. Thesis. Department of Computer Science. University of Waterloo.