Adoption of technology in agriculture can significantly reorganize production and relationships amongst humans, animals, technology, and the natural environment. However, the adoption of agricultural technology is not homogenous, and diversity in integration leads to a diversity of outcomes and impacts. In this study, we examine the adoption of automated milking systems in small and midsize dairy farms in the US Midwest, the Netherlands, and Denmark. In contrast to technological determinism, we find significant variation amongst adopters in the implementation (...) of AMS and corresponding variation in outcomes. Adopters have significant discretion in determining the use of AMS, which leads to a diversity of possible outcomes for family and non-family labor, human–cow relationships, animal welfare, the environment, and financial resiliency. Adoption and implementation are shaped by both structural factors, such as debt load and labor market variation, and by farmers’ individual personality traits and values, such as a willingness to release control to technology. Rather than uniform adoption and impacts of technology, we highlight the importance of context, the co-constitution of technology and users, and the diversity of technology adoption and its associated impacts. (shrink)

An analysis of the ethical impacts of the use of anAutomatic Milking System (AMS) is employed as a casestudy to illustrate the use of a form of bioethicalanalysis in technology assessment. The approach isbased on the Ethical Matrix, where `impacts' areassessed in terms of (lack of) respect for threeethical principles as applied to interest groups. Inthis case, only impacts on dairy cows are examined,and principally in terms of their behaviouralfreedom.In contrast to traditional milking systems, AMS, inprinciple, allow (...) cows to present for milkingvoluntarily. So with AMS, it is claimed that dairymanagement relies on the autonomous interaction of thecow with her environment. (shrink)

The aim of this study was to explore stakeholder perceptions of the contribution of an Automatic Milking System (AMS) to sustainable development of organic dairy production in Denmark and the Netherlands. In addition, reasons for the current difference in AMS use on organic dairy farms between both countries were explored. To answer above mentioned aims, farmers and advisors in both countries were interviewed using a focus group approach. Questions of the interviews were based on a literature review on (...) sustainability issues affected by introduction of AMS. Participants expressed no moral problems regarding AMS use. They, however, pointed out uncertainty about the economic gain, difficulties with grazing, adaptation problems to technology, and image problems towards consumers. The latter results from a reduction in grazing time affecting both animal welfare and product quality. The participants did not recognize eutrophication, as result of high stocking density on farmstead lots, as a problem caused by AMS. The milk quality problem related to AMS use, although acknowledged as crucial towards consumers, was not prioritized very highly, especially not by the farmers in both countries. All groups were, however, unanimous in their perception of how important image was as far as the consumers are concerned. The perception analysis revealed that Dutch participants were more concerned about the economic payoff of AMS use, and showed more reluctance towards enlargement than Danish ones. In addition, they acknowledged the small-scale naturalness of organic production. These differences in perception could possibly explain observed differences in AMS use in organic dairy production between Denmark and the Netherlands. (shrink)

Robotic or automatic milking systems are novel technologies that take over the labor of dairy farming and reduce the need for human–animal interactions. Because robotic milking involves the replacement of ‘conventional’ twice-a-day milking managed by people with a system that supposedly allows cows the freedom to be milked automatically whenever they choose, some claim robotic milking has health and welfare benefits for cows, increases productivity, and has lifestyle advantages for dairy farmers. This paper examines (...) how established ethical relations on dairy farms are unsettled by the intervention of a radically different technology such as AMS. The renegotiation of ethical relationships is thus an important dimension of how the actors involved are re-assembled around a new technology. The paper draws on in-depth research on UK dairy farms comparing those using conventional milking technologies with those using AMS. We explore the situated ethical relations that are negotiated in practice, focusing on the contingent and complex nature of human–animal–technology interactions. We show that ethical relations are situated and emergent, and that as the identities, roles, and subjectivities of humans and animals are unsettled through the intervention of a new technology, the ethical relations also shift. (shrink)

Ethical concerns regarding agricultural practices can be found to co-evolve with technological developments. This paper aims to create an understanding of ethics that is helpful in debating technological innovation by studying such a co-evolution process in detail: the development and adoption of the milking robot. Over the last decade an increasing number of milking robots, or automatic milking systems (AMS), has been adopted, especially in the Netherlands and a few other Western European countries. The appraisal (...) of this new technology in ethical terms has appeared to be a complicated matter. Compared to using a conventional milking parlor, the use of an AMS entails in several respects a different practice of dairy farming, the ethical implications and evaluation of which are not self-evident but are themselves part of a dynamic process. It has become clear that with its use, the entire practice of dairy farming has been reorganized around this new device. With a robot, cows must voluntarily present themselves to be milked, whereby an ethical norm of (individual) freedom for cows can be seen to emerge together with this new technology. But adopting a robot also implies changes in what is considered to be a good farmer and an appropriate relation between farmer and cow. Through interviews, attending “farmers’ network” meetings in the Netherlands, and studying professional literature and dedicated dairy farming web forums, this paper traces the way that ethical concerns are a dynamic part of this process of rearranging a variety of elements of the practice of dairy farming. (shrink)

The aim of this study was to explore stakeholder perceptions of the contribution of an Automatic Milking System (AMS) to sustainable development of organic dairy production in Denmark and the Netherlands. In addition, reasons for the current difference in AMS use on organic dairy farms between both countries were explored. To answer above mentioned aims, farmers and advisors in both countries were interviewed using a focus group approach. Questions of the interviews were based on a literature review on (...) sustainability issues affected by introduction of AMS. Participants expressed no moral problems regarding AMS use. They, however, pointed out uncertainty about the economic gain, difficulties with grazing, adaptation problems to technology, and image problems towards consumers. The latter results from a reduction in grazing time affecting both animal welfare and product quality. The participants did not recognize eutrophication, as result of high stocking density on farmstead lots, as a problem caused by AMS. The milk quality problem related to AMS use, although acknowledged as crucial towards consumers, was not prioritized very highly, especially not by the farmers in both countries. All groups were, however, unanimous in their perception of how important image was as far as the consumers are concerned. The perception analysis revealed that Dutch participants were more concerned about the economic payoff of AMS use, and showed more reluctance towards enlargement than Danish ones. In addition, they acknowledged the small-scale naturalness of organic production. These differences in perception could possibly explain observed differences in AMS use in organic dairy production between Denmark and the Netherlands. (shrink)

Artificial intelligence and robotics have increasingly been adopted in agri-food systems—from milking robots to self-driving tractors. New projects extend these technologies in an effort to automate skilled work that has previously been considered dependent on human expertise due to its complexity. In this paper, we draw on qualitative research carried out with farm managers on apple orchards and winegrape vineyards in Aotearoa New Zealand. We investigate how agricultural managers’ perceptions of future agricultural automation relates to their approach to (...) expertise, or the degree to which they think specialised skills and knowledge are required to perform agricultural work on their orchards and vineyards. Our research generates two insights: the perceived potential for work to be automated is related to the degree to which it is seen to require technical or embodied expertise, with technical expertise being more automatable; and, while embodied expertise is perceived to be more difficult to automate, it is sometimes attributed more exclusively to those in positions of power, such that embodied expertise can be highly valued while the majority of embodied work is viewed as non-expert and thus automatable. Our analysis illustrates that a robot can be an expert when expertise is technical. It also shows variability in the conceptualization of skilled or unskilled work, and that those conceptualizations can set the stage for the future effects of new technologies. This generates new insights into the conditions under which automation might reproduce existing inequalities in agriculture, and also raises new questions about responsibility in the context of automation. (shrink)

Bioscientists generate far more data than their minds can handle, and this trend is likely to continue. With the aid of a small set of versatile tools for mathematical modeling and statistical assessment, bioscientists can explore their real-world systems without experiencing data overflow. This article outlines an approach for combining modern high-throughput, low-cost, but non-selective biospectroscopy measurements with soft, multivariate biochemometrics data modeling to overview complex systems, test hypotheses, and making new discoveries. From preliminary, broad hypotheses and goals, (...) many relevant samples are selected and measured with respect to many informative variables. The resulting tables represent a “cacophony” of data. From these, the most relevant and reliable “underlying harmonies and rhythms” are extracted and tested statistically, displayed for interpretation, and used for prediction. Outliers are detected automatically. Interesting subsets of samples can then be chosen for in-depth analyses in subsequent research cycles. This pragmatic, top-down approach takes advantage of developments in both “soft,” data-driven modeling and “hard,” knowledge-driven cultures. Data analytical examples show how information-rich biospectroscopy can be used for characterizing and quantifying known and unknown chemical constituents and physical phenomena in intact biosamples. This is based on a combination of deductive “hard” and inductive “soft” modeling. The examples represent NIR spectra of biochemical mixtures, FTIR spectra of a microbiological fermentation process, and FTIR analysis of fatty acids in milk for functional genomics. (shrink)

We connect learning algorithms and algorithms automating proof search in propositional proof systems: for every sufficiently strong, well-behaved propositional proof system [Formula: see text], we prove that the following statements are equivalent, (1) Provable learning. [Formula: see text] proves efficiently that p-size circuits are learnable by subexponential-size circuits over the uniform distribution with membership queries. (2) Provable automatability. [Formula: see text] proves efficiently that [Formula: see text] is automatable by non-uniform circuits on propositional formulas expressing p-size circuit lower bounds. (...) Here, [Formula: see text] is sufficiently strong and well-behaved if I.–III. hold: I. [Formula: see text] p-simulates Jeřábek’s system [Formula: see text] (which strengthens the Extended Frege system [Formula: see text] by a surjective weak pigeonhole principle); II. [Formula: see text] satisfies some basic properties of standard proof systems which p-simulate [Formula: see text]; III. [Formula: see text] proves efficiently for some Boolean function [Formula: see text] that [Formula: see text] is hard on average for circuits of subexponential size. For example, if III. holds for [Formula: see text], then Items 1 and 2 are equivalent for [Formula: see text]. We use the following modified notion of automatability in Item 2, the automating circuits output a [Formula: see text]-proof of a given formula (expressing a p-size circuit lower bound for a function [Formula: see text]) in non-uniform p-time in the length of a shortest [Formula: see text]-proof of a closely related but different formula (expressing an average-case subexponential-size circuit lower bound for the same function [Formula: see text]). If there is a function [Formula: see text] which is hard on average for circuits of size [Formula: see text], for each sufficiently big [Formula: see text], then there is an explicit propositional proof system [Formula: see text] satisfying properties I.-III., i.e. the equivalence of Items 1 and 2 holds for [Formula: see text]. (shrink)

To shorten the travel time and improve comfort, the automatic train driving system is considered to replace manual driving. In this article, an automatic control method of computer application data-processing system based on artificial intelligence is proposed. An automatic train operation (ATO) introduced the structure and function of an autopilot system (train), optimized the train running on the target curve, introduced the basic principle of fuzzy generalized predictive control (PC) algorithm, and combined with the characteristics of ATO (...) system design the speed controller based on optimization algorithm, the target curve to make use of the designed controller to track and simulation validation. The experimental outcomes demonstrate that when the train runs to 90 s, the displacement difference reaches about 40 m, which proves that the fuzzy PC has better displacement tracking, punctual arrival, and higher stopping accuracy. (shrink)

Journal of Mathematical Logic, Ahead of Print. We connect learning algorithms and algorithms automating proof search in propositional proof systems: for every sufficiently strong, well-behaved propositional proof system [math], we prove that the following statements are equivalent, (1) Provable learning. [math] proves efficiently that p-size circuits are learnable by subexponential-size circuits over the uniform distribution with membership queries. (2) Provable automatability. [math] proves efficiently that [math] is automatable by non-uniform circuits on propositional formulas expressing p-size circuit lower bounds. Here, (...) [math] is sufficiently strong and well-behaved if I.–III. hold: I. [math] p-simulates Jeřábek’s system [math] (which strengthens the Extended Frege system [math] by a surjective weak pigeonhole principle); II. [math] satisfies some basic properties of standard proof systems which p-simulate [math]; III. [math] proves efficiently for some Boolean function [math] that [math] is hard on average for circuits of subexponential size. For example, if III. holds for [math], then Items 1 and 2 are equivalent for [math]. We use the following modified notion of automatability in Item 2, the automating circuits output a [math]-proof of a given formula (expressing a p-size circuit lower bound for a function [math]) in non-uniform p-time in the length of a shortest [math]-proof of a closely related but different formula (expressing an average-case subexponential-size circuit lower bound for the same function [math]). If there is a function [math] which is hard on average for circuits of size [math], for each sufficiently big [math], then there is an explicit propositional proof system [math] satisfying properties I.-III., i.e. the equivalence of Items 1 and 2 holds for [math]. (shrink)

Scholarly debates on sustainable consumption have generally overlooked alternative agro-food networks in the economies outside of Western Europe and North America. Building on practice-based theories, this article focuses on informal raw milk markets in post-socialist Lithuania to examine how such alternative systems emerge and operate in the changing political, social, and economic contexts. It makes two contributions to the scholarship on sustainable consumption. In considering semi-subsistence practices and poverty-driven consumption, this article argues for a richer, more critical, and inclusive (...) theory of sustainability that takes into consideration vernacular forms of exchange and approaches poor consumers as subjects of global history. Second, it revisits practice theories and infrastructures of consumption approaches to consider ruptures, discontinuities, and historical change in infrastructures as a way to account for inequalities and experiences of marginalization. (shrink)

This paper examines the presentsupply of milk to the urban inhabitant ofMexico City, paying particular attention tocurrent themes of market liberalization,sustainable development, and democratization.This is facilitated by an infrastructure withinand without the metropolitan zone and coexistswith a large importation of milk from theinternational market, much being sold at lowprices to low income groups. Reduced statequality regulation has enabled the use of theseimports in industrialized milk products. Giventhe integration of international and nationalsources in milk supply, simply increasingMexican production will not reduce (...) imports, andthe NAFTA trade pact is unlikely to address theresource exploitation problems faced bynational production. (shrink)

Every organization has to deal with operational risks, arising from the execution of a company’s primary business functions. In this paper, we describe a legal knowledge management system which helps users understand the meaning of legislative text and the relationship between norms. While much of the knowledge requires the input of legal experts, we focus in this article on NLP applications that semi-automate essential time-consuming and lower-skill tasks—classifying legal documents, identifying cross-references and legislative amendments, linking legal terms to the most (...) relevant definitions, and extracting key elements of legal provisions to facilitate clarity and advanced search options. The use of Natural Language Processing tools to semi-automate such tasks makes the proposal a realistic commercial prospect as it helps keep costs down while allowing greater coverage. (shrink)

When Muslims thought of establishing milk banks, religious reservations were raised. These reservations were based on the concept that women's milk creates ‘milk kinship’ believed to impede marriage in Islamic Law. This type of kinship is, however, a distinctive phenomenon of Arab tradition and relatively unknown in Western cultures. This article is a pioneer study which fathoms out the contemporary discussions of Muslim scholars on this issue. The main focus here is a religious guideline (fatwa) issued in 1983, referred to (...) in this article as ‘one text’, by the Egyptian scholar Yūsuf al-Qaradāwī who saw no religious problem in establishing or using these banks. After a number of introductory remarks on the ‘Western’ phenomenon of milk banks and the ‘Islamic’ phenomenon of ‘milk kinship’, this article analyses the fatwa of al-Qaradāwī‘one text’ and investigates the ‘two contexts’ in which this fatwa was discussed, namely, the context of the Muslim world and that of Muslim minorities living in the West. The first context led to rejecting the fatwa and refusing to introduce the milk banking system in the Muslim world. The second context led to accepting this system and thus allowing Muslims living in the West to donate and receive milk from these banks. Besides its relevance to specialists in the fields of Islamic studies, anthropology and medical ethics, this article will also be helpful to physicians and nurses who deal with patients of Islamic background. (shrink)

In this article, I shall examine some of the issues and questions involved in the technology of autonomous robots, a technology that has developed greatly and is advancing rapidly. I shall do so with reference to a particularly critical field: autonomous military robotic systems. In recent times, various issues concerning the ethical implications of these systems have been the object of increasing attention from roboticists, philosophers and legal experts. The purpose of this paper is not to deal with (...) these issues, but to show how the autonomy of those robotic systems, by which I mean the full automation of their decision processes, raises difficulties and also paradoxes that are not easy to solve. This is especially so when considering the autonomy of those robotic systems in their decision processes alongside their reliability. Finally, I would like to show how difficult it is to respond to these difficulties and paradoxes by calling into play a strong formulation of the precautionary principle. (shrink)

ABSTRACT Philosophers of education have written about the moral, ethical, racial, and gendered dimensions of the hidden curriculum of what we eat, who we eat with, and the significance afforded this moment of the school day. To this body of literature, we add the observation that female bodies were positioned by Jean Jacques Rousseau as necessary food for the stuff of society. We trace the ways in which Rousseau’s rendering of the natural female body have followed us into our modern (...) educational systems such that any hopes for gender equality in our educational and social structures must attend to the pervasive naturalization of the bodies – human and nonhuman – that we are taught to milk for all that they are worth. (shrink)

This paper provides an overview of developments in a dual processing theory of automatic and controlled processing that began with the empirical and theoretical work described by Schneider and Shiffrin (1977) and Shiffrin and Schneider (1977) over a quarter century ago. A review of relevant empirical findings suggests that there is a set of core behavioral phenomena reflecting differences between controlled and automatic processing that must be addressed by a successful theory. These phenomena relate to: consistency in training, (...) serial versus parallel processing, level of effort, robustness to stressors, degree of control, effects on long‐term memory, and priority encoding. We detail a computational model of controlled processing, CAP2, that accounts for these phenomena as emergent properties of an underlying hybrid computational architecture. The model employs a large network of distributed data modules that can categorize, buffer, associate, and prioritize information. Each module is a connectionist network with input and output layers, and each module communicates with a central Control System by outputting priority and activity report signals, and by receiving control signals. The Control System is composed of five processors including a Goal Processor, an Attention Controller, an Activity Monitor, an Episodic Store, and a Gating & Report Relay. The transition from controlled to automatic processing occurs in this model as the data modules become capable of transmitting their output without mediation by the Control System. We describe recent progress in mapping the components of this model onto specific neuroanatomical substrates, briefly discuss the potential for applying functional neuroimaging techniques to test the model's predictions, and its relation to other models. (shrink)

A substance in rabbit milk, 2‐methylbut‐2‐enal (2MB2), has been identified as a pheromone that triggers stereotypical searching behavior from rabbit pups.1 Pups respond to the odor of 2MB2 solutions in concentration‐dependent manner, but fail to respond to 20 other volatile components in rabbit milk and 20 additional odorants. The effectiveness of 2MB2 generalizes across strains and breeds of rabbits, but is ineffective in closely related species. Finally, pup responsiveness to 2MB2 is innate and does not require learning. This study, for (...) the first time, identifies a mammary pheromone that provides sufficient sensory cue for nipple attachment by newborns. In addition to contributing to our understanding of pheromonal communication, it provides an advantageous model system for neurobiologists. BioEssays 26:6–9, 2004. © 2003 Wiley Periodicals, Inc. (shrink)

Interactive and autonomous agents might be common in everyday life in the future; we expect that such agents will have the ability to communicate with people naturally. For natural communication, the agents should speculate about the intentions of the people they interact with. To enable agents to speculate about intentions like deception, we focused on unconscious expressions when people tell a lie. However, there is no system that can meet the necessary conditions for measuring nonverbal information in natural communication. Therefore, (...) we made a real-time system for measuring gaze direction and facial features. We conducted experiments for discriminating lies by using the system in a situation similar to actual communication. As a result, we found that we could discriminate lies by using diverse nonverbal information in the same way people did. (shrink)

In the context of the telegraphic distribution of Greenwich time, while the early experiments, the roles of successive Astronomers Royal in its expansion, and its impacts on the standardization of time in Victorian Britain have all been evaluated, the attempts of George Biddell Airy and his collaborators in constructing the Royal Observatory's time signals as the authoritative source of standard time have been underexplored within the existing historical literature. This paper focuses on the wide-ranging activities of Airy, his assistant astronomers, (...) telegraph engineers, clockmakers and others, which served to increase the reliability of the Royal Observatory's time service between the 1850s and 1870s. Airy and his collaborators aimed to mechanize and automate their telegraphic time distribution system in order to improve its accuracy and reliability. The accomplishment of such technological innovations was disseminated via public lectures, journal articles and correspondence with experts, secondary distributors of standard time and the general public. These communications were used to build public trust in the Greenwich time service. However, the unexplored archival material used in the present paper provides fresh insight into the unstable nature of the Greenwich time system, including its clear limits in terms of its scale of automation and degree of accuracy. (shrink)

Automatic imitation or “imitative compatibility” is thought to be mediated by the mirror neuron system and to be a laboratory model of the motor mimicry that occurs spontaneously in naturalistic social interaction. Imitative compatibility and spatial compatibility effects are known to depend on different stimulus dimensions—body movement topography and relative spatial position. However, it is not yet clear whether these two types of stimulus–response compatibility effect are mediated by the same or different cognitive processes. We present an interactive activation (...) model of imitative and spatial compatibility, based on a dual-route architecture, which substantiates the view they are mediated by processes of the same kind. The model, which is in many ways a standard application of the interactive activation approach, simulates all key results of a recent study by Catmur and Heyes (2011). Specifically, it captures the difference in the relative size of imitative and spatial compatibility effects; the lack of interaction when the imperative and irrelevant stimuli are presented simultaneously; the relative speed of responses in a quintile analysis when the imperative and irrelevant stimuli are presented simultaneously; and the different time courses of the compatibility effects when the imperative and irrelevant stimuli are presented asynchronously. (shrink)

Are mechanisms for social attention influenced by culture? Evidence that social attention is triggered automatically by bottom-up gaze cues and is uninfluenced by top-down verbal instructions may suggest it operates in the same way everywhere. Yet considerations from evolutionary and cultural psychology suggest that specific aspects of one's cultural background may have consequence for the way mechanisms for social attention develop and operate. In more interdependent cultures, the scope of social attention may be broader, focusing on more individuals and relations (...) between those individuals. We administered a multi-gaze cueing task requiring participants to fixate a foreground face flanked by background faces and measured shifts in attention using eye tracking. For European Americans, gaze cueing did not depend on the direction of background gaze cues, suggesting foreground gaze alone drives automatic attention shifting; for East Asians, cueing patterns differed depending on whether the foreground cue matched or mismatched background cues, suggesting foreground and background gaze information were integrated. These results demonstrate that cultural background influences the social attention system by shifting it into a narrow or broad mode of operation and, importantly, provides evidence challenging the assumption that mechanisms underlying automatic social attention are necessarily rigid and impenetrable to culture. (shrink)

The field of computational law has increasingly moved into the focus of the scientific community, with recent research analysing its issues and risks. In this article, we seek to draw a structured and comprehensive list of societal issues that the deployment of automatically processable regulation could entail. We do this by systematically exploring attributes of the law that are being challenged through its encoding and by taking stock of what issues current projects in this field raise. This article adds to (...) the current literature not only by providing a needed framework to structure arising issues of computational law but also by bridging the gap between theoretical literature and practical implementation. Key findings of this article are: (1) The primary benefit (efficiency vs. accessibility) sought after when encoding law matters with respect to the issues such an endeavor triggers; (2) Specific characteristics of a project—project type, degree of mediation by computers, and potential for divergence of interests—each impact the overall number of societal issues arising from the implementation of automatically processable regulation. (shrink)

In this paper we present an approach to automated learning within mathematical reasoning systems. In particular, the approach enables proof planning systems to automatically learn new proof methods from well-chosen examples of proofs which use a similar reasoning pattern to prove related theorems. Our approach consists of an abstract representation for methods and a machine learning technique which can learn methods using this representation formalism. We present an implementation of the approach within the ΩMEGA proof planning system, which (...) we call LEARNΩMATIC. We also present the results of the experiments that we ran on this implementation in order to evaluate if and how it improves the power of proof planning systems. (shrink)

This paper presents a novel argumentation framework to support Issue-Based Information System style debates on design alternatives, by providing an automatic quantitative evaluation of the positions put forward. It also identifies several formal properties of the proposed quantitative argumentation framework and compares it with existing non-numerical abstract argumentation formalisms. Finally, the paper describes the integration of the proposed approach within the design Visual Understanding Environment software tool along with three case studies in engineering design. The case studies show the (...) potential for a competitive advantage of the proposed approach with respect to state-of-the-art engineering design methods. (shrink)

Emotional facial expressions can inform researchers about an individual's emotional state. Recent technological advances open up new avenues to automatic Facial Expression Recognition (FER). Based on machine learning, such technology can tremendously increase the amount of processed data. FER is now easily accessible and has been validated for the classification of standardized prototypical facial expressions. However, applicability to more naturalistic facial expressions still remains uncertain. Hence, we test and compare performance of three different FER systems (Azure Face API, (...) Microsoft; Face++, Megvii Technology; FaceReader, Noldus Information Technology) with human emotion recognition (A) for standardized posed facial expressions (from prototypical inventories) and (B) for non-standardized acted facial expressions (extracted from emotional movie scenes). For the standardized images, all three systems classify basic emotions accurately (FaceReader is most accurate) and they are mostly on par with human raters. For the non-standardized stimuli, performance drops remarkably for all three systems, but Azure still performs similarly to humans. In addition, all systems and humans alike tend to misclassify some of the non-standardized emotional facial expressions as neutral. In sum, emotion recognition by automated facial expression recognition can be an attractive alternative to human emotion recognition for standardized and non-standardized emotional facial expressions. However, we also found limitations in accuracy for specific facial expressions; clearly there is need for thorough empirical evaluation to guide future developments in computer vision of emotional facial expressions. (shrink)

Plant-based milk alternatives–or mylks–have surged in popularity over the past ten years. We consider the politics and consumer subjectivities fostered by mylks as part of the broader trend towards ‘plant-based’ food. We demonstrate how mylk companies inherit and strategically deploy positive framings of milk as wholesome and convenient, as well as negative framings of dairy as environmentally damaging and cruel, to position plant-based as the ‘better’ alternative. By navigating this affective landscape, brands attempt to make mylk as simultaneously palatable and (...) disruptive to the status quo. We examine the politics of mylks through the concept of palatable disruption, where people are encouraged to care about the environment, health, and animal welfare enough to adopt mylks but to ultimately remain consumers of a commodity food. By encouraging consumers to reach for “plant-based” as a way to cope with environmental catastrophe and a life out of balance, mylks promote a neoliberal ethic: they individualize systemic problems and further entrench market mechanisms as solutions, thereby reinforcing the political economy of industrial agriculture. In conclusion, we reflect on the limits of the current plant-based trend for transitioning to more just and sustainable food production and consumption. (shrink)

In an increasingly data-driven world, the question of data – or metadata – veracity is now a central issue not only in the world of information but also in the legal one. Data veracity describes a closeness to truth on a higher level than a measure such as accuracy does. High veracity data is data that can be relied upon when making decisions, thus reducing the risk of basing choices on untrue information. The article uses epistemic logic to model structured (...) metadata automatically extracted from legal papers, and the tools of metaontology to propose a definition of veracity as truthmaker. (shrink)

The capacity to recognise and interpret sluices—bare wh-phrases that exhibit a sentential meaning—is essential to maintaining cohesive interaction between human users and a machine interlocutor in a dialogue system. In this paper we present a machine learning approach to sluice disambiguation in dialogue. Our experiments, based on solid theoretical considerations, show that applying machine learning techniques using a compact set of features that can be automatically identified from PoS markings in a corpus can be an efficient tool to disambiguate between (...) sluice interpretations. (shrink)

Management of effort is one of the biggest challenges in any team, and is particularly difficult in distributed teams, where behavior is relatively invisible to teammates. Awareness systems, which provide real-time visual feedback about team members’ behavior, may serve as an effective intervention tool for mitigating various sources of process-loss in teams, including team effort. However, most of the research on visualization tools has been focusing on team communication and learning, and their impact on team effort and consequently team (...) performance has been hardly studied. Furthermore, this line of research has rarely addressed the way visualization tool may interact with team composition, while comprehension of this interaction may facilitate a conceptualization of more effective interventions. In this article we review the research on feedback in distributed teams and integrate it with the research on awareness systems. Focusing on team effort, we examine the effect of an effort visualization tool on team performance in 72 geographically distributed virtual project teams. In addition, we test the moderating effect of team composition, specifically team members’ conscientiousness, on the effectiveness of the effort visualization tool. Our findings demonstrate that the effort visualization tool increases team effort and improves the performance in teams with a low proportion of highly conscientious members, but not in teams with a high proportion of highly conscientious members. We discuss the theoretical and practical implications of our findings, and suggest the need of future research to address the way technological advances may contribute to management and research of team processes. (shrink)

Brain monitoring combined with automatic analysis of EEGs provides a clinical decision support tool that can reduce time to diagnosis and assist clinicians in real-time monitoring applications (e.g., neurological intensive care units). Clinicians have indicated that a sensitivity of 95% with specificity below 5% was the minimum requirement for clinical acceptance. In this study, a high-performance automated EEG analysis system based on principles of machine learning and big data is proposed. This hybrid architecture integrates hidden Markov models (HMMs) for (...) sequential decoding of EEG events with deep learning-based postprocessing that incorporates temporal and spatial context. These algorithms are trained and evaluated using the Temple University Hospital EEG, which is the largest publicly available corpus of clinical EEG recordings in the world. This system automatically processes EEG records and classifies three patterns of clinical interest in brain activity that might be useful in diagnosing brain disorders: (1) spike and/or sharp waves, (2) generalized periodic epileptiform discharges, (3) periodic lateralized epileptiform discharges. It also classifies three patterns used to model the background EEG activity: (1) eye movement, (2) artifacts and (3) background. Our approach delivers a sensitivity above 90% while maintaining a specificity below 5%. We also demonstrate that this system delivers a low false alarm rate, which is critical for any spike detection application. (shrink)

We present a technique for automatically verifying cryptographic protocols specified in the mainstream specification language CAPSL. We define a translation from CAPSL models into interpreted systems, a popular semantics for temporal-epistemic logic, and rewrite CAPSL goals as temporal-epistemic specifications. We present a compiler that implements this translation. The compiler links to the symbolic model checker MCMAS. We evaluate the technique on protocols in the Clark-Jacobs library and in the SPORE repository against custom secrecy and authentication requirements.

Hidden Markov models (HMMs) have been successful for modelling the dynamics of carefully dictated speech, but their performance degrades severely when used to model conversational speech. Since speech is produced by a system of loosely coupled articulators, stochastic models explicitly representing this parallelism may have advantages for automatic speech recognition (ASR), particularly when trying to model the phonological effects inherent in casual spontaneous speech. This paper presents a preliminary feasibility study of one such model class: loosely coupled HMMs. Exact (...) model estimation and decoding is potentially expensive, so possible approximate algorithms are also discussed. Comparison of one particular loosely coupled model on an isolated word task suggests loosely coupled HMMs merit further investigation. An approximate algorithm giving performance which is almost always statistically indistinguishable from the exact algorithm is also identified, making more extensive research computationally feasible. (shrink)

The differentiation of T Lymphocytes within the thymus is an important biological phenomenon during wich these cell acquire their functions to further control the immune system. Numerous experiments under various conditions have been devised to understand the different mechanisms involved in this complex process. Nevertheless, interpretation of these experiments lead to still contradictory debatable hypotheses. Modelisation of this process through classical simulation methods cannot be envisaged because they are not adapted to modifications of the model structure, which is the point (...) of interest. For these reasons, we proposed a new approach of automatic search for model. The program consists of four independent connected modules : The generator produces model, based on the rationale of formal grammars. Protocol and experimental data are stored in a set of experiments. The simulator using a protocol and a model provides simulated results. Finally, the supervisor by comparing simulated results and experimental data, adapts the model parameters to increase their fit and either chooses a new experiment to explore, or modifies the model structure. Change of the model structure is performed among still unexplored models according to their promise level, which is iteratively evaluated relatively to previously explored models through a proposed model distance. The generator is written in Prolog and the other modules in C++. The architecture of the program allows us to modify or complete a module without changing anything in the other modules. As a consequence, the proposed modeling approach conceived to study T lymphocyte differentiation within the thymus remains independent of this biological phenomenon and can be applied to other biological problems. (shrink)

Traditional methods for deriving property-based representations of concepts from text have focused on either extracting only a subset of possible relation types, such as hyponymy/hypernymy (e.g., car is-a vehicle) or meronymy/metonymy (e.g., car has wheels), or unspecified relations (e.g., car—petrol). We propose a system for the challenging task of automatic, large-scale acquisition of unconstrained, human-like property norms from large text corpora, and discuss the theoretical implications of such a system. We employ syntactic, semantic, and encyclopedic information to guide our (...) extraction, yielding concept-relation-feature triples (e.g., car be fast, car require petrol, car cause pollution), which approximate property-based conceptual representations. Our novel method extracts candidate triples from parsed corpora (Wikipedia and the British National Corpus) using syntactically and grammatically motivated rules, then reweights triples with a linear combination of their frequency and four statistical metrics. We assess our system output in three ways: lexical comparison with norms derived from human-generated property norm data, direct evaluation by four human judges, and a semantic distance comparison with both WordNet similarity data and human-judged concept similarity ratings. Our system offers a viable and performant method of plausible triple extraction: Our lexical comparison shows comparable performance to the current state-of-the-art, while subsequent evaluations exhibit the human-like character of our generated properties. (shrink)

The vision of the new generation of office systems is based on the hypothesis that an automatic support system is all the more useful and acceptable, the more systems behaviour and performance are in accordance with features ofhuman behaviour. Consequently recent development activities are influenced by the paradigm of the computer as man's “cooperative assistant”. The metaphors ofassistance andcooperation illustrate some major requirements to be met by new office systems. Cooperative office systems will raise a (...) set of new questions about the future of human work, human-machine interaction, the forms of individual control of work, the scope of action and the development of competence in the frame of AI-supported cooperative work, the relative benefits of different types of organizations, etc. With increasing autonomy of the computer in task accomplishment, research should also be concerned with the question of the limits of such a development. In AI-research and development there is much discussion of the intended performance of that new technology. Perhaps this will provide insights into, how these new machines should support numerous aspects of individual or cooperative work. But we find fewer ideas about the future ofhuman work. What will the role of thehuman actor be in future AI-supported cooperative work? What kind of work do we want to support with AI-machines? In the following article I will try to identify some questions for further sociological research activities. I will base my considerations on some theoretical aspects ofunderstanding andmeaning. Regarding identical and non-identical aspects in communication behaviour of human and machines, I will focus on some questions to be investigated. Finally some methodological problems of sociological research in the field of Artificial Intelligence will be discussed, especially the so-called “Time-Dilemma” of sociological research in technology. (shrink)