The purpose of this study was to investigate experimentally the extent to which children’s novel word learning and story comprehension from eBooks depends on the relevance of interactive eBook features. A story was created in the lab to incorporate novel word-object pairs. The story was read to preschoolers (3-5 years old, N = 103) using one of the three books: noninteractive control, interactive-relevant, interactive-irrelevant. Novel word learning and story comprehension were assessed with posttests in which children picked target objects from (...) an array and sorted story events into sequences, respectively. Findings indicate that word learning and story comprehension were similar across all three books, suggesting that simple interactive features – whether relevant or irrelevant to the story – had little impact on learning in this controlled experiment. (shrink)

Could interacting mindreaders be in a position to know things which they would be unable to know if they were manifestly passive observers? This paper argues that they could. Mindreading is sometimes reciprocal: the mindreader’s target reciprocates by taking the mindreader as a target for mindreading. The paper explains how such reciprocity can significantly narrow the range of possible interpretations of behaviour where mindreaders are, or appear to be, in a position to interact. A consequence is that revisions and extensions (...) are needed to standard theories of the evidential basis of mindreading. The view also has consequences for understanding how abilities to interact combined with comparatively simple forms of mindreading may explain the emergence, in evolution or development, of sophisticated forms of social cognition. (shrink)

The simple model maintains that morally relevant factors combine in a simple, additive way, like weights on a scale. Although intuitive and familiar, this model entails that certain plausible views about particular cases and how morally relevant factors combine and interact therein are false. Shelly Kagan suggests that we could accommodate the relevant views and interactions by rejecting either of two assumptions the simple model makes: that the moral status of an act is determined by the (...) sum of the contributions made by each of the factors relevant thereto (additivity); and that neither the “weight” nor the “valence” of a factor’s contribution can be affected by other factors (atomism). But is there an atomistic option, a way of accommodating the relevant views and interactions by rejecting additivity rather than atomism? I argue that developing an atomistic option requires offering a conception of contribution that renders coherent the particular claims that must be true if there is, indeed, such an option. And I consider whether Rossian pluralism—the locus classicus for the idea of a contributory right-making factor—offers the resources necessary to offer such a conception, and whether it could accommodate the relevant views and interactions other than by rejecting atomism. (shrink)

In a seminal 1977 article, Rumelhart argued that perception required the simultaneous use of multiple sources of information, allowing perceivers to optimally interpret sensory information at many levels of representation in real time as information arrives. Building on Rumelhart's arguments, we present the Interactive Activation hypothesis—the idea that the mechanism used in perception and comprehension to achieve these feats exploits an interactive activation process implemented through the bidirectional propagation of activation among simple processing units. We then examine the interactive (...) activation model of letter and word perception and the TRACE model of speech perception, as early attempts to explore this hypothesis, and review the experimental evidence relevant to their assumptions and predictions. We consider how well these models address the computational challenge posed by the problem of perception, and we consider how consistent they are with evidence from behavioral experiments. We examine empirical and theoretical controversies surrounding the idea of interactive processing, including a controversy that swirls around the relationship between interactive computation and optimal Bayesian inference. Some of the implementation details of early versions of interactive activation models caused deviation from optimality and from aspects of human performance data. More recent versions of these models, however, overcome these deficiencies. Among these is a model called the multinomial interactive activation model, which explicitly links interactive activation and Bayesian computations. We also review evidence from neurophysiological and neuroimaging studies supporting the view that interactive processing is a characteristic of the perceptual processing machinery in the brain. In sum, we argue that a computational analysis, as well as behavioral and neuroscience evidence, all support the Interactive Activation hypothesis. The evidence suggests that contemporary versions of models based on the idea of interactive activation continue to provide a basis for efforts to achieve a fuller understanding of the process of perception. (shrink)

We propose a modal logic based on three operators, representing intial beliefs, information and revised beliefs. Three simple axioms are used to provide a sound and complete axiomatization of the qualitative part of Bayes’ rule. Some theorems of this logic are derived concerning the interaction between current beliefs and future beliefs. Information flows and iterated revision are also discussed.

Engineers fine-tune the design of robot bodies for control purposes, however, a methodology or set of tools is largely absent, and optimization of morphology (shape, material properties of robot bodies, etc.) is lagging behind the development of controllers. This has become even more prominent with the advent of compliant, deformable or ”soft” bodies. These carry substantial potential regarding their exploitation for control—sometimes referred to as ”morphological computation”. In this article, we briefly review different notions of computation by physical systems and (...) propose the dynamical systems framework as the most useful in the context of describing and eventually designing the interactions of controllers and bodies. Then, we look at the pros and cons of simple vs. complex bodies, critically reviewing the attractive notion of ”soft” bodies automatically taking over control tasks. We address another key dimension of the design space—whether model-based control should be used and to what extent it is feasible to develop faithful models for different morphologies. (shrink)

