In the educational hypermedia domain, adaptive systems try to adapt educational materials according to the required properties of a user. The adaptability of these systems becomes more effective once the system has the knowledge about how a student can learn better. Studies suggest that, for effective personalization, one of the important features is to know precisely the learning style of a student. However, learning styles are dynamic and may vary domain-wise. To address such aspects of learning styles, we (...) have proposed a computationally efficient solution that considers the dynamic and nondeterministic nature of learning styles, effect of the subject domain, and nonstationary aspect during the learning process. The proposed model is novel, robust, and flexible to optimize students’ domain-wise learning style preferences for better content adaptation. We have developed a web-based experimental prototype for assessment and validation. The proposed model is compared with the existing available learning style-based model, and the experimental results show that personalization based on incorporating discipline-wise learning style variations becomes more effective. (shrink)

In the article we study the existence predicate \(\varepsilon\) in the context of semantics for first-order modal logic. For a formula \(\varphi\) we define \(\varphi^{\varepsilon}\) - the so called existence relativization. We point to a gap in the work of Fitting and Mendelsohn concerning the relationship between the truth of \(\varphi\) and \(\varphi^{\varepsilon}\) in classes of varying- and constant-domain models. We introduce operations on models which allow us to fill the gap and provide a more general perspective on (...) the issue. As a result we obtain a series of theorems describing the logical connection between the notion of truth of a formula with the existence predicate in constant-domain models and the notion of truth of a formula without the existence predicate in varying-domain models. (shrink)

Urn models were developed by Veikko Rantala to provide a non-standard semantics for first-order logic in which the domains, over which the quantifiers range, are allowed to vary. Rantala uses game-theoretical semantics in his presentation, and the present paper is a study of urn models from a more classical, truth-conditional point of view. An axiomatic system for urn logic is set out and completeness is proved by the method of maximal consistent sets.

While genomic and proteomic information describe the overall cellular machinery available to an organism, the metabolic profile of an individual at a given time provides a canvas as to the current physiological state. Concentration levels of relevant metabolites vary under different conditions, in particular, in the presence or absence of different disorders. Metabolite concentrations thus mediate an important link between chemistry and biology, contributing to a systems-wide understanding of biological processes and pathways. However, there are a number of challenges in (...) the ontological representation of such information. Firstly, concentration information is numeric and ranges over continuous values, while ontologies consist of discrete classes. Secondly, ontologies usually model only what is certain, and their logical formalisms are adapted to reasoning from certain axioms to logical deductions, however, the link between chemicals and diseases via concentration levels, like many threshold phenomena, is both uncertain and vague. In this paper we evaluate the representation of this knowledge using a combination of concrete domains and probabilistic reasoning. We parse concentration values from HMDB and create an ontology able to distinguish normal from abnormal concentrations and able to evaluate a probabilistic risk category for the presence of an associated disorder. (shrink)

Mental model ascription – also called mindreading – is the process of inferring the mental states of others, which happens as a matter of course in social interactions. But although ubiquitous, mindreading is presumably a highly variable process: people mindread to different extents and with _different results._ We hypothesize that human mindreading ability relies on a large number of personal and contextual features: the inherent abilities of specific individuals, their current physical and mental states, their knowledge of the (...) class='Hi'>domain of discourse, their familiarity with the interlocutor, the risks associated with an incorrect assessment of intent, and so on. This paper presents a theory of mindreading that models diverse artificial intelligent agents using an inventory of parameters and value sets that represent traits of humans and features of discourse contexts. Examples are drawn from Maryland Virtual Patient, a prototype system that will permit medical trainees to diagnose and treat cognitively modeled virtual patients with the optional assistance of a virtual tutor. Since real patients vary greatly with respect to physiological and cognitive features, so must a society of virtual patients. Modeling such variation is one of the goals of the overall OntoAgent program of research and development. (shrink)

In everyday life, people typically observe fragments of causal networks. From this knowledge, people infer how novel combinations of causes they may never have observed together might behave. I report on 4 experiments that address the question of how people intuitively integrate multiple causes to predict a continuously varying effect. Most theories of causal induction in psychology and statistics assume a bias toward linearity and additivity. In contrast, these experiments show that people are sensitive to cues biasing various integration (...) rules. Causes that refer to intensive quantities (e.g., taste) or to preferences (e.g., liking) bias people toward averaging the causal influences, whereas extensive quantities (e.g., strength of a drug) lead to a tendency to add. However, the knowledge underlying these processes is fallible and unstable. Therefore, people are easily influenced by additional task‐related context factors. These additional factors include the way data are presented, the difficulty of the inference task, and transfer from previous tasks. The results of the experiments provide evidence for causal model and related theories, which postulate that domain‐general representations of causal knowledge are influenced by abstract domain knowledge, data‐driven task factors, and processing difficulty. (shrink)

In many scientific fields, sparseness and indirectness of empirical evidence pose fundamental challenges to theory development. Theories of the evolution of human cognition provide a guiding example, where the targets of study are evolutionary processes that occurred in the ancestors of present-day humans. In many cases, the evidence is both very sparse and very indirect (e.g., archaeological findings regarding anatomical changes that might be related to the evolution of language capabilities); in other cases, the evidence is less sparse but still (...) very indirect (e.g., data on cultural transmission in groups of contemporary humans and non-human primates). From examples of theoretical and empirical work in this domain, we distill five virtuous practices that scientists could aim to satisfy when evidence is sparse or indirect: (i) making assumptions explicit, (ii) making alternative theories explicit, (iii) pursuing computational and formal modelling, (iv) seeking external consistency with theories of related phenomena, and (v) triangulating across different forms and sources of evidence. Thus, rather than inhibiting theory development, sparseness or indirectness of evidence can catalyze it. To the extent that there are continua of sparseness and indirectness that vary across domains and that the principles identified here always apply to some degree, the solutions and advantages proposed here may generalise to other scientific domains. (shrink)

