Life scientists increasingly rely upon abstraction-based modeling and reasoning strategies for understanding biological phenomena. We introduce the notion of constraint-based reasoning as a fruitful tool for conceptualizing some of these developments. One important role of mathematical abstractions is to impose formal constraints on a search space for possible hypotheses and thereby guide the search for plausible causal models. Formal constraints are, however, not only tools for biological explanations but can be explanatory by virtue of clarifying general (...) dependency-relations and patterning between functions and structures. We describe such situations as constraint-based explanations and argue that these differ from mechanistic strategies in important respects. While mechanistic explanations emphasize change-relating causal features, constraint-based explanations emphasize formal dependencies and generic organizational features that are relatively independent of lower-level changes in causal details. Our distinction between mechanistic and constraint-based explanations is pragmatically motivated by the wish to understand scientific practice. We contend that delineating the affordances and assumptions of different explanatory questions and strategies helps to clarify tensions between diverging scientific practices and the innovative potentials in their combination. Moreover, we show how constraint-based explanation integrates several features shared by otherwise different philosophical accounts of abstract explanatory strategies in biology. (shrink)

We present a rendering of some common grammatical formalisms in terms of evolving algebras. Though our main concern in this paper is on constraint-based formalisms, we also discuss the more basic case of context-free grammars. Our aim throughout is to highlight the use of evolving algebras as a specification tool to obtain grammar formalisms.

Cell biologists, including those seeking molecular mechanistic explanations of cellular phenomena, frequently rely on experimental strategies focused on identifying the cellular context relevant to their investigations. We suggest that such practices can be understood as a guided decomposition strategy, where molecular explanations of phenomena are defined in relation to natural contextual (cell) boundaries. This “top-down” strategy contrasts with “bottom-up” reductionist approaches where well-defined molecular structures and activities are orphaned by their displacement from actual biological functions. We focus on the central (...) role of microscopic imaging in cell biology to uncover possible constraints on the system. We show how identified constraints are used heuristically to limit possible mechanistic explanations to those that are biologically meaningful. Historical examples of this process described here include discovery of the mechanism of oxidative phosphorylation in mitochondria, molecular explanation of the first steps in protein secretion, and identification of molecular motors. We suggest that these instances are examples of a form of downward causation or, more specifically, constraining relations, where higher-level structures and variables delimit and enable lower-level system states. The guided decomposition strategy in our historical cases illustrates the irreducibility of experimentally identified constraints in explaining biological activities of cells. Rather than viewing decomposition and recomposition as separate epistemic activities, we contend that they need to be iteratively integrated to account for the ontological complexity of multi-level systems. (shrink)

Three experiments investigated the processing of the implicature associated with some using a “gumball paradigm.” On each trial, participants saw an image of a gumball machine with an upper chamber with 13 gumballs and an empty lower chamber. Gumballs then dropped to the lower chamber and participants evaluated statements, such as “You got some of the gumballs.” Experiment 1 established that some is less natural for reference to small sets and unpartitioned sets compared to intermediate sets. Partitive some of was (...) less natural than simple some when used with the unpartitioned set. In Experiment 2, including exact number descriptions lowered naturalness ratings for some with small sets but not for intermediate size sets and the unpartitioned set. In Experiment 3, the naturalness ratings from Experiment 2 predicted response times. The results are interpreted as evidence for a Constraint-Based account of scalar implicature processing and against both two-stage, Literal-First models and pragmatic Default models. (shrink)

The statistical community has brought logical rigor and mathematical precision to the problem of using data to make inferences about a model’s parameter values. The TETRAD project, and related work in computer science and statistics, aims to apply those standards to the problem of using data and background knowledge to make inferences about a model’s specification. We begin by drawing the analogy between parameter estimation and model specification search. We then describe how the specification of a structural equation model entails (...) familiar constraints on the covariance matrix for all admissible values of its parameters; we survey results on the equivalence of structural equation models, and we discuss search strategies for model specification. We end by presenting several algorithms that are implemented in the TETRAD II program. (shrink)

