In a situation of peer disagreement, peers are usually assumed to share the same evidence. However they might not share the same evidence for the epistemic system used to process the evidence. This synchronic complication of the peer disagreement debate suggested by Goldman (In Feldman R, Warfield T (eds) (2010) Disagreement. Oxford University Press, Oxford, pp 187–215) is elaborated diachronically by use of a simulation. The Hegselmann–Krause model is extended to multiple epistemic systems and used to investigate the (...) role of consensus and difference splitting in peer disagreement. I find that the very possibility of multiple epistemic systems downgrades the epistemic value of consensus and makes difference splitting a suboptimal strategy. (shrink)

Early attempts at combining multiple inheritance with nonmonotonic reasoning were based on straightforward extensions of tree-structured inheritance systems, and were theoretically unsound. In The Mathcmat~'cs of Inheritance Systcrns, or TMOIS, Touretzky described two problems these systems cannot handle: reasoning in the presence of true but redundant assertions, and coping with ambiguity. TMOIS provided a definition and analysis of a theoretically sound multiple inheritance system, accom-.

In this paper we propose the multiple complex systems approach for assessing domain-general complex problem-solving skills and its processes knowledge acquisition and knowledge application. After defining the construct and the formal frameworks for describing complex problems, we emphasise some of the measurement issues inherent in assessing CPS skills with single tasks. With examples of the MicroDYN test and the MicroFIN test, we show how to adequately score problem-solving skills by using multiple tasks. We discuss implications for problem-solving (...) research and the assessment of CPS skills in general. (shrink)

Hypersequents are finite sets of ordinary sequents. We show that multiple-conclusion sequents and single-conclusion hypersequents represent two different natural methods of switching from a single-conclusion calculus to a multiple-conclusion one. The use of multiple-conclusion sequents corresponds to using a multiplicative disjunction, while the use of single-conclusion hypersequents corresponds to using an additive one. Moreover: each of the two methods is usually based on a different natural semantic idea and accordingly leads to a different class of algebraic structures. (...) In the cases we consider here the use of multiple-conclusion sequents corresponds to focusing the attention on structures in which there is a full symmetry between the sets of designated and antidesignated elements. The use of single-conclusion hypersequents, on the other hand, corresponds to the use of structures in which all elements except one are designated. Not surprisingly, the use of multiple-conclusion hypersequents corresponds to the use of structures which are both symmetrical and with a single nondesignated element. (shrink)

This article reviews recent work aimed at developing a new framework, based on signal detection theory, for understanding the relationship between explicit (e.g., recognition) and implicit (e.g., priming) memory. Within this framework, different assumptions about sources of memorial evidence can be framed. Application to experimental results provides robust evidence for a single-system model in preference to multiple-systems models. This evidence comes from several sources including studies of the effects of amnesia and ageing on explicit and implicit memory. The (...) framework allows a range of concepts in current memory research, such as familiarity, recollection, fluency, and source memory, to be linked to implicit memory. More generally, this work emphasizes the value of modern computational modelling techniques in the study of learning and memory. (shrink)

Attention is strongly influenced by both external stimuli and internal goals. However, this useful dichotomy does not readily capture the ubiquitous and often automatic contribution of past experience stored in memory. We review recent evidence about how multiple memory systems control attention, consider how such interactions are manifested in the brain, and highlight how this framework for ‘memory-guided attention’ might help systematize previous findings and guide future research.

Much of our work with enriched experience and training in animals supports the Quartz & Sejnowski (Q&S) thesis that environmental information can interact with pre-existing neural structures to produce new synapses and neural structure. However, substantial data as well as an evolutionary perspective indicate that multiple information-capture systems exist: some are constructivist, some are selectionist, and some may be tightly constrained.

