When cognitive neuropsychologists make inferences about the functional architecture of the normal mind from selective cognitive impairments they generally assume that the effects of brain damage are local, that is, that the nondamaged components of the architecture continue to function as they did before the damage. This assumption follows from the view that the components of the functional architecture are modular, in the sense of being informationally encapsulated. In this target article it is argued that this “locality” assumption is (...) probably not correct in general. Inferences about the functional architecture can nevertheless be made from neuropsychological data with an alternative set of assumptions, according to which human information processing is graded, distributed, and interactive. These claims are supported by three examples of neuropsychological dissociations and a comparison of the inferences obtained from these impairments with and without the locality assumption. The three dissociations are: selective impairments in knowledge of living things, disengagment of visual attention, and overt face recognition. In all three cases, the neuropsychological phenomena lead to more plausible inferences about the normal functional architecture when the locality assumption is abandoned. Also discussed are the relations between the locality assumption in neuropsychology and broader issues, including Fodor's modularity hypothesis and the choice between top-down and bottom-up research approaches. (shrink)

When cognitive neuropsychologists make inferences about the functional architecture of the normal mind from selective cognitive impairments they generally assume that the effects of brain damage are local, that is, that the nondamaged components of the architecture continue to function as they did before the damage. This assumption follows from the view that the components of the functional architecture are modular, in the sense of being informationally encapsulated. In this target article it is argued that this “locality” assumption is (...) probably not correct in general. Inferences about the functional architecture can nevertheless be made from neuropsychological data with an alternative set of assumptions, according to which human information processing is graded, distributed, and interactive. These claims are supported by three examples of neuropsychological dissociations and a comparison of the inferences obtained from these impairments with and without the locality assumption. The three dissociations are: selective impairments in knowledge of living things, disengagment of visual attention, and overt face recognition. In all three cases, the neuropsychological phenomena lead to more plausible inferences about the normal functional architecture when the locality assumption is abandoned. Also discussed are the relations between the locality assumption in neuropsychology and broader issues, including Fodor's modularity hypothesis and the choice between top-down and bottom-up research approaches. (shrink)

Probabilistic Relational Models (PRMs) are a framework for compactly representing uncertainties (actually probabilities). They result from the combination of Bayesian Networks (BNs), Object-Oriented languages, and relational models. They are specifically designed for their efficient construction, maintenance and exploitation for very large scale problems, where BNs are known to perform poorly. Actually, in large-scale problems, it is often the case that BNs result from the combination of patterns (small BN fragments) repeated many times. PRMs exploit this feature by defining these patterns (...) only once (the so-called PRM’s classes) and using them through multiple instances, as prescribed by the Object-Oriented paradigm. This design induces low construction and maintenance costs. In addition, by exploiting the classes’ structures, PRM’s state-of-the-art inference algorithm “Structured Variable Elimination” (SVE) significantly outperforms BN’s classical inference algorithms (e.g., Variable Elimination, VE; Local Conditioning, LC). SVE is actually an extension of VE that simply exploits classes to avoid redundant computations. In this article, we show that SVE can be enhanced using LC. Although LC is often thought as being outperformed by VE-like algorithms in BNs, we do think that it should play an important role for PRMs because its features are very well suited for best exploiting PRM classes. In this article, relying on Faÿ and Jaffray’s works, we show how LC can be used in conjunction with VE and deduce an extension of SVE that outperforms it for large-scale problems. Numerical experiments highlight the practical efficiency of our algorithm. (shrink)

Life is preserved and enhanced by coordinated selectivity in local neural circuits. Narrow receptive-field selectivity is necessary to avoid the curse-of-dimensionality, but local activities can be made coherent and relevant by guiding learning and processing using broad coordinating contextual gain-controlling interactions. Better understanding of the functions and mechanisms of those interactions is therefore crucial to the issues Clark examines.

Although Farah makes a convincing case against the tenability of the locality assumption, she does not propose alternative research strategies that do not rest on this assumption. It is proposed here that we may profitably exploit individual differences in neuroanatomy and behavior. In combination with the use of adequate genetic methods, this approach does not need a locality assumption.

