Results for 'constraint satisfaction'

1000+ found
Order:
  1.  5
    Constraint Satisfaction, Irredundant Axiomatisability and Continuous Colouring.Marcel Jackson & Belinda Trotta - 2013 - Studia Logica 101 (1):65-94.
    We observe a number of connections between recent developments in the study of constraint satisfaction problems, irredundant axiomatisation and the study of topological quasivarieties. Several restricted forms of a conjecture of Clark, Davey, Jackson and Pitkethly are solved: for example we show that if, for a finite relational structure M, the class of M-colourable structures has no finite axiomatisation in first order logic, then there is no set (even infinite) of first order sentences characterising the continuously M-colourable structures (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  2.  11
    The Complexity of Recursive Constraint Satisfaction Problems.Victor W. Marek & Jeffrey B. Remmel - 2009 - Annals of Pure and Applied Logic 161 (3):447-457.
    We investigate the complexity of finding solutions to infinite recursive constraint satisfaction problems. We show that, in general, the problem of finding a solution to an infinite recursive constraint satisfaction problem is equivalent to the problem of finding an infinite path through a recursive tree. We also identify natural classes of infinite recursive constraint satisfaction problems where the problem of finding a solution to the infinite recursive constraint satisfaction problem is equivalent to (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  3.  17
    Analogical Mapping by Constraint Satisfaction.Keith J. Holyoak & Paul Thagard - 1989 - Cognitive Science 13 (3):295-355.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   120 citations  
  4. ACME (Analogical Mapping by Constraint Satisfaction) as Analogy Model, 134 ARCS Model and, 134 Connectionist Mapping Networks in, 134. [REVIEW]Ambr See - 2005 - In K. Holyoak & B. Morrison (eds.), The Cambridge Handbook of Thinking and Reasoning. Cambridge University Press.
     
    Export citation  
     
    My bibliography  
  5.  14
    Coherence as Constraint Satisfaction.Paul Thagard & Karsten Verbeurgt - 1998 - Cognitive Science 22 (1):1-24.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   32 citations  
  6.  20
    Interactive Activation and Mutual Constraint Satisfaction in Perception and Cognition.James L. McClelland, Daniel Mirman, Donald J. Bolger & Pranav Khaitan - 2014 - Cognitive Science 38 (6):1139-1189.
    In a seminal 1977 article, Rumelhart argued that perception required the simultaneous use of multiple sources of information, allowing perceivers to optimally interpret sensory information at many levels of representation in real time as information arrives. Building on Rumelhart's arguments, we present the Interactive Activation hypothesis—the idea that the mechanism used in perception and comprehension to achieve these feats exploits an interactive activation process implemented through the bidirectional propagation of activation among simple processing units. We then examine the interactive activation (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  7.  17
    Forming Impressions From Stereotypes, Traits, and Behaviors: A Parallel-Constraint-Satisfaction Theory.Ziva Kunda & Paul Thagard - 1996 - Psychological Review 103 (2):284-308.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   21 citations  
  8.  17
    Bidirectional Reasoning in Decision Making by Constraint Satisfaction.Keith J. Holyoak & Dan Simon - 1999 - Journal of Experimental Psychology: General 128 (1):3.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   14 citations  
  9.  3
    What is Adaptive About Adaptive Decision Making? A Parallel Constraint Satisfaction Account.Andreas Glöckner, Benjamin E. Hilbig & Marc Jekel - 2014 - Cognition 133 (3):641-666.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  10.  4
    Cognitive Dissonance Reduction as Constraint Satisfaction.Thomas R. Shultz & Mark R. Lepper - 1996 - Psychological Review 103 (2):219-240.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   10 citations  
  11. Motivation, Decision Making, and Consciousness: From Psychodynamics to Subliminal Priming and Emotional Constraint Satisfaction.Drew Westen, Joel Weinberger & Rebekah Bradley - 2007 - In Philip David Zelazo, Morris Moscovitch & Evan Thompson (eds.), Cambridge Handbook of Consciousness. Cambridge: Cambridge University Press.
  12. Stratified Constraint Satisfaction Networks in Synergetic Multi-Agent Simulations of Language Evolution.Alexander Mehler - 2006 - In A. Loula, R. Gudwin & J. Queiroz (eds.), Artificial Cognition Systems. Idea Group Publishers. pp. 140--174.
     
    Export citation  
     
    My bibliography  
  13.  6
    Exploring the Dynamics of the Appraisal–Emotion Relationship: A Constraint Satisfaction Model of the Appraisal Process.Josef Nerb - 2007 - Cognition and Emotion 21 (7):1382-1413.
  14.  23
    The Emergence of Analogy. Analogical Reasoning as a Constraint Satisfaction Process.Jan Van Dormael - 1990 - Philosophica 46 (2):65-76.
    Direct download  
     
    Export citation  
     
    My bibliography  
  15.  2
    Combining Systematic and Local Search for Approximately Solving Fuzzy Constraint Satisfaction Problems.Yasuhiro Sudo & Masahito Kurihara - 2006 - Transactions of the Japanese Society for Artificial Intelligence 21:20-27.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  16.  16
    Architectures and Ethics for Robots Constraint Satisfaction as a Unitary Design Framework.Alan K. Mackworth - 2011 - In M. Anderson S. Anderson (ed.), Machine Ethics. Cambridge Univ. Press. pp. 30--1.
  17. Modeling Sequential Information Integration with Parallel Constraint Satisfaction.Katja Mehlhorn & Georg Jahn - 2009 - In N. A. Taatgen & H. van Rijn (eds.), Proceedings of the 31st Annual Conference of the Cognitive Science Society. pp. 2469--2474.
     
    Export citation  
     
    My bibliography  
  18.  13
    Branch and Bound Algorithms to Solve Semiring Constraint Satisfaction Problems.Louise Leenen & Aditya Ghose - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), Pricai 2008: Trends in Artificial Intelligence. Springer. pp. 991--997.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  19.  5
    An Achievement-Weighted Constraint Satisfaction Approach to Modeling User Preferences.Takashi Kokawa & Hitoshi Ogawa - 2008 - Transactions of the Japanese Society for Artificial Intelligence 23:226-233.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20.  3
    The Constraint Satisfaction Problem and Universal Algebra.Libor Barto - 2015 - Bulletin of Symbolic Logic 21 (3):319-337.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21.  3
    Nurse Scheduling System Based on Dynamic Weighted Maximal Constraint Satisfaction Problem-Solution Stability Based on the Provisional Constraint-.Hiromitsu Hattori, Atsushi Isomura, Takayuki Ito, Tadachika Ozono & Toramatsu Shintani - 2005 - Transactions of the Japanese Society for Artificial Intelligence 20:25-35.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22.  3
    Coherence: Beyond Constraint Satisfaction.Gareth Gabrys & Alan Lesgold - 1989 - Behavioral and Brain Sciences 12 (3):475.
  23.  1
    Solving Constraint Satisfaction Problems by Memetic Algorithms Using Estimation of Distribution Algorithms.Hisashi Handa - 2004 - Transactions of the Japanese Society for Artificial Intelligence 19:405-412.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24.  1
    Optimization Using Separated Constraint Satisfaction and its Application to the Sewerage System Control Problem.Kokolo Ikeda, Kei Aoki, Akihiro Nagaiwa & Sigenobu Kobayashi - 2004 - Transactions of the Japanese Society for Artificial Intelligence 19:38-46.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25.  1
    Design and Evaluation of the User-Adapted Program Scheduling System Based on Bayesian Network and Constraint Satisfaction.Hirotoshi Iwasaki, Shinichiro Sega, Hironori Hiraishi & Fumio Mizoguchi - 2008 - Transactions of the Japanese Society for Artificial Intelligence 23:268-280.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26.  1
    State Transitions in Constraint Satisfaction Networks.John K. Kruschke - 1989 - Behavioral and Brain Sciences 12 (3):407.
  27. Cooperative Problem Solving Against Adversary: Quantified Distributed Constraint Satisfaction Problem.Satomi Baba, Atsushi Iwasaki, Makoto Yokoo, Marius C. Silaghi, Katsutoshi Hirayama & Toshihiro Matsui - 2011 - Transactions of the Japanese Society for Artificial Intelligence 26:136-146.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. Conditional Inference and Constraint Satisfaction: Reconciling Mental Models and the Probabilistic Approach?Mike Oaksford & Chater & Nick - 2010 - In Mike Oaksford & Nick Chater (eds.), Cognition and Conditionals: Probability and Logic in Human Thinking. Oxford University Press.
     
    Export citation  
     
    My bibliography  
  29. Thagard. P.(1989). Analogical Mapping by Constraint Satisfaction: A Computational Theory.K. Holyoak - 1996 - Cognitive Science 13.
     
    Export citation  
     
    My bibliography  
  30. Logic-Based Methods for Optimization Combining Optimization and Constraint Satisfaction.John Hooker - 2000
    No categories
     
    Export citation  
     
    My bibliography  
  31. A New and Unique Prediction for Cue-Search in a Parallel-Constraint Satisfaction Network Model: The Attraction Search Effect.Marc Jekel, Andreas Glöckner & Arndt Bröder - forthcoming - Psychological Review.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32. Color Scheme Adjustment by Fuzzy Constraint Satisfaction for Three Types of Color Vision Deficiency.Takuto Yanagida, Katsunori Okajima & Hidenori Mimura - 2011 - Transactions of the Japanese Society for Artificial Intelligence 26 (5):518-526.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33.  82
    Self-Organization Takes Time Too.Iris van Rooij - 2012 - Topics in Cognitive Science 4 (1):63-71.
    Four articles in this issue of topiCS (volume 4, issue 1) argue against a computational approach in cognitive science in favor of a dynamical approach. I concur that the computational approach faces some considerable explanatory challenges. Yet the dynamicists’ proposal that cognition is self-organized seems to only go so far in addressing these challenges. Take, for instance, the hypothesis that cognitive behavior emerges when brain and body (re-)configure to satisfy task and environmental constraints. It is known that for certain systems (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  34. Formal Models of Coherence and Legal Epistemology.Amalia Amaya - 2007 - Artificial Intelligence and Law 15 (4):429-447.
    This paper argues that formal models of coherence are useful for constructing a legal epistemology. Two main formal approaches to coherence are examined: coherence-based models of belief revision and the theory of coherence as constraint satisfaction. It is shown that these approaches shed light on central aspects of a coherentist legal epistemology, such as the concept of coherence, the dynamics of coherentist justification in law, and the mechanisms whereby coherence may be built in the course of legal decision-making.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  35.  26
    Variable-Centered Consistency in Model RB.Liang Li, Tian Liu & Ke Xu - 2013 - Minds and Machines 23 (1):95-103.
    Model RB is a model of random constraint satisfaction problems, which exhibits exact satisfiability phase transition and many hard instances, both experimentally and theoretically. Benchmarks based on Model RB have been successfully used by various international algorithm competitions and many research papers. In a previous work, Xu and Li defined two notions called i-constraint assignment tuple and flawed i-constraint assignment tuple to show an exponential resolution complexity of Model RB. These two notions are similar to some (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  36.  27
    Heuristic Evaluation Functions in Artificial Intelligence Search Algorithms.Richard E. Korf - 1995 - Minds and Machines 5 (4):489-498.
    We consider a special case of heuristics, namely numeric heuristic evaluation functions, and their use in artificial intelligence search algorithms. The problems they are applied to fall into three general classes: single-agent path-finding problems, two-player games, and constraint-satisfaction problems. In a single-agent path-finding problem, such as the Fifteen Puzzle or the travelling salesman problem, a single agent searches for a shortest path from an initial state to a goal state. Two-player games, such as chess and checkers, involve an (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  37.  22
    Partially Ordered Connectives and Monadic Monotone Strict Np.Lauri Hella, Merlijn Sevenster & Tero Tulenheimo - 2008 - Journal of Logic, Language and Information 17 (3):323-344.
    Motivated by constraint satisfaction problems, Feder and Vardi (SIAM Journal of Computing, 28, 57–104, 1998) set out to search for fragments of satisfying the dichotomy property: every problem definable in is either in P or else NP-complete. Feder and Vardi considered in this connection two logics, strict NP (or SNP) and monadic, monotone, strict NP without inequalities (or MMSNP). The former consists of formulas of the form , where is a quantifier-free formula in a relational vocabulary; and the (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  38.  26
    Integrating Cognitive (Neuro)Science Using Mechanisms.Marcin Miłkowski - 2016 - Avant: Trends in Interdisciplinary Studies (2):45-67.
    In this paper, an account of theoretical integration in cognitive (neuro)science from the mechanistic perspective is defended. It is argued that mechanistic patterns of integration can be better understood in terms of constraints on representations of mechanisms, not just on the space of possible mechanisms, as previous accounts of integration had it. This way, integration can be analyzed in more detail with the help of constraintsatisfaction account of coherence between scientific representations. In particular, the account has resources to talk of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  39.  6
    The Incoherence of Heuristically Explaining Coherence.Iris van Rooij & Cory Wright - 2006 - In Ron Sun (ed.), Proceedings of the 28th Annual Conference of the Cognitive Science Society. Mahwah, NJ 07430, USA: pp. 2622.
    Advancement in cognitive science depends, in part, on doing some occasional ‘theoretical housekeeping’. We highlight some conceptual confusions lurking in an important attempt at explaining the human capacity for rational or coherent thought: Thagard & Verbeurgt’s computational-level model of humans’ capacity for making reasonable and truth-conducive abductive inferences (1998; Thagard, 2000). Thagard & Verbeurgt’s model assumes that humans make such inferences by computing a coherence function (f_coh), which takes as input representation networks and their pair-wise constraints and gives as output (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  40.  28
    We Can't Have No Satisfaction.Teresa Marques - 2016 - Filosofia Unisinos 17 (3):308-314.
    Many authors agree that there is a dimension of conflict expressed through discourse that eludes purely semantic approaches. How and why do conative attitudes conflict? The latter question is the object of this paper. Conflicts of attitudes are typically modelled on one of two models. The first imposes a Subjective Rationality constraint on conflicting attitudes, and the second depends on the impossibility of Joint Satisfaction. This paper assesses whether either of the two conditions can account for conflicting attitudes. (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  41. Explanatory Coherence (Plus Commentary).Paul Thagard - 1989 - Behavioral and Brain Sciences 12 (3):435-467.
    This target article presents a new computational theory of explanatory coherence that applies to the acceptance and rejection of scientific hypotheses as well as to reasoning in everyday life, The theory consists of seven principles that establish relations of local coherence between a hypothesis and other propositions. A hypothesis coheres with propositions that it explains, or that explain it, or that participate with it in explaining other propositions, or that offer analogous explanations. Propositions are incoherent with each other if they (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   122 citations  
  42.  26
    The Rationality of Different Kinds of Intuitive Decision Processes.Marc Jekel, Andreas Glöckner, Susann Fiedler & Arndt Bröder - 2012 - Synthese 189 (S1):147-160.
    Whereas classic work in judgment and decision making has focused on the deviation of intuition from rationality, more recent research has focused on the performance of intuition in real-world environments. Borrowing from both approaches, we investigate to which extent competing models of intuitive probabilistic decision making overlap with choices according to the axioms of probability theory and how accurate those models can be expected to perform in real-world environments. Specifically, we assessed to which extent heuristics, models implementing weighted additive information (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  43.  33
    Emotional Gestalts: Appraisal, Change, and the Dynamics of Affect.Paul Thagard - unknown
    This article interprets emotional change as a transition in a complex dynamical sys- tem. We argue that the appropriate kind of dynamical system is one that extends recent work on how neural networks can perform parallel constraint satisfaction. Parallel processes that integrate both cognitive and affective constraints can give rise to states that we call emotional gestalts, and transitions can be understood as emotional ges- talt shifts. We describe computational models that simulate such phenomena in ways that show (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography   3 citations  
  44.  26
    Coherence: The Price is Right.Paul Thagard - 2012 - Southern Journal of Philosophy 50 (1):42-49.
    This article is a response to Elijah Millgram's argument that my characterization of coherence as constraint satisfaction is inadequate for philosophical purposes because it provides no guarantee that the most coherent theory available will be true. I argue that the constraint satisfaction account of coherence satisfies the philosophical, computational, and psychological prerequisites for the development of epistemological and ethical theories.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  45.  77
    Time, Action, and Consciousness.Axel Cleeremans - 2006 - Human Movement Science.
    Time plays a central role in consciousness, at different levels and in different aspects of information processing. Subliminal perception experiments demonstrate that stimuli presented too briefly to enter conscious awareness are nevertheless processed to some extent. Implicit learning, implicit memory, and conditioning studies suggest that the extent to which memory traces are available for verbal report and for cognitive control is likewise dependent on the time available for processing during acquisition. Differences in the time available for processing also determine not (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  46.  46
    Model‐Based Reasoning in Distributed Cognitive Systems.Nancy J. Nersessian - 2006 - Philosophy of Science 73 (5):699-709.
    This paper examines the nature of model-based reasoning in the interplay between theory and experiment in the context of biomedical engineering research laboratories, where problem solving involves using physical models. These "model systems" are sites of experimentation where in vitro models are used to screen, control, and simulate specific aspects of in vivo phenomena. As with all models, simulation devices are idealized representations, but they are also systems themselves, possessing engineering constraints. Drawing on research in contemporary cognitive science that construes (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  47.  96
    Information and Computation.Tim Fernando - unknown
    Situations serving as worlds as well as events in linguistic semantics are formulated as strings recording observations over discrete time. This formulation is applied to a linear temporal logic, in line with L. Schubert’s distinction between described and characterized situations. The distinction is developed topologically and computationally, and linked to the opposition between truth-conditional and proof-conditional semantics. For a finitary handle on quantification, strings are associated with situations not only on the basis of observation but also through derivation and (...) satisfaction. The constraints specified lead to an implementation simpler than the derivations given. © 2009 Elsevier Inc. All rights reserved. (shrink)
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  48.  5
    Field Computation in Motor Control.Bruce MacLennan - unknown
    to small scales. Further, it is often useful to describe motor control and sensorimotor coordination in terms of external elds such as force elds and sensory images. We survey the basic concepts of eld computation, including both feed-forward eld operations and eld dynamics resulting from recurrent connections. Adaptive and learning mechanisms are discussed brie y. The application of eld computation to motor control is illustrated by several examples: external force elds associated with spinal neurons, population coding of direction in motor (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  49.  43
    Structural Idealism.Eric Steinhart - 1994 - Idealistic Studies 24 (1):77-105.
    Structural idealism uses formal and computational techniques to describe an idealist ontology composed of God and a set of finite minds. A finite mind is a system of private intentional worlds. An intentional world is a connectionist hierarchy of intentional objects (propositions, concepts, sensible things, sensations). Intentional objects, similar to Leibnizian monads, are computing machines. To escape the egocentric predicament, Leibnizian relations of (in)compossibility exist between finite minds, linking them together into a constraint-satisfaction network, thereby coordinating their private (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  50.  41
    Conditional Ranking Revision.Emil Weydert - 2012 - Journal of Philosophical Logic 41 (1):237-271.
    In the context of a general framework for belief dynamics which interprets revision as doxastic constraint satisfaction, we discuss a proposal for revising quasi-probabilistic belief measures with finite sets of graded conditionals. The belief states are ranking measures with divisible values (generalizing Spohn’s epistemology), and the conditionals are interpreted as ranking constraints. The approach is inspired by the minimal information paradigm and based on the principle-guided canonical construction of a ranking model of the input conditionals. This is achieved (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000