From antiquity, Galenic physicians extensively discussed the active powers of simple and compound drugs. In their views, simple drugs, that is, single ingredients, acted according to their material qualities and the properties of their substance. As for compound drugs, their efficacy resulted from the mutual interaction of their ingredients and their modes of preparation. In the late Renaissance, Galenic physicians and naturalists, such as Leonhart Fuchs and Pietro Andrea Mattioli, attempted to explain these pharmacological properties or “faculties” at (...) the intersection of medicine, botany, and natural philosophy. This chapter examines the case of the Italian physician and botanist Andrea Cesalpino. His pharmacological treatise De medicamentorum facultatibus [On the Faculties of Drugs, 1593] was particularly significant for its reception of ancient and medieval texts on drug properties, materia medica, and the role of the senses in the knowledge of bodies. (shrink)

Simple type theory is a higher-order predicate logic for reasoning about truth values, individuals, and simply typed total functions. We present in this paper a version of simple type theory, called PF*, in which functions may be partial and types may have subtypes. We define both a Henkin-style general models semantics and an axiomatic system for PF*, and we prove that the axiomatic system is complete with respect to the general models semantics. We also define a notion of (...) an interpretation of one PF* theory in another. PF* is intended as a foundation for mechanized mathematics. It is the basis for the logic of, an Interactive Mathematical Proof System developed at The MITRE Corporation. (shrink)

Public debate on acceptable farm animal husbandry suffers from a confusion of tongues. To clarify positions of various stakeholder groups in their joint search for acceptable solutions, the concept of animal welfare was split up into three notions: no suffering, respect for intrinsic value, and non-appalling appearance of animals. This strategy was based on the hypothesis that multi-stakeholder solutions should be based on shared values rather than on compromises. The usefulness of such an artificial value distinction strategy was tested in (...) a small series of experiments. The results demonstrate that the chosen concept to distinguish between values is effective in a stakeholder context. Farmers’ views on doing good to animals appeared to be largely based on their value to prevent suffering and predominantly focused on the provision of regular care. Their priority for this value is clearly shared with other stakeholders, providing a basis for joint solutions. The concept of intrinsic value does not play a discernable role in farmers’ considerations. Based on the varying views on welfare, it can be inferred that there is a gradual rather than a principal difference between government legislation and farmers’ values, whereas public perception and acceptance of farm practices remains complicated. Distinction between value groups and focusing on a selected notion (such as no suffering) proved to be effective in bringing representatives of stakeholder groups together, but is unlikely to bridge the emotional gap between commercial farm practices and public ideals. (shrink)

There are indications that simple reaction time might have slowed in Western countries, based on both cohort- and multi-study comparisons. A possible limitation of the latter method in particular is measurement error stemming from methods variance, which results from the fact that instruments and experimental conditions change over time and between studies. We therefore set out to measure the simple auditory reaction time (SRT) of 7,081 individuals (2,997 males and 4,084 females) born in Sweden 1959-1985 (subjects were aged (...) between 27 and 54 years at time of measurement). Depending on cut-offs and adjustment for ageing related slowing on SRT, the data suggest that SRT has increased between 3 and 16 ms in the 27 birth years covered in the present sample. The slowing is unlikely to be explained by attrition, as evaluated by comparing the general intelligence × birth-year interactions and standard deviations for both male participants and dropouts, utilizing military conscript cognitive ability data. The present result is consistent with previous studies employing alternative methods, and may result from several synergistic factors, such as possible recent micro-evolutionary trends favouring lower g in Sweden and the effects of industrially produced neurotoxic substances on peripheral nerve conduction velocity. (shrink)