The idea that there can be only one cognitive system within any single given cognitive organism is an established albeit implicit one within cognitive science and related studies of the mind. The firm foothold of this notion is due largely to the immense corpus of empirical evidence for the correlation of a high level of cognitive sophistication with a centralized nervous system. However, it must be pointed out that these findings are sourced in large part from studies on vertebrates. This (...) paper presents a potential counterexample to the notion that only one cognitive system can be realized within any single genuine cognitive organism. This counterexample is the octopus, an invertebrate with what initially appears to be a paradoxical combination of vertebrate-like cognitive and behavioral capacities and a functionally decentralized nervous system. The extensive relegation of sensorimotor processing and control responsibilities to the peripheral nervous system which controls the arms of the octopus raises principled reasons to believe that the octopus is an organism that may house multiple independent cognitive systems. (shrink)

Biologists often study particular biological systems as models of a phenomenon of interest even if they already know that the phenomenon is produced by diverse mechanisms and hence none of those systems alone can sufficiently represent it. To understand this modeling practice, the present paper provides an account of how multiple model systems can be used to study a phenomenon that is produced by diverse mechanisms. Even if generalizability of results from a single model system is (...) significantly limited, generalizations concerning specific aspects of mechanisms often hold across certain ranges of biological systems, which enables multiple model systems to jointly represent such a phenomenon. Comparing mechanisms that operate in different biological systems as examples of the same phenomenon also facilitates characterization and investigation of individual mechanisms. I also compare my account with two existing accounts of the use of multiple model systems and argue that my account is distinct from and complementary to them. (shrink)

The theory of niche construction adds a second general inheritance system, ecological inheritance, to evolution . Ecological inheritance is the inheritance, via an external environment, of one or more natural selection pressures previously modified by niche-constructing organisms. This addition means descendant organisms inherit genes, and biotically transformed selection pressures in their environments, from their ancestors. The combined inheritance is called niche inheritance. Niche inheritance is used as a basis for classifying the multiple genetic and non-genetic, inheritance systems currently (...) being proposed as possibly significant in evolution . Implications of niche inheritance for the relationship between evolution and development are discussed. (shrink)

We propose a new class of multiple contraction operations — the system of spheres-based multiple contractions — which are a generalization of Grove’s system of spheres-based (singleton) contractions to the case of contractions by (possibly non-singleton) sets of sentences. Furthermore, we show that this new class of functions is a subclass of the class of the partial meet multiple contractions.

A three dimensional hypercube representing all of the 4,096 dyadic computations in a standard bivalent system has been created. It has been constructed from the 16 functions arrayed in a table of functional completeness that can compute a dyadic relationship. Each component of the dyad is an operator as well as a function, such as “implication” being a result, as well as an operation. Every function in the hypercube has been color keyed to enhance the display of emerging patterns. At (...) the minimum, the hypercube is a “multiplication table” of dyadic computations and produces values in a way that shortens the time to do operations that normally would take longer using conventional truth table methods. It also can serve as a theorem prover and creator. With the hypercube comes a deductive system without the need for axioms. The main significance of the 3-D hypercube at this point is that it is the most fundamental way of displaying all dyadic computations in binary space, thus serving as a way of normalizing the rendition of uninterpreted, or raw, binary space. The hypercube is a dimensionless entity, a standard by which in binary spaces can be measured and classified, analogous to a meter stick. (shrink)

In approaching the question of whether groups of people can have cognitive capacities that are fundamentally different than the cognitive capacities of the individuals within the group, we lay out a Multiple, Interactive Levels of Cognitive Systems (MILCS) framework. The goal of MILCS is to explain the kinds of cognitive processes typically studied by cognitive scientists, such as perception, attention, memory, categorization, decision making, problem solving, and judgment. Rather than focusing on high-level constructs such as modules in an (...) information processing flow diagram or internal representations, MILCS focuses on mechanisms that allow systems to engage in flexible, adaptive behavior. Examples of these mechanisms are network structure-process pairs that: combine data from perception with top-down theories, achieve consistency and consensus through information exchange, selectively attend to information globally assessed as relevant, and develop specialized units from originally homogeneous networks through competition among the units. Two such systems are considered in some detail -- lateral inhibition within a network for selecting from a candidate set the option that is most attractive, and a diffusion process for accumulating evidence to reach a generally rapid and accurate decision. These system descriptions are aptly applied at multiple levels, including within and across people. These systems provide accounts that unify cognitive processes across multiple levels, can be expressed in a common vocabulary provided by network science, are inductively powerful yet appropriately constrained, and are applicable to a large number of superficially diverse cognitive systems. Given that people are typically highly motivated to participate in strong groups, cognitively resourceful people will tend to form groups that effectively employ cognitive systems at higher levels than the individuals. The impressive cognitive capacities of individual people do not eliminate the need to talk about group cognition. Instead, smart people generally form smart groups. (shrink)