L’omission de clitiques sujets préverbaux en frioulan : méthodologie et analyse à base de contraintesEn frioulan, les clitiques sujets en position préverbale sont omis en général quand le verbe est précédé de la particule négative, d’un clitique objet ou d’un pronom réfléchi. Toutefois, les conditions précises de cette omission n’ont pas été analysées jusqu’à présent de manière approfondie. Dans cet article, je propose une analyse dans le cadre de la théorie de l’optimalité fondée sur des données empiriques. L’analyse est basée (...) sur des jugements de grammaticalité de 52 locuteurs représentant les trois principales variétés frioulanes. Les données sont aussi comparées à celles d’un autre corpus, une bible frioulane. L’article conclut que l’omission des clitiques sujets est déterminée par la phonologie et par une stratégie visant à éviter les syncrétismes. (shrink)

This work presents a computational interpretation of the construction process for cyclic linear logic and non-commutative logic sequential proofs. We assume a proof construction paradigm, based on a normalisation procedure known as focussing, which efficiently manages the non-determinism of the construction. Similarly to the commutative case, a new formulation of focussing for NL is used to introduce a general constraint-based technique in order to dealwith partial information during proof construction. In particular, the procedure develops through construction steps propagating (...) constraints in intermediate objects called abstract proofs. (shrink)

According to classical arguments, language learning is both facilitated and constrained by cognitive biases. These biases are reflected in linguistic typology—the distribution of linguistic patterns across the world's languages—and can be probed with artificial grammar experiments on child and adult learners. Beginning with a widely successful approach to typology (Optimality Theory), and adapting techniques from computational approaches to statistical learning, we develop a Bayesian model of cognitive biases and show that it accounts for the detailed pattern of results of artificial (...) grammar experiments on noun-phrase word order (Culbertson, Smolensky, & Legendre, 2012). Our proposal has several novel properties that distinguish it from prior work in the domains of linguistic theory, computational cognitive science, and machine learning. This study illustrates how ideas from these domains can be synthesized into a model of language learning in which biases range in strength from hard (absolute) to soft (statistical), and in which language-specific and domain-general biases combine to account for data from the macro-level scale of typological distribution to the micro-level scale of learning by individuals. (shrink)

The coevolution process enables organizations to adapt to and influence their external environment. Multinational corporations (MNCs) operating in dynamic foreign markets use this capability to achieve operational sustainability. MNCs in China operate in a changing stakeholder environment that features rising consumer activism and local stakeholders' persistent ethical problems and encounter recurrent consumer crises. Coevolving with this environment requires MNCs to react to consumer challenges and actively influence the environment by improving stakeholders’ ethical behavior. Based on the attention-based view (...) and bounded rationality studies, we propose that the tension between _expansion attention_ and _stakeholder attention_ hinders MNCs from coevolving with this environment. Our analysis of MNC-linked consumer crises in China reveals that MNCs can reduce the consumer crisis risk by maintaining continuous attention to improving the ethical behavior of local employees, suppliers, and dealers. In contrast, MNCs' rapid local expansion weakens this stakeholder's attention, expanding MNCs' crisis risk. Our findings reveal an attention-based constraint to MNCs' coevolution and inform approaches to overcoming this constraint. This paper also extends international attention studies by affirming the significance of matching the focus of attention with environmental change for MNCs’ operational sustainability in foreign markets. (shrink)

The failure of development as expressed in the high level of poverty in African states and the consequent emphasis of bilateral and multilateral aid agencies on participatory development and decentralization has brought to the fore the role of Non-governmental organization, of which Faith-based organizations are among the most useful, in the development process in Africa. Not much is known about FBOs and their development activities. This paper explores the various forms and dimensions of FBO engagement with development in Nigeria (...) and their interaction with other development aid actors in Nigeria. Most importantly, it examines their interaction with donors and the Nigerian state. It concludes that FBOs are important but silent actors in development whose success is closely tied to their religious nature and whose activities can be further enhances if the constraints arising out of their religious nature can be reconciled with the logic of the state. (shrink)