The study of active matter systems demonstrates how interactions might co-constitute agential dynamics. Active matter systems are comprised of self-propelled independent entities which, en masse, take part in complex and interesting collective group behaviors at a far-from-equilibrium state (Menon, 2010 ; Takatori & Brady, 2015 ). These systems are modelled using very simple rules (Vicsek at al. 1995), which reveal the interactive nature of the collective behaviors seen from humble to highly complex entities. Here I show how the (...) study of active matter systems supports two related proposals regarding interaction and agency. First, I argue that the study of interactive dynamics in these systems evidences the utility of treating interaction as an ontological category (Longino, 2021 ) and challenges methodological individualism as the received explanatory primitive in the study of agency. Second, the methods used to research active matter systems demonstrate how a minimal approach to agency can scale up in studying interactive agential dynamics in more complex systems. The examples of coordination dynamics (Kelso, 2001 ) and participatory sense-making (De Jaegher & Di Paolo, 2007 ) are provided to show how understanding agency requires us to look beyond the individuals to the interactive agential dynamics that can guide, scaffold, or constrain their activity. (shrink)

Our understanding of communication and its evolution has advanced significantly through the study of simple models involving interacting senders and receivers of signals. Many theorists have thought that the resources of mathematical information theory are all that are needed to capture the meaning or content that is being communicated in these systems. However, the way theorists routinely talk about the models implicitly draws on a conception of content that is richer than bare informational content, especially in contexts where false (...) content is important. This article shows that this concept can be made precise by defining a notion of functional content that captures the degree to which different states of the world are involved in stabilizing senders’ and receivers’ use of a signal at equilibrium. A series of case studies is used to contrast functional content with informational content, and to illustrate the explanatory role and limitations of this definition of functional content. _1_ Introduction _2_ Modelling Framework _3_ Two Kinds of Content _3.1_ Informational content _3.2_ Functional content _4_ Cases _4.1_ Case 1: Simplest case _4.2_ Case 2: Partial pooling _4.3_ Case 3: Bottleneck _4.4_ Case 4: Partial common interest _4.5_ Case 5: Deception _4.6_ Case 6: A further problem arising from divergent interests _5_ Discussion Appendix. (shrink)

In the established space-time coordinate-transformation (STCT) interpretation of special relativity theory, relativistic changes are consequent upon the Lorentz transformation of coordinate clocks and rods between relatively moving systems. In the proposed alternative interpretation, relativistic changes occur only in association with physical interactions, and are direct alterations in the variables of the observed system. Since space-time and momentum-energy are conjugate four-vectors, transformation of a space or time variable of a system is to be expected only if there is a concomitant (...) transformation of the corresponding momentum or energy variable. The Lorentz invariance of the scalar entropy functionS supports the interaction interpretation; timet=f(S) of a macroscopic, entropy clock should give a Lorentz-invariant time measure, and an illustrative entropy clock is discussed. Noninteracting physical processes may be called Clausius processes, in contrast to Lorentz processes for which there is interaction and associated Lorentz transformation. Changes of energy and frequency, withE=hv, are instances of the parallel relativistic transformations. Likewise, the variation with velocity in decay time of mesons follows directly from the relativistic energy transformation of decay products; this relationship is shown for muons by a simple calculation with β-decay theory. (shrink)

This paper addresses the question of whether rape-law reform should treat all cases of simple rape—nonconsensual sex that does not involve the use or credible threat of physical force—as a serious crime. Of primary concern here are those sexual interactions, often referred to as “date rape” or “acquaintance rape,” where the coercive element is not physical force as evidenced by reasonable resistance. Should, as some feminist reformers have urged, felony rape include sexual interactions that may not be (...) fully consensual but do not include the use of physical force? If so, can convincing answers be provided for due process questions about what constitutes valid consent to sex and how to tell when it is present. This paper warns of the difficulties in determining what counts as evidence of nonconsent and mens rea in light of the “linkage thesis” which takes valid consent in these cases to be bilateral and interactive, and to imply the absence of mens rea. Given the complexity of norms governing these sexual interactions and the high likelihood of reasonable mistakes about consent, this paper contends that criminalizing these cases of simple rape will often result in the unjust treatment of the relevant parties. (shrink)

In attempting to solve a wide variety of tasks, people naturally seek to modify their external environment such that the physical space in which they work is more amenable or ‘congenial’ to achieving a desired outcome. Attempts to determine the effectiveness of certain artifacts or spatial reorganizations in aiding reasoners solve problems must be relativised to the difficulty of the task and the cognitive abilities of the reasoners. These factors were examined using a simple word production task with letter (...) tiles. Two sets of tiles that differed in terms of word production difficulty were selected. Participants were asked to produce as many words as they could within a finite time period for each letter set. In one group, participants were encouraged to rearrange or touch the tiles when producing words, and in the other group, participants could not interact with or point to the tiles. Participants were further split in a low and high verbal fluency group as a function of their score on the Thurstone word fluency test taken at the end of the experiment. In the high fluency group, letter rearrangement did not improve the participants’ ability to generate words. In contrast, in the low verbal fluency group, letter rearrangement significantly enhanced the ability to produce new words from both the hard and easy letter set. For these participants, the task was more taxing and the opportunity to restructure the letter set substantially elevated their performance. The advantages of a distributed cognition analysis of this and other reasoning tasks are discussed. (shrink)