We present and contrast two accounts of cooperative communication, both based on Active Inference, a framework that unifies biological and cognitive processes. The mental alignment account, defended in Vasil et al., takes the function of cooperative communication to be the alignment of the interlocutor's mental states, and cooperative communicative behavior to be driven by an evolutionarily selected adaptive prior belief favoring the selection of action policies that promote such an alignment. We argue that the mental alignment account should be (...) rejected because it neglects the action-oriented nature of cooperative communication, which skews its view of the dynamics of communicative interaction. We introduce our own conception of cooperative communication, inspired by a more radical ecological interpretation of the active inference framework. Cooperative communication, on our ecological conception, serves to guide and constrain the dynamics of the cooperative interaction via the construction and restructuring of shared fields of affordances, in order to reach the local goals of the joint actions in which episodes of cooperative communication are embedded. We argue that our ecological conception provides a better theoretical standpoint to account for the action-oriented nature of cooperative communication in the active inference framework. (shrink)

The local justification of beliefs and hypotheses has recently become a major concern for epistemologists and philosophers of induction. As such, the problem of local justification is not entirely new. Most pragmatists had addressed themselves to it, and so did, to some extent, many classical inductivists in the Bacon-Whewell-Mill tradition. In the last few decades, however, the use of logic and semantics, probability calculus, statistical methods, and decision-theoretic concepts in the reconstruction of in ductive inference has revealed (...) some important technical respects in which inductive justification can be local: the choice of a language, with its syntactic and semantic features, the relativity of probabilistic evalua tions to an initial body of evidence or background knowledge and to an agent's utilities and preferences, etc. Some paradoxes and difficulties encountered by purely formal accounts of inductive justification, the erosion of the once dominant empiricist position, which most approaches to induction took for granted, and the increasing challenge of noninduc tivist epistemolgies have underscored the need of accounting for the methodological problems of applying inductive logic to real life contexts, particularly in science. As a result, in the late fifties and sixties, several related developments pointed to a new, local approach to inductive justification. (shrink)

In this paper we will see deductive systems for classical propositional and predicate logic in the calculus of structures. Like sequent systems, they have a cut rule which is admissible. Unlike sequent systems, they drop the restriction that rules only apply to the main connective of a formula: their rules apply anywhere deeply inside a formula. This allows to observe very clearly the symmetry between identity axiom and the cut rule. This symmetry allows to reduce the cut rule to atomic (...) form in a way which is dual to reducing the identity axiom to atomic form. We also reduce weakening and even contraction to atomic form. This leads to inference rules that are local: they do not require the inspection of expressions of arbitrary size. (shrink)

In response to Mandy Simons’ defence of a classical Gricean approach to pragmatic enrichment in terms of conversational implicature, I emphasize the following contrast. Conversational implicatures are generated by a global inference which uses as a premise the fact that the speaker has said that p, but only the triggering inference is global in cases of pragmatic enrichment. What generates the correct interpretation is a process of reconstrual, which locally maps the literal meaning of a constituent to a (...) modulated meaning and composes that meaning with that of the other constituents. That process is constrained by Gricean considerations but that is true of all pragmatic aspects of interpretation, whether pre-propositional or post-propositional. Just as indexical resolution, though pragmatic and constrained by Gricean considerations, does not fit the two-stage model through which Grice accounts for conversational implicatures, so pragmatic modulation can’t be accounted for in terms of that model despite the fact that, like conversational implicatures and unlike indexical resolution, modulation is pragmatically rather than semantically triggered. (shrink)

Local deterministic string-to-string transductions arise in natural language processing (NLP) tasks such as letter-to-sound translation or pronunciation modeling. This class of transductions is a simple generalization of morphisms of free monoids; learning local transductions is essentially the same as inference of certain monoid morphisms. However, learning even a highly restricted class of morphisms, the so-called fine morphisms, leads to intractable problems: deciding whether a hypothesized fine morphism is consistent with observations is an NP-complete problem; and maximizing classification (...) accuracy of the even smaller class of alphabetic substitution morphisms is APX-hard. These theoretical results provide some justification for using the kinds of heuristics that are commonly used for this learning task. (shrink)

Whereas an inference (deductive as well as inductive) is usually viewed as being valid in virtue of its argument form, the present paper argues that scientific reasoning is material inference, i.e., justified in virtue of its content. A material inference is licensed by the empirical content embodied in the concepts contained in the premises and conclusion. Understanding scientific reasoning as material inference has the advantage of combining different aspects of scientific reasoning, such as confirmation, discovery, and (...) explanation. This approach explains why these different aspects (including discovery) can be rational without conforming to formal schemes, and why scientific reasoning is local, i.e., justified only in certain domains and contingent on particular empirical facts. The notion of material inference also fruitfully interacts with accounts of conceptual change and psychological theories of concepts. (shrink)