Thomas Polger and Lawrence Shapiro claim that unlike human-made artifacts cases of multiple realization in naturally occurring systems are uncommon. Drawing on cases from systems biology, I argue t...

Large increases unofficial economies in many transition economies arise from a dynamic interaction with rising income inequality and public sector changes in multiple equilibria system. Returns to unofficial activity are first increasing and then decreasing, implying two distinct stable equilibria, with changes in inequality possibly causing a jump from one to the other. Multiple regressions of data from 18 transition economies find income inequality significantly correlated with the size of the unofficial economy, with the maximum annual rate of (...) inflation also significantly correlated. The latter appears to be the only significant correlate with the increase in the size of the unofficial economy. (shrink)

Irrigation systems are recognized as common pool resources supplying water for agricultural production, but their role in supplying water for other uses is often overlooked. The importance of non-agricultural uses of irrigation water in livelihood strategies has implications for irrigation management and water rights, especially as increasing scarcity challenges existing water allocation mechanisms. This paper examines the multiple uses of water in the Kirindi Oya irrigation system in Sri Lanka, who the users are, and implications for water rights (...) and management policies. There are important residential, gender, and class differences among the water users. People use irrigation system water not only for field crops, but also for fishing, homestead gardens, and livestock. Even within irrigated farming households, men have more control over paddy crops in the main fields, whereas homestead gardens are women's domain. Because the irrigation system provides water for birds and animals, even wildlife and non-resident environmental groups can be considered stakeholders. Current policies emphasize user involvement in both irrigation and domestic water supply. While government agencies have had primary responsibility, institutions such as Farmers' Organizations are being promoted. These have the potential to serve as user platforms for negotiating water allocation among irrigated farmers. However, the user organizations reflect the sectoral responsibility of the government agencies. Their membership and structure do not take into account the multiple uses or users of water. Developing platforms that accommodate different user groups remains a major challenge for improving the overall productivity, as well as equity, of water use. (shrink)

Thus, despite the di culty of higher-order automated theorem proving, which has to deal with problems like the undecidability of higher-order uni - cation (HOU) and the need for primitive substitution, there are proof problems which lie beyond the capabilities of rst-order theorem provers, but instead can be solved easily by an higher-order theorem prover (HOATP) like Leo. This is due to the expressiveness of higher-order Logic and, in the special case of Leo, due to an appropriate handling of (...) the extensionality principles (functional extensionality and extensionality on truth values). (shrink)

Business students appear predisposed to select disciplines consistent with pre-existing worldviews. These disciplines then further reinforce the worldviews which may not always be adaptive. For example, high levels of Social Dominance Orientation is a trait often found in business school students :691–721, 1991). SDO is a competitive and hierarchical worldview and belief-system that ascribes people to higher or lower social rankings. While research suggests that high levels of SDO may be linked to lower levels of empathy, research has not established (...) the potential relationship between another related adaptive trait in the workplace, compassion. Compassion facilitates workplace performance by lowering levels of litigation, easing stress, and facilitating cooperation. Accordingly, the following study aimed to examine the relationship between SDO and compassion while hypothesizing Economic Systems Justification would mediate this relationship. Because of the importance of compassion in the workplace, the prevalence of SDO in the business academic community and the topicality of ESJ, we conducted our study with business school students. Results confirmed all but one hypothesis. (shrink)