Directly interacting particles are considered in the multitime formalism of predictive relativistic mechanics. When the equations of motion leave a phase-space volume invariant, it turns out that the phase average of any first integral, covariantly defined as a flux across a 7n-dimensional surface, is conserved. The Hamiltonian case is discussed, a class of simple models is exhibited, and a tentative definition of equilibrium is proposed.

The discovery of conjunctive causes--factors that act in concert to produce or prevent an effect--has been explained by purely covariational theories. Such theories assume that concomitant variations in observable events directly license causal inferences, without postulating the existence of unobservable causal relations. This article discusses problems with these theories, proposes a causal-power theory that overcomes the problems, and reports empirical evidence favoring the new theory. Unlike earlier models, the new theory derives (a) the conditions under which covariation implies conjunctive causation (...) and (b) functions relating observable events to unobservable conjunctive causal strength. This psychological theory, which concerns simple cases involving 2 binary candidate causes and a binary effect, raises questions about normative statistics for testing causal hypotheses regarding categorical data resulting from discrete variables. (shrink)

In clinical trials, it is common practice to follow up significant interactions between the factors under investigation with subgroup analyses. Such analyses pose at least two analytical and interpretational challenges. The first challenge is that performing multiple subgroup analyses increases the likelihood of obtaining spuriously significant results. This has been acknowledged and relevant guidance exists in the medical literature. The second challenge is that the effects that are obtained at the level of subgroup are composite. This has yet to (...) be fully acknowledged and discussed in the context of medical research. This paper aims to fill this lacuna. Using a simple additive model, we use recent findings from the CHARISMA trial on the efficacy of clopidogrel in addition to aspirin in the treatment of patients at risk for atherothrombotic events to demonstrate quantitatively the composition of effects at the level of subgroups. In the simplest case of a design involving an interaction (two crossed factors, with two levels each, i.e. a 2 x 2 design), effects at the level of subgroup consist of influences that stem (i) from the incidence of the measured outcome in the study population as a whole; (ii) from the factor of interest (e.g. treatment vs. placebo); (iii) from the second factor (e.g. patient group membership); (iv) from the interaction between the two factors; and (v) from random error in the measured outcome. The value of the approach illustrated here is that it is generalizable to any research design irrespective of its complexity and that it prompts clinicians to consider the multiple causality underlying medical research findings. (shrink)

The detection of a human’s intended behavior is one of the most important skills that a social robot should have in order to become acceptable as a part of human society, because humans are used to understand the actions of other humans in a goal-directed manner and they will expect the social robot to behave similarly. A breakthrough in this area can advance several research branches related to social intelligence such as learning by imitation and mutual adaptation. To achieve this (...) goal the robot needs to integrate all possible evidence of intention and neglect the unintended behavior, and a complete solution should use low-level signal processing and high-level reasoning. This work explores the low-level signal processing part of the solution by proposing an interactive adaptive perception scheme that uses four important features of human behavior to amplify the signals originating from intended behavior with respect to signals originating from unintended behavior and other noise sources such as instrumental noise. This work follows the vision that intelligence is not only a function of a centralized sophisticated artificial brain, but can be presented in different forms in the entire robot including its perception and motion systems (the mind is not contained in the brain, but distributed in every cell in the body). A simple example of using the proposed scheme was implemented and the results of two experiments with it are also presented. (shrink)

I offer a simple method for further investigating the Interactive Specialization framework, and some data that may or may not be compatible with the approach, depending on the precise meaning of Findings from my lab indicate that, while networks of brain areas cooperate in specialized ways to support cognitive functions, individual brain areas participate in many such networks, in different cognitive domains.

Enormous phylogenetic variation exists in the number and sizes of introns in protein‐coding genes. Although some consideration has been given to the underlying role of the population‐genetic environment in defining such patterns, the influence of the intracellular environment remains virtually unexplored. Drawing from observations on interactions between co‐transcriptional processes involved in splicing and mRNA 3′‐end formation, a mechanistic model is proposed for splice‐site recognition that challenges the commonly accepted intron‐ and exon‐definition models. Under the suggested model, splicing factors that (...) outcompete 3′‐end processing factors for access to intronic binding sites concurrently favor the recruitment of 3′‐end processing factors at the pre‐mRNA tail. This hypothesis sheds new light on observations such as the intron‐mediated enhancement of gene expression and the negative correlation between intron length and levels of gene expression. (shrink)