This study investigates rehabilitation team members’ interactive accomplishments of their domains of work and responsibility in rehabilitation team conferences in Japan. A combination of membership categorization analysis and sequential analysis is adopted to systematically illustrate the situated productions of professional sense-making practices. Analysis focuses on the segment in which a physician asks a series of questions regarding a patient’s functional status and disability coded in the functional assessment record (FAR). A close examination of data shows that a physician does not (...) always choose a respondent with his or her gaze when asking a question because s/he is continuously reading the FAR displayed on a computer screen. Despite this, a physician’s mention of a topic generates a professional’s domain of work and responsibility in a local division of labor which is used by members to assume who the relevant categorial respondent is. Further, members demonstrate these assumptions by shifting their gazes toward the computer screen, back to the document on the desk, and turning toward co-participants, thus embodying professional roles and responsibilities in situ. This study utilizes the analyst’s ethnographic understanding of the routines and division of labor at the rehabilitation ward as a resource to explicate professional sense-making practices, thus utilizing Garfinkel’s ethnomethodological studies of work. Together with sequential and categorial resources offered by Sacks, this study elucidates inferences and normative expectations which rehabilitation team members bring together to reproduce the endogenous logic of rehabilitation culture in actual occasions of the institutional life. (shrink)

Inductive inference and "experimental error"; A population sample model: local inference; Expansion of the model: inference in the large; Expansion of the model: inference in the large; Interpretation of results; Random variables and distributions; Variance and related topics; Problems of sampling in physical situations; Randomization; Restricted randomization and experimental designs; Regression or curve fitting.

Abstract: The Gricean theory of conversational implicature has always been plagued by data suggesting that what would seem to be conversational inferences may occur within the scope of operators like believe , for example; which for bona fide implicatures should be an impossibility. Concentrating my attention on scalar implicatures, I argue that, for the most part, such observations can be accounted for within a Gricean framework, and without resorting to local pragmatic inferences of any kin d. However, there remains (...) a small class of marked cases that cannot be treated as conversational implicatures, and they do require a local mode of pragmatic interpretation. (shrink)

Kleinberg describes a novel procedure for efficient search in a dense hyper-linked environment, such as the world wide web. The procedure exploits information implicit in the links between pages so as to identify patterns of connectivity indicative of “authorative sources”. At a more general level, the trick is to use this second-order link-structure information to rapidly and cheaply identify the knowledge-structures most likely to be relevant given a specific input. I shall argue that Kleinberg’s procedure is suggestive of a new, (...) viable, and neuroscientifically plausible solution to at least the so-called “Frame Problem” in cognitive science viz the problem of explaining global abductive inference. More accurately, I shall argue that Kleinberg’s procedure suggests a new variety of “fast and frugal heuristic” ) capable of pressing maximum utility from the vast bodies of information and associations commanded by the biological brain. The paper thus takes up the challenge laid down by Fodor ). Fodor depicts the problem of global knowledge-based reason as the point source of many paradigmatic failings of contemporary computational theories of mind. These failings, Fodor goes on to argue, cannot be remedied by any simple appeal to alternative modes of encoding and processing. I shall show, however, that connectionist models can provide for one neurologically plausible incarnation of Kleinberg’s procedure. The paper ends by noting that current commercial applications increasingly confront the kinds of challenge initially posed to biological thought and reason. (shrink)

The Gricean theory of conversational implicature has always been plagued by data suggesting that what would seem to be conversational inferences may occur within the scope of operators likebelieve, for example; which for bona fide implicatures should be an impossibility. Concentrating my attention on scalar implicatures, I argue that, for the most part, such observations can be accounted for within a Gricean framework, and without resorting to local pragmatic inferences of any kind. However, there remains a small class of (...) marked cases that cannot be treated as conversational implicatures, and they do require a local mode of pragmatic interpretation. (shrink)

This work addresses the autonomous organization of biological systems. It does so by considering the boundaries of biological systems, from individual cells to Home sapiens, in terms of the presence of Markov blankets under the active inference scheme—a corollary of the free energy principle. A Markov blanket defines the boundaries of a system in a statistical sense. Here we consider how a collective of Markov blankets can self-assemble into a global system that itself has a Markov blanket; thereby providing (...) an illustration of how autonomous systems can be understood as having layers of nested and self-sustaining boundaries. This allows us to show that: (i) any living system is a Markov blanketed system and (ii) the boundaries of such systems need not be co-extensive with the biophysical boundaries of a living organism. In other words, autonomous systems are hierarchically composed of Markov blankets of Markov blankets—all the way down to individual cells, all the way up to you and me, and all the way out to include elements of the local environment. (shrink)

