This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems. Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. Also included is an introduction (...) by one of the volume editors together with a bibliography listing 243 entries. All in all this is a very useful reference book relevant for all researchers and practitioners interested in hierarchical, partial, and over-constrained systems. (shrink)

A group is lying when it makes a statement that it believes to be untrue but wants the addressee(s) to believe. But how can we distinguish statements that the group believes to be untrue from honest group statements based on mistaken beliefs or confusion within the group? I will suggest a narrative constraint for honest group statements, made up of two components. Narrative coherence requires that a new group statement should not conflict with group knowledge on the matter, or (...) beliefs of relevant operative subgroups, unless a coherent rationale is given. Narrative intention looks at the process of gathering new evidence on the area of expertise of the group and requires that the group position behind the statement is formed in good faith. The narrative constraint will help to distinguish group lies from more innocent erroneous statements of group beliefs when there is an internal disagreement within the group, including in cases involving spokespersons. (shrink)

The legacy of the Platonic dialogues may well lie, not in any classical idealist “doctrine of forms,” but in an inquisitive stance towards the puzzle behind any such doctrine—how thought can be about anything at all. This Platonic puzzle may, however, yield a different guise of idealism that is recognizably diagnostic: it aims to dispel our worry about thought’s objectivity as a confusion, engendered by a self-alienation of thought. These themes of diagnosis and idealism resurface in Wittgenstein, who in his (...) treatment of rules calls for an understanding of thought’s normativity from within. This is taken up by Cora Diamond, who urges philosophy to attend to thought’s real needs by exorcizing any desire for agreement with something other than itself. I argue that Wittgenstein and Diamond lead us back to Kant’s idealism, which identifies transcendental realism as the deep-seated prejudice at the root of the puzzle. (shrink)

The article considers two different interpretations of the reason model of precedent pioneered by John Horty. On a plausible interpretation of the reason model, past cases provide reasons to prioritize reasons favouring the same outcome as a past case over reasons favouring the opposing outcome. Here I consider the merits of this approach to the role of precedent in legal reasoning in comparison with a closely related view favoured by some legal theorists, according to which past cases provide reasons for (...) undercutting (or ‘excluding’) reasons favouring the opposing outcome. After embedding both accounts within a general default logic, I note some important differences between the two approaches that emerge as a result of plausible distinctions between rebutting and undercutting defeat in formal models of legal reasoning. These differences stem from the ‘preference independence’ of undercutting defeat. Undercutting reasons succeed in defeating opposing reasons irrespective of their relative strength. As a result, the two accounts differ in their account of the way in which precedents constrain judicial reasoning. I conclude by suggesting that the two approaches can be integrated within a single model, in which the distinction between undercutting and rebutting defeat is used to account for the distinction between strict and persuasive forms of precedential constraint. (shrink)

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 (...) model of letter and word perception and the TRACE model of speech perception, as early attempts to explore this hypothesis, and review the experimental evidence relevant to their assumptions and predictions. We consider how well these models address the computational challenge posed by the problem of perception, and we consider how consistent they are with evidence from behavioral experiments. We examine empirical and theoretical controversies surrounding the idea of interactive processing, including a controversy that swirls around the relationship between interactive computation and optimal Bayesian inference. Some of the implementation details of early versions of interactive activation models caused deviation from optimality and from aspects of human performance data. More recent versions of these models, however, overcome these deficiencies. Among these is a model called the multinomial interactive activation model, which explicitly links interactive activation and Bayesian computations. We also review evidence from neurophysiological and neuroimaging studies supporting the view that interactive processing is a characteristic of the perceptual processing machinery in the brain. In sum, we argue that a computational analysis, as well as behavioral and neuroscience evidence, all support the Interactive Activation hypothesis. The evidence suggests that contemporary versions of models based on the idea of interactive activation continue to provide a basis for efforts to achieve a fuller understanding of the process of perception. (shrink)

What I will be referring to as the normative view in contemporary African discourse on personhood has received substantial treatment and is beginning to exhibit the sort of systematic coherence that I believe Kwasi Wiredu once anticipated.1 Much of this is due to Wiredu's own work, as well as important recent work by Polycarp Ikuenobe, whose most recent articulation and defense of the view appear in this journal.2 My aim is to engage with this way of thinking about what it (...) means to be a person with a view to repairing aspects of it deemed to be most problematic. To this end, I pursue two broad lines of contestation—the one is theoretical, contesting some of the features it takes to be conceptually required for... (shrink)

The Newell Test is an important step in advancing our understanding of cognition. One critical constraint is missing from this test : A cognitive architecture must be self-contained. ACT-R and connectionism fail on this account. I present an alternative proposal, called Distributed Adaptive Control, and expose it to the Newell Test with the goal of achieving a clearer specification of the different constraints and their relationships, as proposed by Anderson & Lebiere.

The standard model of precedential constraint holds that a court is equally free to modify a precedent of its own and a precedent of a superior court—overruling aside, it does not differentiate horizontal and vertical precedents. This paper shows that no model can capture the U.S. doctrine of precedent without making that distinction. A precise model is then developed that does just that. This requires situating precedent cases in a formal representation of a hierarchical legal structure, and adjusting the (...) constraint that a precedent imposes based on the relationship of the precedent court and the instant court. The paper closes with suggestions for further improvements of the model. (shrink)

Many philosophers conceive of freedom as non-interference. Such conceptions unify two core commitments. First, they associate freedom with non-constraint. And second, they take seriously a distinction between the interpersonal and the non-personal. As a result, they focus our attention exclusively on constraints attributable to other people’s choices – that is, on interference. I argue that these commitments manifest two distinct concerns: first, for a wide range of options; and second, for other people’s respect. However, construing freedom as non-interference unifies (...) these concerns in a way that does justice to neither. In particular, it focuses our attention on phenomena that are at best tangential, and at worst hostile, to our interest in respect. If we wish to preserve the distinctive significance of the interpersonal, we would be better served by a conception of freedom that focuses immediately on what I call "the social conditions of respect.". (shrink)