This paper presents three interesting consequences that follow from admitting an ontology of rigid bodies in classical mechanics. First, it shows that some of the most characteristic properties of supertasks based on binary collisions between particles, such as the possibility of indeterminism or the non-conservation of energy, persist in the presence of gravitational interaction. This makes them gravitational supertasks radically different from those that have appeared in the literature to date. Second, Sect. 6 proves that the role of gravitation in (...) supertasks of this kind may be highly non-trivial. Third,, the gravitational supertasks found in the first part enable us to show that indeterminism of classical mechanics with gravitation is much more general than has been supposed until now. This result is especially interesting from the philosophical viewpoint, as it links the scope of indeterminism in a theory like classical mechanics directly with the nature of its ontological hypotheses. (shrink)

The temporal updating of an agent’s beliefs in response to a flow of information is modeled in a simple modal logic that, for every date t, contains a normal belief operator B t and a non-normal information operator I t which is analogous to the ‘only knowing’ operator discussed in the computer science literature. Soundness and completeness of the logic are proved and the relationship between the proposed logic, the AGM theory of belief revision and the notion of plausibility (...) is discussed. (shrink)

Introduction Social anxiety disorder (SAD) symptoms are maintained by cognitive biases, which are overestimations of the severity and likelihood of negative social events (cost/probability biases), and by sensitivity to rewards and punishments that are determined according to behavioral inhibition/behavioral activation systems (BIS/BAS). Cost/probability biases might activate the behavioral immune system and exacerbate the avoidance of social events. Earlier studies have proposed that low BIS or high BAS decrease SAD symptoms; BIS/BAS may even change the effects of cognitive biases on SAD (...) symptoms. Hence, the current study investigates the interaction effects of BIS/BAS and cost/probability biases on SAD symptoms. Method Seventy-six Japanese undergraduate students completed the Japanese version of the Liebowitz Social Anxiety Scale (LSAS), which comprises Fear and Avoidance subscales, the BIS/BAS Scale, and the Social Cost Probability Scale. Results A multiple regression analysis was performed to examine whether cost/probability biases, BIS/BAS, and their interactions affected SAD symptoms; following this, the main effects of cost bias and BIS were determined for LSAS-Fear (β =.64, p <.001; β =.33, p <.01) and LSAS-Avoidance (β =.49, p <.001; β =.35, p <.01). The interaction effect between cost bias and BAS was significant for LSAS-Avoidance (β = −.32, p <.05). Simple slope analysis showed that the slope of cost bias was significant for low-BAS individuals (β =.77, p <.001) but not for high-BAS individuals (β = −.21, n.s.). The interaction effect between probability bias and BAS was significant for LSAS-Avoidance (β =.40, p <.01) as well. Further, simple slope analysis revealed that the slope of probability bias was significant for low-BAS individuals (β = −.53, p <.05) but not for high-BAS individuals (β =.17, n.s.). Discussion The study found interesting results with respect to the avoidance of social events. Low-BAS individuals with high cost or low probability biases regarding social events may have a tendency to avoid social events. In contrast, if high-BAS individuals overestimate the cost of social events or underestimate the probability of social events, their anticipation of rewards might prevent them from avoiding social events. (shrink)

Simple type theory is a higher-order predicate logic for reasoning about truth values, individuals, and simply typed total functions. We present in this paper a version of simple type theory, called PF*, in which functions may be partial and types may have subtypes. We define both a Henkin-style general models semantics and an axiomatic system for PF*, and we prove that the axiomatic system is complete with respect to the general models semantics. We also define a notion of (...) an interpretation of one PF* theory in another. PF* is intended as a foundation for mechanized mathematics. It is the basis for the logic of , an Interactive Mathematical Proof System developed at The MITRE Corporation. (shrink)

A novel semantic naturalization program is proposed. Its three main differences from informational semantics approaches are as follows. First, it makes use of a perceptually based, four-factor interactive causal relation in place of a simple nomic covariance relation. Second, it does not attempt to globally naturalize all semantic concepts, but instead it appeals to a broadly realist interpretation of natural science, in which the concept of propositional truth is off-limits to naturalization attempts. And third, it treats all semantic concepts (...) as being purely abstract, so that concrete cognitive states are only indexed by them rather than instantiating them. (shrink)