In this commentary, we highlight a difficulty for metric navigation arising from recent data with grid and place cells: the integration of piecemeal representations of space in environments with repeated boundaries. Put simply, it is unclear how place and grid cells might provide a global representation of distance when their fields appear to represent repeated boundaries within an environment. One implication of this is that the capacity for spatial inferences may be limited.

Most current statistical natural language processing models use only local features so as to permit dynamic programming in inference, but this makes them unable to fully account for the long distance structure that is prevalent in language use. We show how to solve this dilemma with Gibbs sam- pling, a simple Monte Carlo method used to perform approximate inference in factored probabilistic models. By using simulated annealing in place of Viterbi decoding in sequence models such as HMMs, (...) CMMs, and CRFs, it is possible to incorporate non-local structure while preserving tractable inference. We use this technique to augment an existing CRF-based information extraction system with long-distance dependency models, enforcing label consistency and extraction template consistency constraints. This technique results in an error reduction of up to 9% over state-of-the-art systems on two established information extraction tasks. (shrink)

Standard sorites paradoxes can always be put into a simple canonical form, employing the sole inference modus ponens. For example, consider the following paradox. Take a continuum of colours going from red to blue, and let a1,..., am be a sequence of segments of this continuum such that each segment is phenomenologically indistinguishable in colour from its immediate neighbours. Let Fx be the predicate ‘x is red’. Then the untrue conclusion Fam can be inferred from the premises Fa0 and (...) Fan → Fan + 1. (shrink)

Graphical models are a powerful tool for causal model specification. Besides allowing for a hierarchical representation of variable interactions, they do not require any a priori specification of the functional dependence between variables. The construction of such graphs hence often relies on the mere testing of whether or not model variables are marginally or conditionally independent. The identification of causal relationships then solely requires some general assumptions on the relation between stochastic and causal independence, such as the Causal Markov Condition (...) and the Faithfulness Condition (Spirtes et al. 2000; Pearl 2000). However, a procedure would require further assumptions to hold. Namely those the independence tests themselves are based on. In continuous settings, Spirtes et al. (2000) suggest causal inference based on a very restrictive formulation of independence, that is, vanishing partial correlations. Such a measure does, however, limit the applicability of causal inference to linear systems. This constitutes a serious drawback especially for the social sciences where an a priori specification of the functional form proves difficult or at odds with linearity. In short: graphical models theoretically reduce specification uncertainty regarding functional dependence, but their implementation in practice deprives them of this virtue. In this paper we investigate how causal structures in continuous settings can be identified when both functional forms and probability distributions of the variables remain unspecified. We focus on tests exploiting the fact that if X and Y are conditionally independent given a set of variables Z, the two conditional densities f (X|Y, Z) and f (X|Z) must coincide. We start by estimating the conditional densities f(X|Y, Z) and f(X|Z) via nonparametric techniques (kernel methods). We proceed by testing if some metric expressing the distance between these very conditional densities is sufficiently close to zero. Out of several metrics available in the literature to express such distance we choose two, the Euclidean, and the Hellinger distance. We investigate in a Monte Carlo study how different tests involving either measure are able to detect statistical independence, conditioned on a small set of variables. One limitation may result from nonparametric density estimation being subject to the curse of dimensionality. As the number of variables increases, the estimated empirical density converges at a slower rate to its population value. To compensate this drawback we use a local bootstrap procedure which consists of resampling the data for each test. While local bootstrap strongly increases the computational time of the test, it succeeds in counterbalancing the curse of dimensionality. (shrink)

Bell's theorem is expounded as an analysis in Bayesian inference. Assuming the result of a spin measurement on a particle is governed by a causal variable internal (hidden, “local”) to the particle, one learns about it by making a spin measurement; thence about the internal variable of a second particle correlated with the first; and from there predicts the probabilistic result of spin measurements on the second particle. Such predictions are violated by experiment: locality/causality fails. The statistical nature (...) of the observations rules out signalling; acausal, superluminal, or otherwise. Quantum mechanics is irrelevant to this reasoning, although its correct predictions of experiment imply that it has a nonlocal/acausal interpretation. Cramer's newtransactional interpretation, which incorporates this feature by adapting the Wheeler-Feynman idea of advanced and retarded processes to the quantum laws, is advocated. It leads to an invaluable way of envisaging quantum processes. The usual paradoxes melt before this, and one, the “delayed choice” experiment, is chosen for detailed inspection. Nonlocality implies practical difficulties in influencing hidden variables, which provides a very plausible explanation for why they have not yet been found; from this standpoint, Bell's theoremreinforces arguments in favor of hidden variables. (shrink)