In recent years, many philosophers of science have attempted to articulate a theory of non-epistemic emergence that is compatible with mechanistic explanation and incompatible with reductionism. The 2005 account of Fred C. Boogerd et al. has been particularly influential. They argued that a systemic property was emergent if it could not be predicted from the behaviour of less complex systems. Here, I argue that Boogerd et al.'s attempt to ground emergence in complexity guarantees that we will see emergence, but at (...) the cost of rendering it either trivial or epistemic. There are three basic problems. First, neither the measures of complexity explicitly mentioned by Boogerd et al. nor the most popular measures in the literature can do the practical and theoretical work that they assign to complexity. Second, I argue that while the success of their view depends on restricting the base of information available to the reductionist, this cannot be done in a way that is metaphysically neutral with respect to emer.. (shrink)

The study of biomechanics most often takes a classic adaptationist approach, examining the functional abilities of organisms in relation to what is allowed by physical parameters. This approach generally assumes strong selection and is less concerned with evolutionary stochasticity in determining the presence of biological traits. It is equally important, however, to consider the importance of constraint in determining the form of organisms. If selection is relatively weak compared to stochastic events, then the observed forms in living systems can be (...) taken not as those shapes that were strongly selected for, so much as those forms that do not violate physical rules and therefore persist. Using the problem of maximum animal size as a case study for this alternative biomechanical philosophy, I demonstrate one example of how biomechanical approaches can be used to study constraint and consider the concept of absent forms. This alternative mindset and approach produces a complementary system to the traditional form and function approach in biomechanics. The two philosophies can be used in conjunction to better understand biological systems. I focus particularly on the maximum size of flying animals, as they are a heavily constrained class of system that has also been shaped by substantial stochasticity. (shrink)

How linguistic structures evolve so as to become easier to process is addressed by Isbilen and Christiansen for the Now‐or‐Never bottleneck. The authors suggest that this fundamental challenge in language processing is coped with by rapid compression of the transient linguistic input into chunks then to be passed on. As linguistic structures that can be chunked more easily tend to stabilize and proliferate, language evolves to fit learners’ cognitive capabilities.

This paper combines domestic and international research results to analyze and study the difference between the attribute features of English phrase speech and noise to enhance the short-time energy, which is used to improve the threshold judgment sensitivity; noise addition to the discrepancy data set is used to enhance the recognition robustness. The backpropagation algorithm is improved to constrain the range of weight variation, avoid oscillation phenomenon, and shorten the training time. In the real English phrase sound recognition system, there (...) are problems such as massive training data and low training efficiency caused by the super large-scale model parameters of the convolutional neural network. To address these problems, the NWBP algorithm is based on the oscillation phenomenon that tends to occur when searching for the minimum error value in the late training period of the network parameters, using the K-MEANS algorithm to obtain the seed nodes that approach the minimal error value, and using the boundary value rule to reduce the range of weight change to reduce the oscillation phenomenon so that the network error converges as soon as possible and improve the training efficiency. Through simulation experiments, the NWBP algorithm improves the degree of fitting and convergence speed in the training of complex convolutional neural networks compared with other algorithms, reduces the redundant computation, and shortens the training time to a certain extent, and the algorithm has the advantage of accelerating the convergence of the network compared with simple networks. The word tree constraint and its efficient storage structure are introduced, which improves the storage efficiency of the word tree constraint and the retrieval efficiency in the English phrase recognition search. (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)

This paper describes one way in which a precise reason model of precedent could be developed, based on the general idea that courts are constrained to reach a decision that is consistent with the assessment of the balance of reasons made in relevant earlier decisions. The account provided here has the additional advantage of showing how this reason model can be reconciled with the traditional idea that precedential constraint involves rules, as long as these rules are taken to be (...) defeasible. The account presented is firmly based on a body of work that has emerged in AI and Law. This work is discussed, and there is a particular discussion of approaches based on theory construction, and how that work relates to the model described in this paper. (shrink)

This article investigates an adaptive neural network control algorithm for marine surface vessels with time-varying output constraints and unknown external disturbances. The nonlinear state-dependent transformation is introduced to eliminate the feasibility conditions of virtual controller. Moreover, the barrier Lyapunov function is used to achieve time-varying output constraints. As an important approximation tool, the NN is employed to approximate uncertain and continuous functions. Subsequently, the disturbance observer is structured to observe time-varying constraints and unknown external disturbances. The novel (...) strategy can guarantee that all signals in the closed-loop system are semiglobally uniformly ultimately bounded. Finally, the simulation results verify the benefit of the proposed method. (shrink)