This book aims to explain, by appealing to the mathematical method of arbitrary functions (MAF) initiated by Hopf and Poincaré, how the many and various interactions of the parts of a complex system often result in simple probabilistic patterns of behaviour. A complex system is vaguely defined as a system of many parts (called enions) which are somewhat autonomous but strongly interacting (italicized words are Strevens’ jargon). Strevens says that a system shows simple behaviour when it can (...) be described mathematically with a small number of variables. A philosophical treatment of complex systems, the MAF, and the emergence of simple probabilistic patterns is welcome because these important topics have been rather neglected. (shrink)

Functionality is essential to any form of anticipation beyond simple directedness at an end. In the literature on function in biology, there are two distinct approaches. One, the etiological view, places the origin of function in selection, while the other, the organizational view, individuates function by organizational role. Both approaches have well-known advantages and disadvantages. I propose a reconciliation of the two approaches, based in an interactivist approach to the individuation and stability of organisms. The approach was suggested by (...) Kant in the Critique of Judgment, but since it requires, on his account, the identification a new form of causation, it has not been accessible by analytical techniques. I proceed by construction of the required concept to fit certain design requirements. This construction builds on concepts introduced in my previous four talks to these meetings. (shrink)

In Simple Rules for a Complex World, I outlined a set of legal rules that facilitate just and efficient social interactions among individuals. Frederick Schauer's critique of my book ignores the specific implications of my system in favor of a general critique of simplicity that overlooks the dangers to liberty when complex rules confer vast discretion on public figures. He also does not refer to the nonlibertarian features of my system that allow for overcoming holdout positions. These “take (...) and pay” rules explain how a system broadly protective of private property responds to well‐known two‐person (Able‐Infirm) hypothetical of the sort advanced by G. A. Cohen, which are designed to show how claims of self‐ownership lend strong support to egalitarian outcomes. (shrink)

The emerging area of network biology is seeking to provide insights into organizational principles of life. However, despite significant collaborative efforts, there is still typically a weak link between biological and computational scientists and a lack of understanding of the research issues across the disciplines. This results in the use of simple computational techniques of limited potential that are incapable of explaining these complex data. Hence, the danger is that the community might begin to view the topological properties of (...) network data as mere statistics, rather than rich sources of biological information. A further danger is that such views might result in the imposition of scientific doctrines, such as scale-free-centric (on the modeling side) and genome-centric (on the biological side) opinions onto this area. Here, we take a graph-theoretic perspective on protein-protein interaction networks and present a high-level overview of the area, commenting on possible challenges ahead. (shrink)

Comprehensively improving the level of vocational education and teaching quality has become an important initiative to meet the new round of technological revolution and industrial change. The traditional teaching mode can no longer meet the needs of industries and enterprises for job competences, and all higher education institutions are actively thinking about how to carry out teaching reform. Virtual reality can effectively solve the above-mentioned drawbacks, but the hardware facilities of the existing VR systems are extremely expensive, making it impossible (...) to popularize it in teaching. In this context, this paper is based on VR for the design of an interactive teaching platform. This paper discusses the key technologies of virtual reality, introduces the relevant theoretical foundation, and describes the current virtual reality devices with high popularity and their advantages and disadvantages for systematic analysis. From the perspective of teaching design, the design of human-computer interaction teaching process using VR technology to develop learning scenes is studied, introducing 3D modeling techniques, model construction, the production of picture and text panels, the production of video materials, and the establishment of virtual tour guide 3D scenes. The principle of this paper is to build a 3D vision for building 3D views of educational needs to design high quality images and video animation using 3DMAX and unity 3D engines. Then, we introduce the use of VR glasses, smart phones, and Bluetooth wireless handle to build a simple interactive teaching platform; the platform is of low cost of construction and student coverage, to solve the teaching resources shortage, equipment conditions lagging behind, the curriculum content aging, teachers and students who cannot interact in real time, and a series of problems. (shrink)