The neural basis of human memory is incredibly complex. We argue that the diversity of neural systems underlying various forms of memory suggests that any discussion of enhancing ‘memory’ per se is too broad, thus obfuscating the biopolitical debate about human enhancement. Memory can be differentiated into at least four major systems with largely dissociable neural substrates. We outline each system, and discuss both the practical and the ethical implications of these diverse neural substrates. In practice, distinct neural (...) bases imply the possibility, and likely the necessity, of specific approaches for the safe and effective enhancement of various memory systems. In the debate over the ethical and social implications of enhancement technologies, this fine-grained perspective clarifies—and may partially mitigate—certain common concerns in enhancement debates, including issues related to safety, fairness, coercion, and authenticity. While many researchers certainly appreciate the neurobiological complexity of memory, the political debate tends to revolve around a monolithic one-size-fits-all conception. The overall project—exploring how human enhancement technologies affect society – stands to benefit from a deeper appreciation of memory’s neurobiological diversity. (shrink)

Expert systems have had little impact as computing artifacts. In this paper we argue that the reason for this stems from the underlying assumption of most builders of expert systems that an expert system needs to acquire information and to control the interaction between the human user and itself. We show that this assumption has serious linguistic and usability flaws which diminish the likelihood of producing socially acceptable expert systems. We propose a reversal of this paradigm, for (...) the design of expert systems, by assuming that it is the human user who needs to acquire information and to control the interaction between themselves and the system. (shrink)

A fast consistency prover is a consistent polytime axiomatized theory that has short proofs of the finite consistency statements of any other polytime axiomatized theory. Krajíček and Pudlák have proved that the existence of an optimal propositional proof system is equivalent to the existence of a fast consistency prover. It is an easy observation that NP = coNP implies the existence of a fast consistency prover. The reverse implication is an open question. In this paper we define (...) the notion of an unlikely fast consistency prover and prove that its existence is equivalent to NP = coNP. Next it is proved that fast consistency provers do not exist if one considers RE axiomatized theories rather than theories with an axiom set that is recognizable in polynomial time. (shrink)

Although seeing is commonly experienced as a unitary activity, the scientific description of vision resists such an intuitive account. Both psychologists and neuroscientists are in agreement with the idea that the elaboration of visual information is distributed across several different routes provided with different functions. Importantly, these routes can be mapped onto well-identified anatomical subdivision of the visual system. Crucially, although originally based on the assumption that different visual information are elaborated via different neural channels, such a model is nowadays (...) used as a tool for indicating a common neural basis between action and perception. The present review is aimed at providing a description of how the modular model of visual system has developed from a model where action and perception are considered as segregate to a model where action and perception are considered ass two labels of the same concept. (shrink)

We review the psychological literature on the organization of valence, discussing theoretical perspectives that favor a single dimension of valence, multiple valence dimensions, and positivity and negativity as dynamic and flexible properties of mental experience that are contingent upon context. Turning to the neuroscience literature that spans three levels of analysis, we discuss how positivity and negativity can be represented in the brain. We show that the evidence points toward both separable and overlapping brain systems that support affective (...) processes depending on the level of resolution studied. We move from large-scale brain networks that underlie generalized processing, to functionally specific subcircuits, finally to intraregional neuronal distributions, where the organization and interaction across levels allow for multiple types of valence and mixed evaluations. (shrink)

Approach–avoidance theories describe the major systems that motivate behaviours in reaction to classes of appetitive (rewarding) and aversive (punishing) stimuli. The literature points to two major “avoidance” systems, one related to pure avoidance and escape of aversive stimuli, and a second, to behavioural inhibition induced by the detection of goal conflict (in addition, there is evidence for nonaffective behavioural constraint). A third major system, responsible for approach behaviour, is reactive to appetitive stimuli, and has several subcomponents. A number (...) of combined effects of these systems are outlined. Finally, the hierarchical nature of behavioural control is delineated, including the role played by conscious awareness in behavioural inhibition. (shrink)

We analyze log-data generated by an experiment with Mathtutor, an intelligent tutoring system for fractions. The experiment compares the educational effectiveness of instruction with single and multiple graphical representations. We extract the error-making and hint-seeking behaviors of each student to characterize their learning strategy. Using an expectation-maximization approach, we cluster the students by their strategic profile. We find that a) experimental condition and learning outcome are clearly associated b) experimental condition and learning strategy are not, and c) almost all (...) of the association between experimental condition and learning outcome is found among students implementing just one of the learning strategies we identify. This class of students is characterized by relatively high rates of error as well as a marked reluctance to seek help. They also show the greatest educational gains from instruction with multiple rather than single representations. The behaviors that characterize this group illuminate the mechanism underlying the effectiveness of multiple representations and suggest strategies for tailoring instruction to individual students. Our methodology can be implemented in an on-line tutoring system to dynamically tailor individualized instruction. (shrink)