Few aspects of social behavior tell us more about a culture than those practices that involve the roles it assigns to models and copies. Under interpretation, such conduct reveals its attitudes toward authority and antiquity, its sense of identity and regard for security, and the relative importance that it attached to imitation and invention. To varying degrees, all societies display these concerns, but in none were they so firmly grounded in a considered theory of the relation between prototype and (...) derivative as they were in Byzantium. An example from the domain of law will illustrate, though not explain, this cultural difference. As against the Roman tradition in which the use of copies as evidence in court was prohibited, at least from the tenth century on Byzantine tribunals accepted the legitimacy of certified copies of documents. The very word used for an official copy—ison, meaning equal— suggests the conceptual distinction between it and the terms copie, Kopie, kopiya, and so on, in modern languages, all derived from the Latin word for abundance. (shrink)

This article delineates two dimensions along which computational models of face processing may vary, and briefly review three such models, the Dailey and Cottrell model; the O'Reilly and Munakata model; and the Riesenhuber and Poggio. It focuses primarily on one of the models and shows how this model is used to reveal potential mechanisms underlying the neural processing of faces and objects—the development of a specialized face processor, how it could be recruited for other domains, hemispheric lateralization (...) of face processing, facial expression processing, and the development of face discrimination. It turns to the Riesenhuber and Poggio model to describe the elegant way it has been used to predict functional magnetic resonance imaging data on face processing. The overall strategy of these modeling efforts is to sample problems that are constrained by neurophysiological and behavioral data, and to stress the ways in which models can generate novel hypotheses about the way humans process faces. (shrink)

Downes, Gerrans, and Sutton all raise important issues for the account of human social learning and cooperation developed in The Evolved Apprentice. Downes suggests that I have bought too uncritically into the view that hunting was economically critical to forager life; I remain unpersuaded, while conceding something to the alternative view that hunting was signaling. Downes also suggests that I consider extending the evolved apprentice model to contemporary issues in social epistemology; I wonder whether that might make the (...) class='Hi'>model so general that it loses explanatory force. Gerrans probes the model on the relationship between social learning and imitation; I respond by arguing that imitation became important relatively late in the human social learning career, probably via learning to communicate via gesture. Sutton wonders whether the model of social learning developed is too intellectualist and individualist; I respond by emphasizing the varied task demands in different domains, and the change over time of the different elements involved in social learning. (shrink)

This paper presents the intelligent virtual animals that inhabit Omosa, a virtual learning environment to help secondary school students learn how to conduct scientific inquiry and gain concepts from biology. Omosa supports multiple agents, including animals, plants, and human hunters, which live in groups of varying sizes and in a predator-prey relationship with other agent types (species). In this paper we present our generic agent architecture and the algorithms that drive all animals. We concentrate on two of our animals (...) to present how different parameter values affect their movements and inter/intra-group interactions. Two evaluations studies are included: one to demonstrate the effect of different components of our architecture; another to provide domain expert validation of the animal behavior. (shrink)

Working speed as a latent variable reflects a respondent’s efficiency to apply a specific skill, or a piece of knowledge to solve a problem. In this study, the common assumption of many response time models is relaxed in which respondents work with a constant speed across all test items. It is more likely that respondents work with different speed levels across items, in specific when these items measure different dimensions of ability in a multidimensional test. Multiple speed factors are used (...) to model the speed process by allowing speed to vary across different domains of ability. A joint model for multidimensional abilities and multifactor speed is proposed. Real response time data are analyzed with an exploratory factor analysis as an example to uncover the complex structure of working speed. The feasibility of the proposed model is examined using simulation data. An empirical example with responses and response times is presented to illustrate the proposed model’s applicability and rationality. (shrink)

Globally, parents and children in same-sex parent families are impacted by many laws related to the parental sexual orientation. These laws vary considerably from one country to another, ranging from full legal recognition to criminalization. The psychological consequences of living in an ambiguous or hostile legal climate likely interfere with parental health, family functioning, and child development. However, a systematic evidence synthesis of the pertinent literature and its placement within a broader psychological model are currently lacking. The aims of (...) this review were thus (1) to systematically review qualitative and quantitative evidence on the impact of sexual orientation laws on same-sex parent families in key domains and (2) to place these findings within a broader model informed by minority stress and family theories. Our review was preregistered and conducted in line with PRISMA guidelines. We searched for qualitative, quantitative, and mixed methods studies on the impact of sexual orientation laws on target outcomes (parental health, family functioning, child outcomes) via systematic database search (PubMed, Scopus, Web of Science) and forward-backward searches. Fifty-five studies published between 1999 and 2020 were eligible for inclusion and were synthesized using a data-based convergent synthesis design. Thirteen descriptive and three overarching analytical themes were identified through thematic synthesis. Linking our findings with minority stress and family theories, we propose a novel legal vulnerability model for same-sex parent families. The model posits that legal vulnerability constitutes an increased risk for parental and child health as well as family functioning through individual and shared pathways between family members. Additionally, the model introduces counteractions that families engage in on the personal, familial, and systemic level to mitigate the impact of legal vulnerability, as well as moderators on the contextual, familial, couple, and individual level that modulate this impact. Implications for research and clinical practice are discussed. (shrink)