Simple versions of Reliabilism about justification say that S's believing that p is justified if and only if the belief was produced by a belief-forming process that is reliable above some high threshold. Alvin Goldman, in Epistemology and Cognition, argues for a more complex version of the view according to which it is total epistemic systems that are assessed for reliability, rather than individual processes. Why prefer this more complex version of Reliabilism? Two reasons suggest themselves. First, it seems (...) that the interaction of various processes of belief formation is often important. The more complex version appears to account for the interaction of processes. Second, one might doubt whether individual processes will have determinate truth-ratios. If not, the simple version of Reliabilism is a nonstarter. In this paper I argue that, despite these two apparent advantages, the complex version of Reliabilism is untenable. I conclude by arguing that the simple version is actually fine as it is.Send article to KindleTo send this article to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle. Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply. Find out more about the Kindle Personal Document Service.RELIABILISM: HOLISTIC OR SIMPLE?Volume 9, Issue 3Jeffrey DunnDOI: https://doi.org/10.1017/epi.2012.12Your Kindle email address Please provide your Kindle [email protected]@kindle.com Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Dropbox To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox. RELIABILISM: HOLISTIC OR SIMPLE?Volume 9, Issue 3Jeffrey DunnDOI: https://doi.org/10.1017/epi.2012.12Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Google Drive To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive. RELIABILISM: HOLISTIC OR SIMPLE?Volume 9, Issue 3Jeffrey DunnDOI: https://doi.org/10.1017/epi.2012.12Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Export citation Request permission. (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)

This chapter contains sections titled: Causation and Dualism Why Not Locate Souls in Space? Property/Event Dualism or Dual Aspect Theory.

In this article I try to show that the most deep level ontology can have rich meaning for our understanding of such practical and everyday phenomena as education and interaction. With this deep level ontology I mean the problem of universals. Starting from famous traditional stances of realism and nominalism, which both are for the modern theories of growth and Bildung, I continue to the third and more recently developed ontological theory, trope theory according to which the properties (qualities, relations (...) etc.) are real (unlike in nominalism) but not universal (like in realisms). Then I will take a closer look at the trope theory of CB Martin. According to it every causal event is an interaction event between simple or complex beings in which their existing dispositions may produce manifesting properties. This point of view is radically anti dualistic because that basic level causal interaction has in the simplified forms all the elements of semiotic, meaningful of mental activity of such complex beings likes humans and animals. Ome of the main general conclusions of the article is that all causal affections contain a kind of “interpretation” from the side of affected object. (shrink)

In the past, notions of embodiment have been applied to robotics mainly in the realm of very simple robots, and supporting low-level mechanisms such as dynamics and navigation. In contrast, most human-like, interactive, and socially adept robotic systems turn away from embodiment and use amodal, symbolic, and modular approaches to cognition and interaction. At the same time, recent research in Embodied Cognition (EC) is spanning an increasing number of complex cognitive processes, including language, nonverbal communication, learning, and social behavior.This (...) article suggests adopting a modern EC approach for autonomous robots interacting with humans. In particular, we present three core principles from EC that may be applicable to such robots: (a) modal perceptual representation, (b) action/perception and action/cognition integration, and (c) a simulation-based model of top-down perceptual biasing. We describe a computational framework based on these principles, and its implementation on two physical robots. This could provide a new paradigm for embodied human–robot interaction based on recent psychological and neurological findings. (shrink)

In 1950, Alan Turing proposed his eponymous test based on indistinguishability of verbal behavior as a replacement for the question "Can machines think?" Since then, two mutually contradictory but well-founded attitudes towards the Turing Test have arisen in the philosophical literature. On the one hand is the attitude that has become philosophical conventional wisdom, viz., that the Turing Test is hopelessly flawed as a sufficient condition for intelligence, while on the other hand is the overwhelming sense that were a machine (...) to pass a real live full-fledged Turing Test, it would be a sign of nothing but our orneriness to deny it the attribution of intelligence. The arguments against the sufficiency of the Turing Test for determining intelligence rely on showing that some extra conditions are logically necessary for intelligence beyond the behavioral properties exhibited by an agent under a Turing Test. Therefore, it cannot follow logically from passing a Turing Test that the agent is intelligent. I argue that these extra conditions can be revealed by the Turing Test, so long as we allow a very slight weakening of the criterion from one of logical proof to one of statistical proof under weak realizability assumptions. The argument depends on the notion of interactive proof developed in theoretical computer science, along with some simple physical facts that constrain the information capacity of agents. Crucially, the weakening is so slight as to make no conceivable difference from a practical standpoint. Thus, the Gordian knot between the two opposing views of the sufficiency of the Turing Test can be cut. (shrink)