We present an axiomatic approach for a class of finite, extensive form games of perfect information that makes use of notions like “rationality at a node” and “knowledge at a node.” We distinguish between the game theorist's and the players' own “theory of the game.” The latter is a theory that is sufficient for each player to infer a certain sequence of moves, whereas the former is intended as a justification of such a sequence of moves. While in general the (...) game theorist's theory of the game is not and need not be axiomatized, the players' theory must be an axiomatic one, since we model players as analogous to automatic theorem provers that play the game by inferring (or computing) a sequence of moves. We provide the players with an axiomatic theory sufficient to infer a solution for the game (in our case, the backwards induction equilibrium), and prove its consistency. We then inquire what happens when the theory of the game is augmented with information that a move outside the inferred solution has occurred. We show that a theory that is sufficient for the players to infer a solution and still remains consistent in the face of deviations must be modular. By this we mean that players have distributed knowledge of it. Finally, we show that whenever the theory of the game is group-knowledge (or common knowledge) among the players (i.e., it is the same at each node), a deviation from the solution gives rise to inconsistencies and therefore forces a revision of the theory at later nodes. On the contrary, whenever a theory of the game is modular, a deviation from equilibrium play does not induce a revision of the theory. (shrink)

Unification in description logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. The inexpressive description logic EL is of particular interest in this context since, on the one hand, several large biomedical ontologies are defined using EL. On the other hand, unification in EL has been shown to be NP-complete and, thus, of considerably lower complexity than unification in other description logics of similarly restricted expressive power. However, EL (...) allows the use of the top concept, which represents the whole interpretation domain, whereas the large medical ontology SNOMED CT makes no use of this feature. Surprisingly, removing the top concept from EL makes the unification problem considerably harder. More precisely, we will show that unification in EL without the top concept is PSPACE-complete. In addition to the decision problem, we also consider the problem of actually computing EL−⊤-unifiers. (shrink)

The theme of the 10th Annual Research Ethics Conference organized by the Uganda National Council for Science and Technology (2018) was “Evolution of Research Ethics in Uganda and the Region: Past, Present and Future”. We were asked to address the topic: “The History of CIOMS and the recent changes in the international ethics guidelines: implications for local research”. The thrust of the conference was to track progress in ensuring ethical conduct of research, highlight challenges encountered, and to propose strategies (...) for effective and meaningful implementation of international ethical guidelines in local contexts. Consequently, the purpose of this paper is to comment on the implications of the history of CIOMS ethical guidelines and suggest strategies for their effective and meaningful implementation in the East African region, and perhaps the whole of Sub‐Saharan Africa. Inferring from the ‘evolutionary’, ‘flexible’, and ‘general’ nature of the CIOMS guidelines, we proposed a six‐point strategy for ensuring their effective and meaningful implementation in local contexts. This strategy is in the form of obligations for local research regulators and researchers, the fulfillment of which will go a long way towards their smooth and meaningful implementation in local contexts. These obligations are: ensuring evidence‐based adaptation of each individual guideline; ensuring sufficiently judicious and motivated RECs membership; acting proactively to ensure harmony between bioethics and local legal regimes; cultivating a ‘bioethics culture’ among the public; moving towards regional bioethics governance; and playing an active and meaningful role in future revisions of these guidelines. (shrink)

In this article I intend to show that the inference problem, one of the main objections raised against the anti-Humean theory of natural laws defended by Dretske, Tooley and Armstrong (?DTA theory? for short), can be successfully answered. First, I argue that a proper solution should meet two essential requirements that the proposals made by the DTA theorists do not satisfy. Then I state a solution to the inference problem that assumes a local immanentistic view of universals, (...) a partial definition of the nomic necessitation relation as a relation of existential dependence, and a principle constraining multiple occupancy. I also argue that my solution meets the two requirements. Finally, I deal with non-standard laws such as exclusion laws, causal laws and laws involving spatiotemporal parameters. (shrink)

Novice designers produced a sequence of sketches while inventing a logo for a novel brand of soft drink. The sketches were scored for the presence of specific objects, their local features and global composition. Self‐assessment scores for each sketch and art critics' scores for the end products were collected. It was investigated whether the design evolves in an essentially random fashion or according to an overall heuristic. The results indicated a macrostructure in the evolution of the design, characterized by (...) two stages. For the majority of participants, the first stage is marked by the introduction and modification of novel objects and their local and global aspects; the second stage is characterized by changes in their global composition. The minority that showed the better designs has a different strategy, in which most global changes were made in the beginning. Although participants did not consciously apply these strategies, their self‐assessment scores reflect the stages of the process. (shrink)