Modern science’s ability to produce, store, and analyze big datasets is changing the way that scientific research is practiced. Philosophers have only begun to comprehend the changed nature of scientific reasoning in this age of “big data.” We analyze data-focused practices in biology and climate modeling, identifying distinct species of data-centric science: phenomena-laden in biology and phenomena-agnostic in climate modeling, each better suited for its own domain of application, though each entail trade-offs. We argue that data-centric practices in science (...) are not monolithic because the opportunities and challenges presented by big data vary across scientific domains. (shrink)

Cancer treatment decisions should be based on all available evidence. But this evidence is complex and varied: it includes not only the patient’s symptoms and expert knowledge of the relevant causal processes, but also clinical databases relating to past patients, databases of observations made at the molecular level, and evidence encapsulated in scientific papers and medical informatics systems. Objective Bayesian nets offer a principled path to knowledge integration, and we show in this chapter how they can be applied to integrate (...) various kinds of evidence in the cancer domain. This is important from the systems biology perspective, which needs to integrate data that concern different levels of analysis, and is also important from the point of view of medical informatics. (shrink)

Cancer treatment decisions should be based on all available evidence. But this evidence is complex and varied: it includes not only the patient’s symptoms and expert knowledge of the relevant causal processes, but also clinical databases relating to past patients, databases of observations made at the molecular level, and evidence encapsulated in scientific papers and medical informatics systems. Objective Bayesian nets offer a principled path to knowledge integration, and we show in this chapter how they can be applied to integrate (...) various kinds of evidence in the cancer domain. This is important from the systems biology perspective, which needs to integrate data that concern different levels of analysis, and is also important from the point of view of medical informatics. (shrink)

The simplest quantified modal logic combines classical quantification theory with the propositional modal logic K. The models of simple QML relativize predication to possible worlds and treat the quantifier as ranging over a single fixed domain of objects. But this simple QML has features that are objectionable to actualists. By contrast, Kripke-models, with their varying domains and restricted quantifiers, seem to eliminate these features. But in fact, Kripke-models also have features to which actualists object. Though these philosophers have (...) introduced variations on Kripke-models to eliminate their objectionable features, the most well-known variations all have difficulties of their own. The present authors reexamine simple QML and discover that, in addition to having a possibilist interpretation, it has an actualist interpretation as well. By introducing a new sort of existing abstract entity, the contingently nonconcrete, they show that the seeming drawbacks of the simplest QML are not drawbacks at all. Thus, simple QML is independent of certain metaphysical questions. (shrink)

Free logics are a family of first-order logics which came about as a result of examining the existence assumptions of classical logic (Hintikka _The Journal of Philosophy_, _56_, 125–137 1959 ; Lambert _Notre Dame Journal of Formal Logic_, _8_, 133–144 1967, 1997, 2001 ). What those assumptions are varies, but the central ones are that (i) the domain of interpretation is not empty, (ii) every name denotes exactly one object in the domain and (iii) the quantifiers have existential (...) import. Free logics reject the claim that names need to denote in (ii). _Positive_ free logic concedes that some atomic formulas containing non-denoting names (including self-identity) are true, _negative_ free logic treats them as uniformly false, and _neutral_ free logic as taking a third value. There has been a renewed interest in analyzing proof theory of free logic in recent years, based on intuitionistic logic in Maffezioli and Orlandelli (_Bulletin of the Section of Logic_, _48_(2), 137–158 2019 ) as well as classical logic in Pavlović and Gratzl (_Journal of Philosophical Logic_, _50_, 117–148 2021 ), there for the positive and negative variants. While the latter streamlines the presentation of free logics and offers a more unified approach to the variants under consideration, it does not cover neutral free logic, since there is some lack of both clear formal intuitions on the semantic status of formulas with empty names, as well as a satisfying account of the conditional in this context. We discuss extending the results to this third major variant of free logics. We present a series of G3 sequent calculi adapted from Fjellstad (_Studia Logica_, _105_(1), 93–119 2017, _Journal of Applied Non-Classical Logics_, _30_(3), 272–289 2020 ), which possess all the desired structural properties of a good proof system, including admissibility of contraction and all versions of the cut rule. At the same time, we maintain the unified approach to free logics and moreover argue that greater clarity of intuitions is achieved once neutral free logic is conceptualized as consisting of two sub-varieties. (shrink)

This paper offers a semantic study in multi-relational semantics of quantified N-Monotonic modal logics with varying domains with and without the identity symbol. We identify conditions on frames to characterise Barcan and Ghilardi schemata and present some related completeness results. The characterisation of Barcan schemata in multi-relational frames with varying domains shows the independence of BF and CBF from well-known propositional modal schemata, an independence that does not hold with constant domains. This fact was firstly suggested for classical (...) modal systems by Stolpe, 557–575, 2003), but unfortunately that work used only models and not frames. (shrink)

Building on previous work by Coquand and Spiwack [T. Coquand, A. Spiwack, A proof of strong normalisation using domain theory, in: Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science, LICS’06, IEEE Computer Society Press, 2006, pp. 307–316] we construct a strict domain-theoretic model for the untyped λ-calculus with pattern matching and term rewriting which has the property that a term is strongly normalising if its value is not . There are no disjointness or (...) confluence conditions imposed on the rewrite rules, and under a mild but necessary condition completeness of the method is proven. As an application, we prove strong normalisation for barrecursion in higher types combined with polymorphism and non-deterministic choice. (shrink)