We explore the interaction between oculomotor control and language comprehension on the sentence level using two well-tested computational accounts of parsing difficulty. Previous work (Boston, Hale, Vasishth, & Kliegl, 2011) has shown that surprisal (Hale, 2001; Levy, 2008) and cue-based memory retrieval (Lewis & Vasishth, 2005) are significant and complementary predictors of reading time in an eyetracking corpus. It remains an open question how the sentence processor interacts with oculomotor control. Using a simple linking hypothesis proposed in Reichle, Warren, (...) and McConnell (2009), we integrated both measures with the eye movement model EMMA (Salvucci, 2001) inside the cognitive architecture ACT-R (Anderson et al., 2004). We built a reading model that could initiate short “Time Out regressions” (Mitchell, Shen, Green, & Hodgson, 2008) that compensate for slow postlexical processing. This simple interaction enabled the model to predict the re-reading of words based on parsing difficulty. The model was evaluated in different configurations on the prediction of frequency effects on the Potsdam Sentence Corpus. The extension of EMMA with postlexical processing improved its predictions and reproduced re-reading rates and durations with a reasonable fit to the data. This demonstration, based on simple and independently motivated assumptions, serves as a foundational step toward a precise investigation of the interaction between high-level language processing and eye movement control. (shrink)

A common code for integrating perceptions and actions was relevant for simple behavioral guidance well before the evolution of cognitive abilities. We review proposals that representation of to-be-produced events played important roles in early behavior, and evidence that the neural mechanisms supporting such rudimentary sensory predictions have been elaborated through evolution to support the cognitive codes addressed by TEC.

People are adept at perceiving interactions from movements of simple shapes, but the underlying mechanism remains unknown. Previous studies have often used object movements defined by experimenters. The present study used aerial videos recorded by drones in a real-life environment to generate decontextualized motion stimuli. Motion trajectories of displayed elements were the only visual input. We measured human judgments of interactiveness between two moving elements and the dynamic change in such judgments over time. A hierarchical model was developed (...) to account for human performance in this task. The model represents interactivity using latent variables and learns the distribution of critical movement features that signal potential interactivity. The model provides a good fit to human judgments and can also be generalized to the original Heider–Simmel animations. The model can also synthesize decontextualized animations with a controlled degree of interactiveness, providing a viable tool for studying animacy and social perception. (shrink)

In order to understand ongoing activity, observers segment it into meaningful temporal parts. Segmentation can be based on bottom‐up processing of distinctive sensory characteristics, such as movement features. Segmentation may also be affected by top‐down effects of knowledge structures, including information about actors' intentions. Three experiments investigated the role of movement features and intentions in perceptual event segmentation, using simple animations. In all conditions, movement features significantly predicted where participants segmented. This relationship was stronger when participants identified larger units (...) than when they identified smaller units, and stronger when the animations were generated randomly than when they were generated by goal‐directed human activity. This pattern suggests that bottom‐up processing played an important role in segmentation of these stimuli, but that this was modulated by top‐down influence of knowledge structures. To describe accurately how observers perceive ongoing activity, one must account for the effects of distinctive sensory characteristics, the effects of knowledge structures, and their interactions. (shrink)

We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests. The system is designed to reflect the natural style of reasoning with KAT that one finds in the literature. One can also use the system to reason about properties of simple imperative programs using schematic KAT. We explain how the system works and illustrate its use with some examples, including an extensive scheme equivalence proof.

Within the field of human‐computer interaction, the study of the interaction between people and computers has revealed many phenomena. For example, highly interactive devices, such as the Apple Macintosh, are often easier to learn and use than keyboard‐based devices such as Unix. Similarly, consistent interfaces are easier to learn and use than inconsistent ones. This article describes an integrated cognitive model designed to exhibit a range of these phenomena while learning task‐action mappings: action sequences for achieving simple goals, such (...) as opening a file in a word processor. The model, called TAL, is of a user who is familiar with the basic operations of a keyboard and mouse, but unfamiliar with the particular menu structures, words, and actions required to use the device. The model is constructed in Soar and employs a single set of architectural mechanisms. It exhibits behavior that captures human preference for consistent, interactive, and meaningful task‐action mappings. (shrink)

Within the field of human‐computer interaction, the study of the interaction between people and computers has revealed many phenomena. For example, highly interactive devices, such as the Apple Macintosh, are often easier to learn and use than keyboard‐based devices such as Unix. Similarly, consistent interfaces are easier to learn and use than inconsistent ones. This article describes an integrated cognitive model designed to exhibit a range of these phenomena while learning task‐action mappings: action sequences for achieving simple goals, such (...) as opening a file in a word processor. The model, called TAL, is of a user who is familiar with the basic operations of a keyboard and mouse, but unfamiliar with the particular menu structures, words, and actions required to use the device. The model is constructed in Soar and employs a single set of architectural mechanisms. It exhibits behavior that captures human preference for consistent, interactive, and meaningful task‐action mappings. (shrink)