The issue of what constitutes a valid logical inference is a difficult question. At a minimum, we believe a permissible step in a proof must provide the reader with rational grounds to believe that the new step is a logically necessary consequence of previous assertions. However, this begs the question of what constitutes these rational grounds. Formalist accounts typically describe valid rules of inferences as those that can be found by applying one of the explicit rules of inference (...) in the formal system in which the proof is couched. However, philosophers of mathematics find such a description unhelpful because many inferences in the proofs that mathematicians actually produce cannot be expressed in a formal language, at least not without seriously distorting the semantic content of the inference (e.g., Larvor, 2012). In this chapter, we investigate mathematicians’ perceptions of a particular kind of inference in a particular setting. Specifically, we shed light on what types of graphical inferences mathematicians find permissible in a real analysis proof. Following Larvor (in press), we examine mathematicians’ reactions to metrical graphical inferences (i.e., inferences whose validity depends on the accuracy of the graph that was drawn and whose validity can be changed by minor deformations) and nonmetrical graphical inferences (i.e., inferences whose validity does not depend on a the accuracy of the graph and whose validity is not vulnerable to local deformations). The goal of this chapter is threefold. First, we demonstrate that most mathematicians reject metrical graphical inferences as impermissible in a real analysis proof. Second, we show that many mathematicians regard nonmetrical graphical inferences as permissible in a real analysis proofs. Third, we illustrate how mathematicians collectively disagree on the permissibility of nonmetrical inferences. (shrink)

In this article I intend to show that the inference problem, one of the main objections raised against the anti-Humean theory of natural laws defended by Dretske, Tooley and Armstrong (“DTA theory” for short), can be successfully answered. First, I argue that a proper solution should meet two essential requirements that the proposals made by the DTA theorists do not satisfy. Then I state a solution to the inference problem that assumes a local immanentistic view of universals, (...) a partial definition of the nomic necessitation relation as a relation of existential dependence, and a principle constraining multiple occupancy. I also argue that my solution meets the two requirements. Finally, I deal with non-standard laws such as exclusion laws, causal laws and laws involving spatiotemporal parameters. (shrink)

We provide a computational model of semantic alignment among communicating agents constrained by social and cognitive pressures. We use our model to analyze the effects of social stratification and a local transmission bottleneck on the coordination of meaning in isolated dyads. The analysis suggests that the traditional approach to learning—understood as inferring prescribed meaning from observations—can be viewed as a special case of semantic alignment, manifesting itself in the behaviour of socially imbalanced dyads put under mild pressure of a (...) local transmission bottleneck. Other parametrizations of the model yield different long-term effects, including lack of convergence or convergence on simple meanings only. (shrink)

O'Brien et al. reported that readers generated elaborative inferences only when a text contained characteristics that made it easy to predict the specific inference that a reader would draw, and virtually eliminated the possibility of the inference being discon-firmed. Garrod et al., however, offered two qualifications to these conclusions. First, the two text characteristics manipulated may have produced different types of elaborative inferencing: a biasing context results in a passive form of elaborative inferencing, involving setting up a context (...) of interpretation, whereas the presence of a demand sentence invites the reader to actively predict a subsequent expression. Secondly, clear evidence for either type of inference will be apparent only with truly anaphoric materials. This work describes how a passive form of elaborative inferencing, reported by Garrod et al, may be implemented in a connectionist manner. We take the connectionist model proposed by Shastri and Ajjanagadde in order to represent a text in the form of a network. Next we analyze and discuss how an attentional focus could operate with the proposed reasoner system in order to deal with inference control and anaphora resolution, during text understanding. Our own suggestion is that the system proposed by Shastri and Ajjanagadde could be extended by incorporating focus in order to apply it to some open problems related to text processing. However, this extension presents implementational problems due to its local character. Distributed models seem to be in a better position to deal with the shift of the attentional states, given that these systems can learn. Particularly, the model proposed by Sun is close to our aims, and so we will discuss its implications in order to design a cognitive architecture for text comprehension. (shrink)

Wilfrid Sellars’s suggestion that there are valid material inferences entails that validity is not limited to formal inferences. Because material inferences are expressed in ordinary language and deal with both conceptual and empirical matters, an interesting prospect unfolds: valid reasoning is irreducibly plural. However, it is not clear what the validity of inferences composed of non-logical and descriptive vocabulary means. I argue that it is better to speak of the legitimacy rather than the validity of material inferences. A material (...) class='Hi'>inference can be understood as legitimate when one has a pragmatic propriety to infer from an assertion A to an assertion B. Pragmatic propriety designates the social-normative entitlement of inferencing. Because pragmatic proprieties are discipline-specific and local, legitimate reasoning is plural. Nevertheless, the shared general feature of reasoning practices is to preserve and improve the coherence of one’s system of belief. (shrink)

