Computation in Physical Systems: A Normative Mapping Account

The relationship between abstract formal procedures and the activities of actual physical systems has proved to be surprisingly subtle and controversial, and there are a number of competing accounts of when a physical system can be properly said to implement a mathematical formalism and hence perform a computation. I defend an account wherein computational descriptions of physical systems are high-level normative interpretations motivated by our pragmatic concerns. Furthermore, the criteria of utility and success vary according to our diverse purposes and pragmatic goals. Hence there is no independent or uniform fact to the matter, and I advance the ‘anti-realist’ conclusion that computational descriptions of physical systems are not founded upon deep ontological distinctions, but rather upon interest-relative human conventions. Hence physical computation is a ‘conventional’ rather than a ‘natural’ kind

Real-time whole-genome sequencing for routine typing, surveillance, and outbreak detection of verotoxigenic Escherichia coli.

Fast and accurate identification and typing of pathogens are essential for effective surveillance and outbreak detection. The current routine procedure is based on a variety of techniques, making the procedure laborious, time-consuming, and expensive. With whole-genome sequencing (WGS) becoming cheaper, it has huge potential in both diagnostics and routine surveillance. The aim of this study was to perform a real-time evaluation of WGS for routine typing and surveillance of verocytotoxin-producing Escherichia coli (VTEC). In Denmark, the Statens Serum Institut (SSI) routinely receives all suspected VTEC isolates. During a 7-week period in the fall of 2012, all incoming isolates were concurrently subjected to WGS using IonTorrent PGM. Real-time bioinformatics analysis was performed using web-tools (www.genomicepidemiology.org) for species determination, multilocus sequence type (MLST) typing, and determination of phylogenetic relationship, and a specific VirulenceFinder for detection of E. coli virulence genes was developed as part of this study. In total, 46 suspected VTEC isolates were characterized in parallel during the study. VirulenceFinder proved successful in detecting virulence genes included in routine typing, explicitly verocytotoxin 1 (vtx1), verocytotoxin 2 (vtx2), and intimin (eae), and also detected additional virulence genes. VirulenceFinder is also a robust method for assigning verocytotoxin (vtx) subtypes. A real-time clustering of isolates in agreement with the epidemiology was established from WGS, enabling discrimination between sporadic and outbreak isolates. Overall, WGS typing produced results faster and at a lower cost than the current routine. Therefore, WGS typing is a superior alternative to conventional typing strategies. This approach may also be applied to typing and surveillance of other pathogens

Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories

The computer-mechanization of an ambitious explicit ethical theory, Gewirth's Principle of Generic Consistency, is used to showcase an approach for representing and reasoning with ethical theories exhibiting complex logical features like alethic and deontic modalities, indexicals, higher-order quantification, among others. Harnessing the high expressive power of Church's type theory as a meta-logic to semantically embed a combination of quantified non-classical logics, our work pushes existing boundaries in knowledge representation and reasoning. We demonstrate that intuitive encodings of complex ethical theories and their automation on the computer are no longer antipodes.Comment: 14 page

Combining intention and emotional state inference in a dynamic neural field architecture for human-robot joint action

We report on our approach towards creating socially intelligent robots, which is heavily inspired by recent experimental findings about the neurocognitive mechanisms underlying action and emotion understanding in humans. Our approach uses neuro-dynamics as a theoretical language to model cognition, emotional states, decision making and action. The control architecture is formalized by a coupled system of dynamic neural fields representing a distributed network of local but connected neural populations. Different pools of neurons encode relevant information in the form of self-sustained activation patterns, which are triggered by input from connected populations and evolve continuously in time. The architecture implements a dynamic and flexible context-dependent mapping from observed hand and facial actions of the human onto adequate complementary behaviors of the robot that take into account the inferred goal and inferred emotional state of the co-actor. The dynamic control architecture was validated in multiple scenarios in which an anthropomorphic robot and a human operator assemble a toy object from its components. The scenarios focus on the robot’s capacity to understand the human’s actions, and emotional states, detect errors and adapt its behavior accordingly by adjusting its decisions and movements during the execution of the task.The author(s) disclosed receipt of the following financial support for the research, authorship, and/or publication of this article: This work was possible in part by the funding of research grants from the Portuguese Foundation for Science and Technology (grant numbers SFRH/BD/48527/2008, SFRH/BPD/71874/2010, SFRH/BD/81334/2011), and with funding from FP6-IST2 EU-IP Project JAST (project number 003747) and FP7 Marie Curie ITN Neural Engineering Transformative Technologies NETT (project number 289146).info:eu-repo/semantics/publishedVersio