Models of the explore–exploit problem have explained how children's decision making is weighed by a bias for information (directed exploration), randomness, and generalization. These behaviors are often tested in domains where a choice to explore (or exploit) is guaranteed to reveal an outcome. An often overlooked but critical component of the assessment of explore–exploit decisions lies in the expected success of taking actions in the first place—and, crucially, how such decisions might be carried out when learning from others. Here, we (...) examine how children consider an informal teacher's beliefs about the child's competence when deciding how difficult a task they want to pursue. We present a simple model of this problem that predicts that while learners should follow the recommendation of an accurate teacher, they should exploit easier games when a teacher overestimates their abilities, and explore harder games when she underestimates them. We tested these predictions in two experiments with adults (Experiment 1) and 6- to 8-year-old children (Experiment 2). In our task, participants' performance on a picture-matching game was either overestimated, underestimated, or accurately represented by a confederate (the “Teacher”), who then presented three new matching games of varying assessed difficulty (too easy, too hard, just right) at varying potential reward (low, medium, high). In line with our model's predictions, we found that both adults and children calibrated their choices to the teacher's representation of their competence. That is, to maximize expected reward, when she underestimated them, participants chose games the teacher evaluated as being too hard for them; when she overestimated them, they chose games she evaluated as being too easy; and when she was accurate, they chose games she assessed as being just right. This work provides insight into the early-emerging ability to calibrate explore–exploit decisions to others' knowledge when learning in informal pedagogical contexts. (shrink)

Mental model ascription – also called mindreading – is the process of inferring the mental states of others, which happens as a matter of course in social interactions. But although ubiquitous, mindreading is presumably a highly variable process: people mindread to different extents and with different results. We hypothesize that human mindreading ability relies on a large number of personal and contextual features: the inherent abilities of specific individuals, their current physical and mental states, their knowledge of the (...) class='Hi'>domain of discourse, their familiarity with the interlocutor, the risks associated with an incorrect assessment of intent, and so on. This paper presents a theory of mindreading that models diverse artificial intelligent agents using an inventory of parameters and value sets that represent traits of humans and features of discourse contexts. Examples are drawn from Maryland Virtual Patient, a prototype system that will permit medical trainees to diagnose and treat cognitively modeled virtual patients with the optional assistance of a virtual tutor. Since real patients vary greatly with respect to physiological and cognitive features, so must a society of virtual patients. Modeling such variation is one of the goals of the overall OntoAgent program of research and development. (shrink)

Achieving accurate skin tones is one of the most challenging tasks in digital photography. Master this challenge with professional photographer Lee Varis as he covers a range of skin: women and men, young and old, various tones, in-studio and outdoors, tattoos, and more. His step-by-step tutorials and before-and-after illustrations demonstrate various techniques for topics such as digital-specific lighting challenges and what can and cannot be done in post-process. A free CD-ROM accompanies the book and contains sample image files to use (...) while following the tutorials, plus equipment recommendations and technical reference materials that enhance and reinforce the instruction. Order your copy of this practical guide today and get a complete start-to-finish approach to integrating everything from posing models to shooting and retouching candid scenes. (shrink)

Natural languages vary in their quantity expressions, but the variation seems to be constrained by general properties, so-calleduniversals. Their explanations have been sought among constraints of human cognition, communication, complexity, and pragmatics. In this article, we apply a state-of-the-art language coordination model to the semantic domain of quantities to examine whether two quantity universals—monotonicity and convexity—arise as a result of coordination. Assuming precise number perception by the agents, we evolve communicatively usable quantity terminologies in two separate conditions: a (...) numeric-based condition in which agents communicate about a number of objects and a quotient-based condition in which agents communicate about the proportions. We find out that both universals take off in all conditions but only convexity almost entirely dominates the emergent languages. Additionally, we examine whether the perceptual constraints of the agents can contribute to the further development of universals. We compare the degrees of convexity and monotonicity of languages evolving in populations of agents with precise and approximate number sense. The results suggest that approximate number sense significantly reinforces monotonicity and leads to further enhancement of convexity. Last but not least, we show that the properties of the evolved quantifiers match certain invariance properties from generalized quantifier theory. (shrink)

For years now, phase-amplitude cross frequency coupling (CFC) has been observed across multiple brain regions under different physiological and pathological conditions. It has been suggested that CFC serves as a mechanism that facilitates communication and information transfer between local and spatially separated neuronal populations. In non-invasive brain computer interfaces (BCI), CFC has not been thoroughly explored. In this work, we propose a CFC estimation method based on Linear Parameter Varying Autoregressive (LPV-AR) models and we assess its performance using both (...) synthetic data and electroencephalographic (EEG) data recorded during attempted arm/hand movements of spinal cord injured (SCI) participants. Our results corroborate the potentiality of CFC as a feature for movement attempt decoding and provide evidence of the superiority of our proposed CFC estimation approach compared to other commonly used techniques. (shrink)

Individuals with high anxiety show bias for threatening information, but it is unclear whether this bias affects memory. Recognition memory studies have shown biases for recognising and rejecting threatening items in anxiety, prompting the need to identify moderating factors of this effect. This study focuses on the role of semantic similarity: the use of many semantically related threatening words could increase familiarity for those items and obscure anxiety-related differences in memory. To test this, two recognition memory experiments varied the proportion (...) of threatening words in lists to manipulate the semantic-similarity effects. When similarity effects were reduced, participants with high trait anxiety were biased to respond “new” to threatening words, whereas when similarity effects were strong there was no effect of anxiety on memory bias. Analysis of the data with the drift diffusion model showed that the bias was due to differences in processing of the threatening stimuli rather than a simple response bias. These data suggest that the semantic similarity of the threatening words significantly affects the presence or absence of anxiety-related threat bias in recognition memory. The results indicate that trait anxiety is associated with a bias to decide that threatening stimuli were not previously studied, but only when semantic-similarity effects are controlled. Implications for theories of anxiety and future studies in this domain are discussed. (shrink)