“4E” cognitive science has demonstrated that embodied coupling offers powerful resources for reasoning. Despite a surge of studies, little empirical attention is paid to discussing the precise scope of these resources and their possible complementariness with traditional knowledge-based inference. We use decision-making in Shiatsu practice – a bodywork method that employs hands-on interaction with a client – to showcase how the two types of cognitive resources can mesh and offer alternative paths to a task: “Local” resources such as (...) embodied presence, empathy, attunement, as well as skilled perception-action coupling are not only central for implementing a successful therapeutic intervention. The immediate coupling with a client also offers basic means of deciding about fitting and meaningful interventions. Yet, when comprehensive intervention strategies are at stake, Shiatsu decision making must be complemented through “non-local” resources, notably inferences rooted in anatomy/physiology knowledge, categories, heuristics, and mental models. To draw out implications for “4E” cognitive science, we argue that “local” embodied coupling and “non-local” conceptual inferences can functionally complement, inform, and scaffold each other in a dialectic process. (shrink)

In this article I intend to show that the inference problem, one of the main objections raised against the anti-Humean theory of natural laws defended by Dretske, Tooley and Armstrong ("DTA theory" for short), can be successfully answered. First, I argue that a proper solution should meet two essential requirements that the proposals made by the DTA theorists do not satisfy. Then I state a solution to the inference problem that assumes a local immanentistic view of universals, (...) a partial definition of the nomic necessitation relation as a relation of existential dependence, and a principle constraining multiple occupancy. I also argue that my solution meets the two requirements. Finally, I deal with non-standard laws such as exclusion laws, causal laws and laws involving spatiotemporal parameters. (shrink)

This study investigates a new experimental paradigm called the Modified Traveling Salesman Problem. This task requires subjects to visit once and only once n invisible targets in a 2D display, using a virtual vehicle controlled by the subject. Subjects can only see the directions of the targets from the current location of the vehicle, displayed by a set of oriented segments that can be viewed inside a circular window surrounding the vehicle. Two conditions were compared. In the “allocentric” condition, subjects (...) see the vehicle move across the screen and change orientation under their command. The “egocentric” condition is similar except for how the information is provided: the position and orientation of the vehicle icon remains fixed at the center of the screen and only target directions, as indicated by the oriented segments, change as the subject “moves” the vehicle. The unexpected finding was that this task can be performed, in either condition, for up to 10 targets. We consider two possible strategies that might be used, a location-based strategy and a segment strategy. The location-based strategy relies on spatial memory and attempts to infer the locations of all the targets. The segment strategy is more local and focuses on the directional segments themselves, keeping track of the ones that represent already-visited targets. A number of observations suggest that the segment strategy was used, at least for larger numbers of targets. According to our hypothesis, keeping track of the segments requires one to use indexical reference for associating the segments with their status in the task - given by current status predicates Visited or Not-visited -, perhaps using visual indexes, deictic pointers, or object files. (shrink)

This paper shows that a simple two-stage approach to handle non-local dependencies in Named Entity Recognition (NER) can outperform existing approaches that handle non-local dependencies, while being much more computationally efficient. NER systems typically use sequence models for tractable inference, but this makes them unable to capture the long distance structure present in text. We use a Conbel.

Novice designers produced a sequence of sketches while inventing a logo for a novel brand of soft drink. The sketches were scored for the presence of specific objects, their local features and global composition. Self‐assessment scores for each sketch and art critics' scores for the end products were collected. It was investigated whether the design evolves in an essentially random fashion or according to an overall heuristic. The results indicated a macrostructure in the evolution of the design, characterized by (...) two stages. For the majority of participants, the first stage is marked by the introduction and modification of novel objects and their local and global aspects; the second stage is characterized by changes in their global composition. The minority that showed the better designs has a different strategy, in which most global changes were made in the beginning. Although participants did not consciously apply these strategies, their self‐assessment scores reflect the stages of the process. (shrink)

Novice designers produced a sequence of sketches while inventing a logo for a novel brand of soft drink. The sketches were scored for the presence of specific objects, their local features and global composition. Self‐assessment scores for each sketch and art critics' scores for the end products were collected. It was investigated whether the design evolves in an essentially random fashion or according to an overall heuristic. The results indicated a macrostructure in the evolution of the design, characterized by (...) two stages. For the majority of participants, the first stage is marked by the introduction and modification of novel objects and their local and global aspects; the second stage is characterized by changes in their global composition. The minority that showed the better designs has a different strategy, in which most global changes were made in the beginning. Although participants did not consciously apply these strategies, their self‐assessment scores reflect the stages of the process. (shrink)