This paper provides evidence for a contrastive account of explanation that is motivated by pragmatic theories that recognize the contribution that context makes to the interpretation of a prompt for explanation. This study replicates the primary findings of previous work in explanation-based category learning, extending that work by illustrating the critical role of the context in this type of learning. Participants interacted with items from two categories either by describing the items or explaining their category membership. We manipulated the (...) feature overlap between the categories and examined both the explanations generated and acquired knowledge of the categories. Explanations for membership in a given category were influenced by the unprompted contrast category, indicating an important role for contrastive processing in the generation of explanations. The influence of the contrast category was similarly seen in the transfer performance of the participants. (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)

A pioneering look at the fundamental role of logic in optimizationand constraint satisfaction While recent efforts to combine optimization and constraintsatisfaction have received considerable attention, little has beensaid about using logic in optimization as the key to unifying thetwo fields. Logic-Based Methods for Optimization develops for thefirst time a comprehensive conceptual framework for integratingoptimization and constraint satisfaction, then goes a step furtherand shows how extending logical inference to optimization allowsfor more powerful as well as flexible modeling and solutiontechniques. Designed (...) to be easily accessible to industryprofessionals and academics in both operations research andartificial intelligence, the book provides a wealth of examples aswell as elegant techniques and modeling frameworks ready forimplementation. Timely, original, and thought-provoking,Logic-Based Methods for Optimization: * Demonstrates the advantages of combining the techniques inproblem solving * Offers tutorials in constraint satisfaction/constraintprogramming and logical inference * Clearly explains such concepts as relaxation, cutting planes,nonserial dynamic programming, and Bender's decomposition * Reviews the necessary technologies for software developersseeking to combine the two techniques * Features extensive references to important computationalstudies * And much more. (shrink)

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)

This paper provides an analysis of explanatory constraints and their role in scientific explanation. This analysis clarifies main characteristics of explanatory constraints, ways in which they differ from “standard” explanatory factors, and the unique roles they play in scientific explanation. While current philosophical work appreciates two main types of explanatory constraints, this paper suggests a new taxonomy: law-based constraints, mathematical constraints, and causal constraints. This classification helps capture unique features of constraint types, the (...) different roles they play in explanation, and it includes causal constraints, which are often overlooked in this literature. (shrink)

There exist many competing philosophical definitions of joint action and no clear criteria to decide between them; so far the search for definitions has by and large been a semantical enterprise rather than an empirical one. This chapter describes and assesses several constraints that could help converge towards a set of necessary and sufficient conditions for joint action. The tightness constraint favours definitions that fit joint actions in which the links between agents are as relaxed as possible, so as (...) to better pinpoint the conceptual core of jointness. The developmental constraint asks for definitions based on realistic psychological states that could be entertained by agents less cognitively developed than ideal human beings. The motor constraint holds that definitions should refer to psychological mechanisms involved in actual human coordination. These first three constraints are discussed and dismissed, mainly because they manage to establish vague limits at best (for various reasons). I then introduce a fourth one, the efficiency constraint, based on the fact that most of our joint actions are generally successful, and according to which definitions should involve conditions that help justify this success. Finally, the rational and evolutionary versions of the efficiency constraint are examined and defended against objections. (shrink)

This study examines the impact of digital financing on the degree of financing constraints and discusses the mediating effect of investor confidence. The data are based on companies listed on the Shanghai Stock Exchange and the Shenzhen Stock Exchange from 2010 to 2019. To investigate the impact of digital financing on the financing constraints of companies in different situations, the heterogeneity of internal control and equity characteristics of different organizations is analyzed. The results using fixed-effects models show (...) that the change in digital finance has a significant negative impact on the level of corporate financing constraints; investor confidence plays a mediating role between digital finance and financing constraints; and the level of internal control impacts the relationship between the digital finance and the corporate financing constraints. Specifically, for the organizations with better internal control, there is a significant negative relationship between digital finance and corporate financing constraints while for organizations with poor internal control, digital finance has no significant influence on the extent of financing constraints; and digital finance of private organizations is significantly negatively correlated with the extent of financing constraints, while for government organizations, a negative relationship is not evident. (shrink)