In this paper, we revisit a host–parasite system with multiple parasite strains and superinfection proposed by Nowak and May :81–89, 1994), and study its global dynamics when we relax the two strict conditions assumed therein. As for system with two parasite strains, we derive that the basic reproduction number $$R_0$$ is the threshold condition for parasite extinction and the invasion reproduction number $$R_i^j\ $$ is the subthreshold condition for coexistence of two parasite strains. As for system with three parasite (...) strains, we are surprised to discover the global stability of parasite-free and coexistence equilibrium, which is distinct from the previous result. Furthermore, for system with n strains, we obtain the global asymptotical stability of the parasite-free equilibrium, conjecture a general result on the global stability of coexistence equilibrium and provide two numerical examples to testify our conjecture. (shrink)

Polger and Shapiro (2016) claim that unlike human-made artifacts cases of multiple realization in naturally occurring systems are uncommon. Drawing on cases from systems biology, I argue that multiple realization in naturally occurring systems is not as uncommon as Polger and Shapiro initially thought. The relevant cases, which I draw from systems biology, involve generalizable design principles called network motifs which recur in different organisms and species and perform specific functions. I show that network (...) motifs with entirely different underlying causal structures can perform the same function of interest. The article also considers the scope problem of multiple realization. (shrink)

To coordinate action, information must be transmitted, processed, and utilized to make decisions. Transmission of information requires the existence of a signaling system in which the signals that are exchanged are coordinated with the appropriate content. Signaling systems in nature range from quorum signaling in bacteria [Schauder and Bassler, Kaiser ], through the dance of the bees [Dyer and Seeley ], birdcalls [Hailman, Ficken, and Ficken, Gyger, Marler and Pickert, Evans, Evans, and Marler, Charrier and Sturdy ], and alarm (...) calls in many species [Seyfarth and Cheney, Green and Maegner,Manser, Seyfarth and Cheney ], up to human language. Information processing includes filtering – that is discarding irrelevant information and passing along what is important – and integration of multiple pieces of information. Integration includes logical inference and voting. Finally, the information must be used to make decisions with consequences for payoffs that drive evolution or learning. (shrink)

Recent years have seen widespread calls to transform food systems to address complex demands such as feeding a growing global population while reducing environmental impacts. But what is a food system and how can we most effectively work to change it? “Food System” can be found describing more limited dietary regimens as well as sector-specific supply chains going back to the 1930s, but its use to describe very large, dynamic, coupled socio-ecological systems gained traction in academic and civil (...) society publications in the 1990s and this use of the term has increased dramatically in recent years. When the influential food system actors from non-governmental organizations, foundations, consultancies, and the UN that this research focuses on talk about food systems, they seem to be talking about the same thing. Yet the interpretive flexibility of the concept obfuscates that people may have very different framings that may be deeply incompatible. Drawing from interviews, participant observation, and document analysis, this paper examines what food systems thinking does in terms of setting the stage for how we enact the food system and efforts to intervene in it. It reveals that rather than leading to more expansive understanding, the unexamined use of the concept food system might actually serve to sharpen divides. (shrink)

An automatic theorem prover for a proof system in the style of dual tableaux for the relational logic associated with modal logic K has been introduced. Although there are many well-known implementations of provers for modal logic, as far as we know, it is the first implementation of a specific relational prover for a standard modal logic. There are two main contributions in this paper. First, the implementation of new rules, called (k1) and (k2), which substitute the classical (...) relational rules for composition and negation of composition in order to guarantee not only that every proof tree is finite but also to decrease the number of applied rules in dual tableaux. Second, the implementation of an order of application of the rules which ensures that the proof tree obtained is unique.As a consequence, we have implemented a decision procedure for modal logic K. Moreover, this work would be the basis for successive extensions of this logic, such as T, B and S4. (shrink)