Book contents
- Frontmatter
- Contents
- List of Figures
- List of Tables
- Preface
- Part I Introduction
- Part II Concepts and Techniques
- Part III Reflections and Elaborations
- Part IV Applications
- 10 Coherence as Constraint Satisfaction
- 11 Analogy as Structure Mapping
- 12 Communication as Bayesian Inference
- Appendix A Mathematical Background
- Appendix B List of Computational Problems
- Appendix C Compendium of Complexity Results
- References
- Index
10 - Coherence as Constraint Satisfaction
from Part IV - Applications
Published online by Cambridge University Press: 18 April 2019
Book contents
- Frontmatter
- Contents
- List of Figures
- List of Tables
- Preface
- Part I Introduction
- Part II Concepts and Techniques
- Part III Reflections and Elaborations
- Part IV Applications
- 10 Coherence as Constraint Satisfaction
- 11 Analogy as Structure Mapping
- 12 Communication as Bayesian Inference
- Appendix A Mathematical Background
- Appendix B List of Computational Problems
- Appendix C Compendium of Complexity Results
- References
- Index
Summary
In this chapter, we consider a computational-level theory of coherence as constraint satisfaction. We illustrate the use of classical and parameterized complexity analysis to assess the theory's (in)tractability and identify some of its sources of intractability.
- Type
- Chapter
- Information
- Cognition and IntractabilityA Guide to Classical and Parameterized Complexity Analysis, pp. 217 - 233Publisher: Cambridge University PressPrint publication year: 2019