Parents adaptively use anaphora during parent-child social interaction

Anaphora, a ubiquitous feature of natural language, poses a particular challenge to young children as they first learn language due to its referential ambiguity. In spite of this, parents and caregivers use anaphora frequently in child-directed speech, potentially presenting a risk to effective communication if children do not yet have the linguistic capabilities of resolving anaphora successfully. Through an eye-tracking study in a naturalistic free-play context, we examine the strategies that parents employ to calibrate their use of anaphora to their child's linguistic development level. We show that, in this way, parents are able to intuitively scaffold the complexity of their speech such that greater referential ambiguity does not hurt overall communication success

Enacting the Soft Automaton: Empirical Ontologies of Two Soft Robots from Technical Research and Media Art

This paper examines two soft robots from technical research and media art respectively and the practices through which they come into being. Departing from a juxtaposition of video presentations of the two robots, the empirical ontologies of a soft robot enacted in practice are analysed. The paper argues that two different versions of softness are being done and that the two sets of practices concomitantly respecify “knowledge” and “autonomy” as concepts, with different ethical and political implications.This paper examines two soft robots from technical research and media art respectively and the practices through which they come into being. Departing from a juxtaposition of video presentations of the two robots, the empirical ontologies of a soft robot enacted in practice are analysed. The paper argues that two different versions of softness are being done and that the two sets of practices concomitantly respecify “knowledge” and “autonomy” as concepts, with different ethical and political implications

Looking the Part: Social Status Cues Shape Race Perception

It is commonly believed that race is perceived through another's facial features, such as skin color. In the present research, we demonstrate that cues to social status that often surround a face systematically change the perception of its race. Participants categorized the race of faces that varied along White-Black morph continua and that were presented with high-status or low-status attire. Low-status attire increased the likelihood of categorization as Black, whereas high-status attire increased the likelihood of categorization as White; and this influence grew stronger as race became more ambiguous (Experiment 1). When faces with high-status attire were categorized as Black or faces with low-status attire were categorized as White, participants' hand movements nevertheless revealed a simultaneous attraction to select the other race-category response (stereotypically tied to the status cue) before arriving at a final categorization. Further, this attraction effect grew as race became more ambiguous (Experiment 2). Computational simulations then demonstrated that these effects may be accounted for by a neurally plausible person categorization system, in which contextual cues come to trigger stereotypes that in turn influence race perception. Together, the findings show how stereotypes interact with physical cues to shape person categorization, and suggest that social and contextual factors guide the perception of race

Characteristics of Escherichia coli strains belonging to enteropathogenic E. coli serogroups isolated in Italy from children with diarrhea

Fifty-five Escherichia coli strains belonging to enteropathogenic E. coli (EPEC) serogroups were examined for phenotypic and genetic factors associated with virulence. The strains were isolated in Italy from children with diarrhea and identified as EPEC by clinical laboratories using commercially available antisera. O:H serotyping showed that 35 strains (27 of O26, O111, and O128 serogroups) belonged to 11 serotypes considered to be classical EPEC O:H serotypes. The other 20 isolates were classified as 15 nonclassical EPEC O:H serotypes. All the potential EPEC virulence factors associated with bacterial adhesion (localized adherence, fluorescent-actin staining test positivity, presence of the attaching and effacing [eaeA] gene), the production of verotoxin, and the positivity with the enterohemorrhagic E. coli probe were significantly more frequent among isolates belonging to classical than nonclassical serotypes. Strains displaying an aggregative adhesion and hybridizing with the enteroaggregative DNA probe were found in serogroups O86, O111, and O126. Verotoxin-producing isolates belonged to serogroups O26, O111, and O128. Only one of the isolates hybridized with the EPEC adherence factor (EAF) probe, but 33 strains gave positive results with the eae probe, confirming that the former is more suitable in epidemiological studies in European countries. These results indicate that up to 75% of strains identified as EPEC by commercial antisera may possess potential virulence properties and/or belong to classical EPEC O:H serotypes and suggest that O grouping is still a useful diagnostic tool for presumptive identification of diarrheagenic E. coli in clinical laboratories