In this article I argue for rule-based, non-monotonic theories of common law judicial reasoning and improve upon one such theory offered by Horty and Bench-Capon. The improvements reveal some of the interconnections between formal theories of judicial reasoning and traditional issues within jurisprudence regarding the notions of the ratio decidendi and obiter dicta. Though I do not purport to resolve the long-standing jurisprudential issues here, it is beneficial for theorists both of legal philosophy and formalizing legal reasoning to see where (...) the two projects interact. (shrink)

Introduction -- Instrumental rationality -- Social order -- Deontic constraint -- Intentional states -- Preference noncognitivism -- A naturalistic perspective -- Transcendental necessity -- Weakness of will -- Normative ethics.

In this paper, I present briefly a view about intrinsic value, one connected to the concepts of ethically required attitudes of favor, disfavor, and preference. If lives can have both welfare value and intrinsic value, how are these values related? I defend the view that the welfare value of a life does not track the intrinsic value of that life. Some philosophers, however, deny that anything can have intrinsic value or absolute value. Some argue that to hold that something is (...) both bad for a person and bad simpliciter leads to an objectionable double counting. Others hold views that would, if true, diminish the practical importance of intrinsic value. Some hold that our relations with others should not be guided by what is intrinsically good or bad, but only by what is good or bad for someone. Others hold that the concepts of love, benefit, and harm are tied exclusively to welfare value or well-being. Still others suggest that the moral principles of beneficence and non-maleficence are tied exclusively to welfare and well-being. I argue that these views are mistaken. In this regard, I attempt to defend the practical importance of intrinsic value. (shrink)

The most prominent Christian theologian and exegete of the third century, Origen was also an influential teacher. In the famed _Thanksgiving Address_, one of his students—traditionally thought to be Gregory Thaumaturgus, later bishop of Cappadocia—delivered an emotionally charged account of his tutelage under Origen in Roman Palestine. Although it is one of the few personal narratives by a Christian author to have survived from the period, the _Address_ is more often cited than read closely. But as David Satran demonstrates, this (...) short work has much to teach us today. At its center stands the question of moral formation, anchored by the image of Origen himself, and Satran’s careful analysis of the text sheds new light on higher education in the early church as well as the intimate relationship between master and disciple. (shrink)

It is often thought that epistemic relations between experience and belief make it possible for our beliefs to be about or "directed towards" the empirical world. I focus on an influential attempt by John McDowell to defend a view along these lines. According to McDowell, unless experiences are the sorts of things that can be our reasons for holding beliefs, our beliefs would not be "answerable" to the facts they purportedly represent, and so would lack all empirical content. I argue (...) that there is no intelligible conception of what it is for beliefs to be answerable to the facts that supports McDowell's claim that our empirical beliefs must be justified by experience. (shrink)

We examined the hypothesis that boredom is likely to occur when opportunity costs are high; that is, when there is a high potential value of engaging in activities other than the researcher-assigne...

We now know of a number of ways of developing real analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimics Dedekind in identifying the reals with cuts in the series of rationals under their natural order. The result is an essentially structuralist conception of the reals. An earlier approach, developed by Hale in his "Reals byion" program differs by placing additional emphasis upon what I here term Frege's (...) class='Hi'>Constraint, that a satisfactory foundation for any branch of mathematics should somehow so explain its basic concepts that their applications are immediate. This paper is concerned with the meaning of and motivation for this constraint. Structuralism has to represent the application of a mathematical theory as always posterior to the understanding of it, turning upon the appreciation of structural affinities between the structure it concerns and a domain to which it is to be applied. There is, therefore, a case that Frege's Constraint has bite whenever there is a standing body of informal mathematical knowledge grounded in direct reflection upon sample, or schematic, applications of the concepts of the theory in question. It is argued that this condition is satisfied by simple arithmetic and geometry, but that in view of the gap between its basic concepts (of continuity and of the nature of the distinctions among the individual reals) and their empirical applications, it is doubtful that Frege's Constraint should be imposed on a neo-Fregean construction of analysis. (shrink)

This paper applies ideas and tools from social choice theory (such as Arrow's theorem and related results) to linguistics. Specifically, the paper investigates the problem of constraint aggregation in optimality theory from a social-choice-theoretic perspective.

David Albert and Barry Loewer have argued that the temporal asymmetry of our concept of causal influence or control is grounded in the statistical mechanical assumption of a low-entropy past. In this paper I critically examine Albert's and Loewer 's accounts.

In this study, an accurate convergence time of the supertwisting algorithm is proposed to build up a framework for nonaffine nonlinear systems’ finite-time control. The convergence time of the STA is provided by calculating the solution of a differential equation instead of constructing Lyapunov function. Therefore, precise convergence time is presented instead of estimation of the upper bound of the algorithm’s reaching time. Regardless of affine or nonaffine nonlinear systems, supertwisting control provides a general solution based on virtual control law (...) skill ensuring the output of the systems converges to the origin point at exact time. Benchmark tests are simulated to demonstrate the effectiveness and efficiency of the algorithm. (shrink)

Architectural design is typically limited by the constraints imposed by physical space. If and when opportunities to attenuate or extinguish these limits arise, should they be seized? Here it is argued that the limiting influence of spatial embedding should not be regarded as a frustrating tyranny to be escaped wherever possible, but as a welcome enabling constraint to be leveraged. Examples from the natural world are presented, and an appeal is made to some recent results on complex systems and (...) measures of interaction complexity. (shrink)