A number of important decision domains, including decisions about hiring, global warming, and weather hazards, are characterized by a global–local incompatibility. These domains involve variables that cannot be observed by a single decision maker (DM) and require the integration of observations from locally available information cues. This paper presents a new bifocal lens model that describes how the structure of the environment can lead to a unique form of overconfidence when generalizing the reliability of the local environment to a (...) global scale. When the local environment does not reliably reflect the global environment, they are incompatible. While local perspectives vary across DMs, global–local incompatibility can be understood using the structure of classical test theory as the difference between (a) perceived estimates of the reliability derived from the local environment and (b) the true reliability of the local environment. I model global–local incompatibility as the difference between the true and estimated reliability when the assumptions of classical test theory are violated. Using a series of case studies and an empirical study, I demonstrate the widespread utility of this framework, and I conclude by discussing implications for cognitive–ecological theory, risk communication, and overconfidence. (shrink)

Inclusive single jet production in hadron collisions is considered. It is shown that the QCD parton model predicts a nonmonotonic dependence of the inclusive cross section on the fraction of the energy deposited in the jet registered, if it is normalized on the same cross section measured at another collision energy. Specifically, if the cross section is normalized by the one measured at a higher collision energy, it possesses a minimum which depends on jet rapidity. This prediction can be (...) tested at the Fermilab Tevatron, at the CERN LHC, and at the Very Large Hadron Collider under discussion. (shrink)

Large Language Models (LLMs) enable a future in which certain types of legal documents may be generated automatically. This has a great potential to streamline legal processes, lower the cost of legal services, and dramatically increase access to justice. While many researchers focus on proposing and evaluating LLM-based applications supporting tasks in the legal domain, there is a notable lack of investigations into how legal professionals perceive content if they believe an LLM has generated it. Yet, this is a (...) critical point as over-reliance or unfounded scepticism may influence whether such documents bring about appropriate legal consequences. This study is the necessary analysis of the ongoing transition towards mature generative AI systems. Specifically, we examined whether the perception of legal documents’ by lawyers and law students (n = 75) varies based on their assumed origin (human-crafted vs AI-generated). The participants evaluated the documents, focusing on their correctness and language quality. Our analysis revealed a clear preference for documents perceived as crafted by a human over those believed to be generated by AI. At the same time, most participants expect the future in which documents will be generated automatically. These findings could be leveraged by legal practitioners, policymakers, and legislators to implement and adopt legal document generation technology responsibly and to fuel the necessary discussions on how legal processes should be updated to reflect recent technological developments. (shrink)

Two experiments investigated whether moral evaluations of organ transplantation influence judgments of death and causation. Participants’ beliefs about whether an unconscious organ donor was dead and whether organ removal caused death in a hypothetical vignette varied depending on the moral valence of the vignette. Those who were randomly assigned to the good condition were more likely to believe that the donor was dead prior to organ removal and that organ removal did not cause death. Furthermore, attitudes toward euthanasia and organ (...) donation independently predicted judgments of death and causation, regardless of experimental condition. The results are discussed in light of the framework of motivated reasoning, in which motivation influences the selection of cognitive processes and representations applied to a given domain, as well as Knobe’s person-as-moralist model, in which many basic concepts are appropriately imbued with moral features. On either explanatory framework, these data cast doubt on the psychological legitimacy of the mainstream justification for vital organ procurement from heart-beating donors, which holds that neurological criteria for death are scientifically justified, independently of concerns about organ transplantation. These data suggest that, rather than concluding that organ removal is permissible because the donor is dead, people may believe that the donor is dead because they believe organ removal to be permissible. (shrink)

Some philosophers have argued that truth is a norm of judgement and have provided a variety of formulations of this general thesis. In this paper, I shall side with these philosophers and assume that truth is a norm of judgement. What I am primarily interested in here are two core questions concerning the judgement-truth norm: (i) what are the normative relationships between truth and judgement? And (ii) do these relationships vary or are they constant? I argue for a pluralist picture—what (...) I call Normative Alethic Pluralism (NAP)—according to which (i) there is more than one correct judgement-truth norm and (ii) the normative relationships between truth and judgement vary in relation to the subject matter of the judgement. By means of a comparative analysis of disagreement in three areas of the evaluative domain—refined aesthetics, basic taste and morality—I show that there is an important variability in the normative significance of disagreement—I call this the variability conjecture. By presenting a variation of Lynch’s scope problem for alethic monism, I argue that a monistic approach to the normative function of truth is unable to vindicate the conjecture. I then argue that normative alethic pluralism provides us with a promising model to account for it. (shrink)