This paper addresses the problem of Twitter sentiment analysis through a hybrid approach in which SentiWordNet (SWN)-based feature vector acts as input to the classification model Support Vector Machine. Our main focus is to handle lexical modifier negation during SWN score calculation for the improvement of classification performance. Thus, we present naive and novel shift approach in which negation acts as both sentiment-bearing word and modifier, and then we shift the score of words from SWN based on their contextual semantic, (...) inferred from neighbouring words. Additionally, we augment negation accounting procedure with a few heuristics for handling the cases in which negation presence does not necessarily mean negation. Experimental results show that the contextual-based SWN feature vector obtained through shift polarity approach alone led to an improved Twitter sentiment analysis system that outperforms the traditional reverse polarity approach by 2–6%. We validate the effectiveness of our hybrid approach considering negation on benchmark Twitter corpus from SemEval-2013 Task 2 competition. (shrink)

Do theories of quantum mechanics and quantum gravity require spacetime to be a basic, ground level feature, or can spacetime be seen as an emergent element of these theories? While several commentators have raised serious doubts about the prospects of forgoing the standard spacetime backdrop, it will be argued that a defense of these emergent spacetime interpretations of quantum mechanics and quantum gravity hypotheses can be made, whether as an inference to the best explanation or using another strategy. Furthermore, (...) the idea that space and time can arise from a quite different, non-spatiotemporal level of reality will be shown to have various historical precedents, especially in the seventeenth and eighteenth centuries, a realization that may help dispel some of the mystery associated with these types of hypotheses. (shrink)

This paper deals with the problematic aspect of the reconstruction of binary relations: it includes all the questions raising the possibility or impossibility to determine a structure by gathering given substructures. It is the continuation of three studies: the first made by G. Lopez [9] in 1972 about the determination of a binary relation through the types of isomorphism of its restrictions, the second made by K. B. Reid and C. Thomassen [15] in 1976 about the strongly self-complementary tournaments , (...) the third made by C. Thomassen [16] in 1989 about the cycle space of a tournament. In the second section, we use the notion of class of difference to extend a study made in [16] to binary relations. Then, in the third section, we improve the result of this last study in the case of the tournaments. After noticing that the result of [15] inferred itself naturally from the approach developed in [9], we extend, in the fourth section, the study made in [15] to binary relations. (shrink)

Les théories de la mécanique quantique et de la gravité quantique exigent-elles que l’espace-temps soit un trait fondamental de bas niveau, ou l’espace-temps peut-il être conçu comme un élément émergent de ces théories? Tandis que plusieurs commentateurs ont émis de sérieux doutes sur l’idée de se dispenser de l’arrière-plan d’un espace-temps standard, nous ferons valoir qu’une défense de ces interprétations de l’espace-temps émergeant des hypothèses de la mécanique et de la gravité quantiques peut être conduite soit par inférence à la (...) meilleure explication, soit en mobilisant une autre stratégie. De plus, on montrera que l’idée que l’espace et le temps peuvent émerger d’un niveau du réel tout à fait différent et non spatiotemporel a des précédents historiques variés, en particulier aux xviie et xviiie siècles. Cette prise de conscience peut aider à dissiper une partie du mystère associé à ces types d’hypothèses. (shrink)

In Instrumental Variables (IV) estimation, the effect of an instrument on an endogenous variable may vary across the sample. In this case, IV produces a local average treatment effect (LATE), and if monotonicity does not hold, then no effect of interest is identified. In this paper, I calculate the weighted average of treatment effects that is identified under general first-stage effect heterogeneity, which is generally not the average treatment effect among those affected by the instrument. I then describe a (...) simple set of data-driven approaches to modeling variation in the effect of the instrument. These approaches identify a Super-Local Average Treatment Effect (SLATE) that weights treatment effects by the corresponding instrument effect more heavily than LATE. Even when first-stage heterogeneity is poorly modeled, these approaches considerably reduce the impact of small-sample bias compared to standard IV and unbiased weak-instrument IV methods, and can also make results more robust to violations of monotonicity. In application to a published study with a strong instrument, the preferred approach reduces error by about 19% in small (N ≈ 1, 000) subsamples, and by about 13% in larger (N ≈ 33, 000) subsamples. (shrink)