She has always existed and is more than a citizen of multiverses,‭ ‬most likely the ground of all.‭ ‬In the West she was introduced around C.570‭ ‬and since then many individuals have searched for her,‭ ‬tried to become familiar with her and created all sorts of,‭ ‬frequently ridiculous,‭ ‬things in her name. Once someone has a passion for her it cannot be extinguished but increases.‭ ‬Objectively this need for her is referred to as‭ ‘‬love of wisdom‭’‬,‭ ‬the need for wisdom,‭ (...) ‬while personally it is a need of some individuals. -/- This passion and need has become institutionalized and it has developed a discourse and became a socio-cultural practice of its own.‭ ‬Fairly recently it has even become a discipline at,‭ ‬mostly higher,‭ ‬institutions of learning.‭ ‬Previously those searching for and attempting to interact with her came from many walks of life and all kinds of professions,‭ ‬while in the last century or so many people began to live off her as they are remunerated for talking about,‭ ‬about the history of searching for and investigating her and saying all sorts of things about her. -/- Many things are done in her name and all sorts of neologisms are fabricated to label them,‭ ‬such as analytic,‭ ‬continental,‭ ‬idealism,‭ ‬rationalism,‭ ‬empiricism,‭ ‬and all these labels are again specified and specified ad infinitum with terms such as materialism,‭ ‬physicalism,‭ ‬weak naturalism,‭ ‬speculative and new realism,‭ ‬etc. -/- Individuals from many other disciplines and areas of life,‭ ‬such as sociology,‭ ‬the arts,‭ ‬humanities,‭ ‬cognitive sciences,‭ ‬sport,‭ ‬etc got on the bandwagon so that we now have a philosophy or love of wisdom,‭ ‬epistemologies,‭ ‬ontologies etc of everything under the sun.‭ ‬Even if you were to write some theses or do some study you will stipulate your epistemology,‭ ‬ontology,‭ ‬methodology,‭ ‬etc.‭ ‬Just as those who live off philosophy become involved in every area of humanity and all its socio-cultural practices produce so-called peer reviewed publications,‭ ‬articles,‭ ‬essays and books on philosophy of art,‭ ‬sport,‭ ‬humanities,‭ ‬cognitive sciences,‭ ‬religion,‭ ‬gods,‭ ‬sex,‭ ‬rock‭ ‘‬n roll,‭ ‬language,‭ ‬words,‭ ‬ideas,‭ ‬how words and ideas and concepts do their thing,‭ ‬etc,‭ ‬etc.‭ -/- The way these subject-matter are treated will usually consists of some form of reasoning,‭ ‬the use of arguments or argumentation and some kind of logic and a process that resembles the features,‭ ‬steps,‭ ‬stages and processes of theorizing,‭ ‬the construction and development of models,‭ ‬short term,‭ ‬medium or large theories.‭ ‬The latter is often presented in the form of entire‭ ‘‬metaphysical‭’ ‬and speculative systems such as those of Plato,‭ ‬Aristotle,‭ ‬Kant,‭ ‬Hegel,‭ ‬Marx,‭ ‬Husserl,‭ ‬Habermas et al.‭ ‬While Socrates and to some extent the later Wittgenstein attempted to be more authentic to the original principles of trying to follow and developed the ideal of identifying,‭ ‬capturing by verbal interaction‭ (‬be it discourse,‭ ‬or dialogue‭) ‬and becoming one‭ (‬like mystics of all religions who are passionate about‭ ‘‬the one‭’‬,‭ ‬the Beloved,‭ ‬the one Real Self,‭ ‬etc and attempt to become one,‭ ‬united with or‭ ‘‬oned‭’ ‬with their object or subject of desire‭) ‬with Sophos‭ – ‬by exploring and investigating or applying and executing practical use of language,‭ ‬and thereby to uncover and capture her. -/- The effects of the institutionalization of the discipline are far-reaching and the professionalization of the role of philosopher as a‭ ‘‬profession‭’‬,‭ ‬an employee of an institution and a representative of the status quo are discussed in a number of articles being cited. -/- The methods of the philosophical discourse vary,‭ ‬first of all between the so-called Continental and Anglophone Analytic philosophies,‭ ‬its movements,‭ ‬schools and institutions,‭ ‬such as research universities,‭ ‬journals,‭ ‬communities and book publishers.‭ ‬It seems as if increasingly philosophizing employs some of the stages and steps of the processes of theorizing.‭ ‬Other aspects of her methods are heuristic devices,‭ ‬the use of metaphors and analogies,‭ ‬philosophical logic,‭ ‬informal and other types of logic,‭ ‬arguments and argumentation.‭ ‬This involves the creation of fallacies in thinking and reasoning and the causing of all sorts of fallacies or crooked thinking. -/- The nature and changes of philosophical subject-matter are discussed as the socio-cultural practice lost most of its traditional‭ ‘‬objects‭’ ‬with the social and cultural differentiation of other,‭ ‬specialized disciplines.‭ ‬In turn the discourse attempts to fabricate other subject-matter,‭ ‬for example the development of so-called Experimental Philosophy,‭ ‬inter-disciplinary studies such as cognitive sciences and philosophies or meta-level explorations of and speculations about other disciplines,‭ ‬professions and domains‭ (‬for example normative,‭ ‬instrumental and subjective aesthetic‭ – ‬this the terminology and distinctions according to the working class obsessive Critical Theory of the so-called Frankfurt Schule.‭ ‬One always wonders what degree of personal experience their educated,‭ ‬middle class academics have of‭ ‘‬the working class‭’‬,‭ ‬whatever that is meant to be‭?)) ‬of human activity.‭ ‬Such as philosophy of medicine,‭ ‬sport,‭ ‬art,‭ ‬religion,‭ ‬just name it and it is bound to exist.‭ -/- Another‭ ‘‬extension‭’ ‬of or interest in‭ ‘‬philosophy‭’ ‬is that of certain individuals,‭ ‬schools or movements in other disciplines,‭ ‬for example social‭ ‘‬sciences‭’ ‬such as sociology and supporters of the above mentioned‭ ‘‬Schule‭’‬.‭ ‬They frequently use philosophical words such as ontology,‭ ‬epistemology,‭ ‬multi-dimensional,‭ ‬many-levels,‭ ‬contexts assumptions,‭ ‬pre-suppositions,‭ ‬immanent,‭ ‬transcendent,‭ ‬etc.‭ ‬Is this intended to be an extension of philosophy and the doing of philosophizing or merely cognitive bias of the form‭ ‘‬authority bias‭’‬.‭ ‬In this case the authority being‭ ‘‬the discipline of philosophy‭’‬,‭ ‬as well as the‭ ’‬use of the word philosophy‭ ‬and terms from the philosophical discourse‭’‬.‭. (shrink)

Self-efficacy is an important predictor of learning and achievement. By definition, self-efficacy requires a task-specific assessment, in which students are asked to evaluate whether they can solve concrete tasks. An underlying assumption in previous research into such assessments was that self-efficacy is a one-dimensional construct. However, empirical evidence for this assumption is lacking, and research on students’ performance suggests that it depends on various task characteristics. The present study explores the potential multi-dimensionality of self-efficacy in the topic of linear functions. (...) More specifically, we investigate how three task characteristics – the representational format, embedding in a real-life context, or the required operation – are related to students’ self-efficacy. We asked 8th and 9th graders to evaluate their self-efficacy on specific linear function tasks which systematically varied along the three dimensions of task characteristics. Using confirmatory factor analysis, we found that a two-dimensional model which includes the task characteristic of real-life context fitted the data better than other two-dimensional models or a one-dimensional model. These results suggest that self-efficacy with linear functions is empirically separable with respect to tasks with vs. without a real-life context. This means that in their self-evaluation of linear function tasks students particularly rely on whether or not the linear function task is embedded in a real-life context. This study highlights the fact that even within a specific content domain students’ self-efficacy can be considered a multi-dimensional construct. (shrink)

DNA repetitions may provoke heterochromatinization. We explore here a model in which multiple cis‐acting sequences that display no silencing activity on their own (protosilencers) may cooperate to establish and maintain a heterochromatin domain efficiently. Protosilencers, first defined in budding yeast, have now been found in a wide range of genomes where they appear to stabilize and to extend the propagation of heterochromatin domains. Strikingly, isolated or moderately repeated protosilencers can also be found in promoters where they participate in (...) transcriptional activation and have insulation functions. This suggests that the proper juxtaposition of a threshold number of protosilencers converts them from neutral or transactivating elements into ones that nucleate heterochromatin. Interactions might be transient or permanent, and are likely to occur over distances by looping. This model provides a conceptual framework for as varied phenomena as telomere‐driven silencing in Drosophila, X inactivation in mammals, and rDNA silencing in S. cerevisiae. It may also account for the silencing that occurs when multiple copies of a transgene are inserted in tandem. BioEssays 24:828–835, 2002. © 2002 Wiley Periodicals, Inc. (shrink)

Porosity is considered as one of the most important indicators for the characterization of the comprehensive performance of thermal barrier coatings. In this study, the ultrasonic technique and the artificial neural network optimized with the genetic algorithm are combined to develop an intelligent method for automatic detection and accurate prediction of TBCs’s porosity. A series of physical models of plasma-sprayed ZrO2 coating are established with a thickness of 288 μm and porosity varying from 5.71% to 26.59%, and the ultrasonic (...) reflection coefficient amplitude spectrum is constructed based on the time-domain numerical simulation signal. The characteristic features f 1, f 2, A max, Δ A of the URCAS, which are highly dependent on porosity, are extracted as input data to train the GA_BPNN model for predicting the unknown porosity. The average error of the prediction results is 1.45%, which suggests that the proposed method can achieve accurate detection and quantitative characterization of the porosity of TBCs with complex pore morphology. (shrink)

Recently, many AI researchers and practitioners have embarked on research visions that involve doing AI for “Good”. This is part of a general drive towards infusing AI research and practice with ethical thinking. One frequent theme in current ethical guidelines is the requirement that AI be good for all, or: contribute to the Common Good. But what is the Common Good, and is it enough to want to be good? Via four lead questions, the concept of Ethics Pen-Testing identifies challenges (...) and pitfalls when determining, from an AI point of view, what the Common Good is and how it can be enhanced by AI. The current paper reports on a first evaluation of EPT. EPT is applicable to various artefacts that have ethical impact, including designs for or implementations of specific AI technology, and requirements engineering methods for eliciting which ethical settings to build into AI. The current study focused on the latter type of artefact. In four independent sessions, participants with close but varying involvements in “AI and ethics” were asked to deconstruct a method that has been proposed for eliciting ethical values and choices in autonomous car technology, an online experiment modelled on the Trolley Problem. The results suggest that EPT is well-suited to this task: the remarks made by participants lent themselves well to being structured by the four lead questions of EPT, in particular, regarding the question what the problem is and about which stakeholders define it. As part of the problem definition, the need became apparent for thorough technical domain knowledge in discussions of AI and ethics. Thus, participants questioned the framing and the presuppositions inherent in the experiment and the discourse on autonomous cars that underlies the experiment. They transitioned from discussing a specific AI artefact to discussing its role in wider socio-technical systems. Results also illustrate to what extent and how the requirements engineering method forces us to not only have a discussion about which values to “build into” AI systems, the substantive building blocks of the Common Good, but also about how we want to have this discussion at all. Thus, it forces us to become explicit about how we conceive of democracy and the constitutional state and the procedural building blocks of the Common Good. (shrink)

The accurate annotation of an unknown protein sequence depends on extant data of template sequences. This could be empirical or sets of reference sequences, and provides an exhaustive pool of probable functions. Individual methods of predicting dominant function possess shortcomings such as varying degrees of inter-sequence redundancy, arbitrary domain inclusion thresholds, heterogeneous parameterization protocols, and ill-conditioned input channels. Here, I present a rigorous theoretical derivation of various steps of a generic algorithm that integrates and utilizes several statistical methods (...) to predict the dominant function in unknown protein sequences. The accompanying mathematical proofs, interval definitions, analysis, and numerical computations presented are meant to offer insights not only into the specificity and accuracy of predictions, but also provide details of the operatic mechanisms involved in the integration and its ensuing rigor. The algorithm uses numerically modified raw hidden markov model scores of well defined sets of training sequences and clusters them on the basis of known function. The results are then fed into an artificial neural network, the predictions of which can be refined using the available data. This pipeline is trained recursively and can be used to discern the dominant principal function, and thereby, annotate an unknown protein sequence. Whilst, the approach is complex, the specificity of the final predictions can benefit laboratory workers design their experiments with greater confidence. -/- . (shrink)

Although hierarchical approaches are evidently important to reinforcement learning, most existing hierarchical RL models either do not involve automatically developing hierarchies (i.e., using pre-determined hierarchies; e.g., Dayan and Hinton 1993, Sutton 1995, Pre-cup et al 1998, Parr and Russell 1997, Dietterich 1997), or involve only domain-speci c processes. Models in the latter category rely on domain-speci c knowledge or procedures and are thus not generic or autonomous; for example, Lin (1993), Moore and Atkeson (1994), and Singh (1994). The (...) problems of such hierarchies include in exibility (because the characteristics of the domain can change over time) and lack of generality (because domain-speci c hierarchies most likely vary from domain to domain). This is true even when limited learning is used to ne tune mostly pre-determined hierarchies (e.g., Parr and Russell 1997, Dietterich 1997). (shrink)

Explorationism (see www.bu.edu/wcp/Papers/Logi/LogiFaus.htm, WCP XX, “Conflict without Contradiction”) is a perspective concerning human knowledge: as yet, our ignorance of the Real World remains great. With this perspective, all our knowledge is so far only partial and tentative. Evidence Logic (EL) (see “The Concept of Evidence”, INTER. JOURNAL OF INTELLIGENT SYSTEMS 15 (2000), 477‐493) provides an example of a reasonable Base Logic for Explorationism:EL provides machinery for the representation and processing of gradational evidential predications. Syntactically, for any evidence level e, for (...) a proposition symbol P, Pc:e asserts that there is level e confirmatory evidence regarding P, while Pr:e asserts level e refutatory evidence (n‐ary predications, for n>0, are handled similarly). Semantically, EL has similarly enriched model spaces. The Boolean sentence algebras of the variety of EL languages, varying across stipulated families of predicate and functions symbols, have been analyzed, and EL is sound and complete. Belief Systems, we will argue, are all unnecessary: in science, as well as in all broader domains of human relations and activity, it is always sufficient to have simply commitments, which entail no assertion of Truth but rather simply entail agreed‐upon consequent actions. (Agent A believes a sentence S if A asserts S is True although A does not know (have absolute evidence) that S is True.) We will further seek to explore ways in which such a perspective may help in engendering more enhanced discourse, less absolutist and shrill advocacy and violence, and more rationality, in the Global Village of the new century. (shrink)

The presence of general intelligence poses a major evolutionary puzzle, which has led to increased interest in its presence in nonhuman animals. The aim of this review is to critically evaluate this question and to explore the implications for current theories about the evolution of cognition. We first review domain-general and domain-specific accounts of human cognition in order to situate attempts to identify general intelligence in nonhuman animals. Recent studies are consistent with the presence of general intelligence in (...) mammals (rodents and primates). However, the interpretation of a psychometricgfactor as general intelligence needs to be validated, in particular in primates, and we propose a range of such tests. We then evaluate the implications of general intelligence in nonhuman animals for current theories about its evolution and find support for the cultural intelligence approach, which stresses the critical importance of social inputs during the ontogenetic construction of survival-relevant skills. The presence of general intelligence in nonhumans implies that modular abilities can arise in two ways, primarily through automatic development with fixed content and secondarily through learning and automatization with more variable content. The currently best-supported model, for humans and nonhuman vertebrates alike, thus construes the mind as a mix of skills based on primary and secondary modules. The relative importance of these two components is expected to vary widely among species, and we formulate tests to quantify their strength. (shrink)

Meaning in life has been widely recognized as a hallmark of psychological well-being and positive youth development. The goal of this study was to validate the Korean version of the Meaning in Life in Children Questionnaire utilizing the framework suggested by the Standards for Educational and Psychological Testing. Data were obtained from 277 fifth graders aged 10–11 in three elementary schools in Seoul and Gyeonggi through a paper-and-pencil survey. We translated the MIL-CQ, a 21-item self-report measure developed based on Frankl’s (...) “meaning triangle,” into Korean. Psychological well-being measures were also assessed. Validity and reliability data were collected. The content of domains and items was appropriate for measuring MIL among children. A three-factor model consisting of attitude, creativity, and experience pathways was extracted via exploratory factor analysis, and a three-factor hierarchical model including attitude, creativity, and experience as first-order factors and MIL as a second-order factor was confirmed via confirmatory factor analysis. Higher levels of MIL were related to higher levels of satisfaction with life, self-esteem, positive affectivity, and lower levels of negative affectivity. All item fit statistics were acceptable based on the Rasch model. The analysis of the measurement invariance of each item showed that the responses to one item varied by gender, suggesting that additional items might facilitate better measurement of MIL in children. This study provides validity and reliability evidence that K-MIL-CQ is appropriate for measuring MIL among South Korean elementary school students. (shrink)

States of the brain represent states of the world. A puzzle arises when one learns that at least some of the mind/brain’s internal representations, such as a sensation of heat or a sensation of red, do not genuinely resemble the external realities they allegedly represent: the mean kinetic energy of the molecules of the substance felt (temperature) and the mean electromagnetic reflectance profile of the seen object (color). The historical response has been to declare a distinction between objectively real properties, (...) such as shape motion and mass, and merely subjective properties, such as heat, color and smell. This hypothesis leads to trouble. A challenge for cognitive neurobiology is to characterize, in suitably general terms, the nature of the relationship between brain models and the world modeled. We favor the hypothesis that brains develop high-dimensional maps whose internal relations correspond in varying degrees of fidelity to the enduring causal structure of the world. From this perspective, the basic epistemological relation is not “single-percept to single- external-feature” but rather “background-brain-maps to causal-domain-portrayed. (shrink)