Rapid advances in AI-based automation have led to a number of existential and economic concerns. In particular, as automating technologies develop enhanced competency they seem to threaten the values associated with meaningful work. In this article, we focus on one such value: the value of achievement. We argue that achievement is a key part of what makes work meaningful and that advances in AI and automation give rise to a number achievement gaps in the workplace. This could limit people’s ability (...) to participate in meaningful forms of work. Achievement gaps are interesting, in part, because they are the inverse of the (negative) responsibility gaps already widely discussed in the literature on AI ethics. Having described and explained the problem of achievement gaps, the article concludes by identifying four possible policy responses to the problem. (shrink)

In this article we introduce a logical structure for normative reasoning, called Normative Detachment Structure with Ideal Conditions, that can be used to represent the content of certain legal texts in a normalized way. The structure exploits the deductive properties of a system of bimodal logic able to distinguish between ideal and actual normative statements, as well as a novel formalization of conditional normative statements able to capture interesting cases of contrary-to-duty reasoning and to avoid deontic paradoxes. Furthermore, we illustrate (...) how the theoretical framework proposed can be mechanized to get an automated procedure of query-answering on an example of legal text. (shrink)

Automated influence, delivered by digital targeting technologies such as targeted advertising, digital nudges, and recommender systems, has attracted significant interest from both empirical researchers, on one hand, and critical scholars and policymakers on the other. In this paper, we argue for closer integration of these efforts. Critical scholars and policymakers, who focus primarily on the social, ethical, and political effects of these technologies, need empirical evidence to substantiate and motivate their concerns. However, existing empirical research investigating the effectiveness of (...) these technologies (or lack thereof), neglects other morally relevant effects—which can be felt regardless of whether or not the technologies "work" in the sense of fulfilling the promises of their designers. Drawing from the ethics and policy literature, we enumerate a range of questions begging for empirical analysis—the outline of a research agenda bridging these fields—and issue a call to action for more empirical research that takes these urgent ethics and policy questions as their starting point. (shrink)

In this paper, we discuss the ethics of automated driving. More specifically, we discuss responsible human-robot coordination within mixed traffic: i.e. traffic involving both automated cars and conventional human-driven cars. We do three main things. First, we explain key differences in robotic and human agency and expectation-forming mechanisms that are likely to give rise to compatibility-problems in mixed traffic, which may lead to crashes and accidents. Second, we identify three possible solution-strategies for achieving better human-robot coordination within mixed (...) traffic. Third, we identify important ethical challenges raised by each of these three possible strategies for achieving optimized human-robot cordination in this domain. Among other things, we argue that we should not just explore ways of making robotic driving more like human driving. Rather, we ought also to take seriously potential ways of making human driving more like robotic driving. Nor should we assume that complete automation is always the ideal to aim for; in some traffic-situations, the best results may be achieved through human-robot collaboration. Ultimately, our main aim in this paper is to argue that the new field of the ethics of automated driving needs take seriously the ethics of mixed traffic and responsible human-robot coordination. (shrink)

Human obsolescence is imminent. We are living through an era in which our activity is becoming less and less relevant to our well-being and to the fate of our planet. This trend toward increased obsolescence is likely to continue in the future, and we must do our best to prepare ourselves and our societies for this reality. Far from being a cause for despair, this is in fact an opportunity for optimism. Harnessed in the right way, the technology that hastens (...) our obsolescence can open us up to new utopian possibilities and enable heightened forms of human flourishing. (shrink)

A recent wave of academic and popular publications say that utopia is within reach: Automation will progress to such an extent and include so many high-skill tasks that much human work will soon become superfluous. The gains from this highly automated economy, authors suggest, could be used to fund a universal basic income (UBI). Today's employees would live off the robots' products and spend their days on intrinsically valuable pursuits. I argue that this prediction is unlikely to come true. (...) Historical precedent speaks against it, but the main problem is that the prediction fundamentally misunderstands how capitalism works—its incentives to increase or decrease production, its principles of income allocation, and the underlying conception of merit. (shrink)

We claim the climate crisis is the proper baseline for establishing the terms of debate about the viability of a post-work future. In this paper, we aim to assess the viability of a post-work future in which automation replaces a significant portion of human labor. We do this by laying out the possible outcomes of what such a future will look like based on three related axes: technological capacity, politics and social distribution, and alternative conceptions of the good. The purpose (...) in tracking these outcomes is to have a clear picture of those outcomes we should be pursuing in contrast to those we ought to avoid. Put another way, to achieve a post-work future that is egalitarian in character will require ensuring that technological capacity is used to improve the prospects for all humanity. The argument proceeds along the following lines. First, we summarize the scientific consensus about the causes and consequences of climate change, as well as the tools of mitigation and adaptation it recommends. The causes are primarily rooted in the global system of production and consumption that has developed over the last century. We refer to this pattern of development as the “Growth Model” since it primarily relies on energy created from burning fossil fuels and the exponential consumption of resources to promote more growth (Rose 2020). Second, we construct a range of possible outcomes regarding the climate crisis that are based on different trajectories of development. We do so by examining each of two cases located on the poles of three different axes. These axes include technology, political organization and social distribution, and conceptions of the good, yielding eight possible outcomes. The point of considering these cases and how they intersect along these axes is two-fold: to clarify the features that define them and compare their merits and drawbacks, enabling us to formulate the means for avoiding some outcomes and strive for others. Third, we then consider the viability of a post-work future in terms of these outcomes. Some of these outcomes point in a direction where automation replaces labor, and its benefits are shared widely. Others indicate a future in which some groups benefit at the expense of others, while some appear to preclude the emergence of such a future altogether. Finally, we conclude with some observations about the viability of a post-work future given our evaluation of these outcomes. (shrink)

In their proof-of-concept, Meier and colleagues describe the purpose and programming decisions underpinning Medical Ethics Advisor, an automated decision support system used t...

How should automated vehicles react in emergency circumstances? Most research projects and scientific literature deal with this question from a moral perspective. In particular, it is customary to treat emergencies involving AVs as instances of moral dilemmas and to use the trolley problem as a framework to address such alleged dilemmas. Some critics have pointed out some shortcomings of this strategy and have urged to focus on mundane traffic situations instead of trolley cases involving AVs. Besides, these authors rightly (...) point out the political nature of the most interesting debates involving AVs. However, in our view, they do not offer an adequate account of the distinction between ethics and politics and still see their proposals as contributions to the ethics of AVs. We argue that many of the interesting questions about how AVs should behave, both in emergency and other situations, are of political, and not moral, nature. This view is based on a conception of politics and political normativity that we have developed elsewhere and that we call “political minimalism.” Additionally, we show that this proposed perspective has significant consequences for the design, management, and regulation of transport systems. (shrink)

Advances in AI are powering increasingly precise and widespread computational propaganda, posing serious threats to national security. The military and intelligence communities are starting to discuss ways to engage in this space, but the path forward is still unclear. These developments raise pressing ethical questions, about which existing ethics frameworks are silent. Understanding these challenges through the lens of “cognitive security,” we argue, offers a promising approach.

Connected devices, such as smartphones and tablets, are exposed to a large variety of attacks. Their protection is often challenged by their resource constraints in terms of CPU, memory and energy. Security chains, composed of security functions such as firewalls, intrusion detection systems and data leakage prevention mechanisms, offer new perspectives to protect these devices using software-defined networking and network function virtualization. However, the complexity and dynamics of these chains require new automation techniques to orchestrate them. This chapter describes an (...) automated orchestration methodology for security chains in order to secure connected devices and their applications. This methodology exploits process learning to establish behavioral models and infer security constraints represented as logical predicates. It then generates and merges a set of chains of security functions on the basis of these predicates. These chains are finally compiled into low-level configuration rules and deployed into the network, optimizing for the underlying topology. The benefits and limits of such a methodology combining machine learning and verification techniques are evaluated by a set of experimental results. (shrink)

The article explores the problem of preferable technological changes in the context of work. To this end, it addresses the ‘why’ (motives and values) and the ‘how’ (organizational forms) of automation from a normative perspective. Concerning the ‘why,’ automation processes are currently mostly driven by values of economic efficiency. Yet, since automation processes are part of the basic structure of society, as is the division of labor, considerations of justice apply to them. As for the ‘how,’ the article suggests ‘fair (...) hybrid cooperation’ as an alternative ideal to guide automation priorities. It is achieved when the division of labor between humans and machines does not hinder, and preferably enables, workers’ experience of certain primary qualities in their work activity. By analogy with Rawls’ primary goods, these are qualities that it is necessary for every worker to experience in order to pursue their life plans: security, self-direction, self-development, dignity, and recognition. According to this criterion, the tasks to automate first are those hindering these contributive primary qualities. This provides us with a normative vocabulary and a standard to orient automation decisions but also to assess existing organizational forms and envisage alternative cooperative imaginaries. To illustrate how the ideal may play out in the real world, the article concludes with a ‘fair hybrid cooperation test’ and a nurse bots case for meaningful work. (shrink)

A great deal of theorizing has emerged about the economic ramifications of increased automation. However, significantly less attention has been paid to the potential effects of AI-driven occupational replacement on less measurable metrics—in particular, what it feels like to be replaced. In politics, we see examples of nation-states and extremist groups invoking the concept of replacement as a motivator for political action, unrest, and, at times, violence. In the realm of workplace automation, and in particular, in the case of AI-driven (...) workplace automation, the replacement of human labor with artificial labor is an explicit goal. In this paper, we suggest that, given the effects that the experience of a sense of replacement has in political contexts and the potential for that sense of replacement to motivate unrest and violence, we should be concerned about the widely predicted replacement of workers over the coming decades beyond the potential economic challenges which may arise. (shrink)

Theorems in automated theorem proving are usually proved by formal logical proofs. However, there is a subset of problems which humans can prove by the use of geometric operations on diagrams, so called diagrammatic proofs. Insight is often more clearly perceived in these proofs than in the corresponding algebraic proofs; they capture an intuitive notion of truthfulness that humans find easy to see and understand. We are investigating and automating such diagrammatic reasoning about mathematical theorems. Concrete, rather than general (...) diagrams are used to prove particular concrete instances of the universally quantified theorem. The diagrammatic proof is captured by the use of geometric operations on the diagram. These operations are the inference steps of the proof. An abstracted schematic proof of the universally quantified theorem is induced from these proof instances. The constructive -rule provides the mathematical basis for this step from schematic proofs to theoremhood. In this way we avoid the difficulty of treating a general case in a diagram. One method of confirming that the abstraction of the schematic proof from the proof instances is sound is proving the correctness of schematic proofs in the meta-theory of diagrams. These ideas have been implemented in the system, called Diamond, which is presented here. (shrink)

The intention of this paper is to point to the dilemma humanity may face in light of AI advancements. The dilemma is whether to create a world with less evil or maintain the human status of moral agents. This dilemma may arise as a consequence of using automated decision-making systems for high-stakes decisions. The use of automated decision-making bears the risk of eliminating human moral agency and autonomy and reducing humans to mere moral patients. On the other hand, (...) it also has the potential to bring tremendous benefits to humanity by decreasing human-induced harm in the world. After presenting how this dilemma may arise, I explore general avenues for addressing it. I will argue that we do not have to solve this dilemma in an all-or-nothing fashion and that a more nuanced approach may be suitable. However, the main point I want to highlight is that we need to have a principled way of addressing this dilemma, which is currently missing. (shrink)

Artificial intelligence-based (AI) technologies such as machine learning (ML) systems are playing an increasingly relevant role in medicine and healthcare, bringing about novel ethical and epistemological issues that need to be timely addressed. Even though ethical questions connected to epistemic concerns have been at the center of the debate, it is going unnoticed how epistemic forms of injustice can be ML-induced, specifically in healthcare. I analyze the shortcomings of an ML system currently deployed in the USA to predict patients’ likelihood (...) of opioid addiction and misuse (PDMP algorithmic platforms). Drawing on this analysis, I aim to show that the wrong inflicted on epistemic agents involved in and affected by these systems’ decision-making processes can be captured through the lenses of Miranda Fricker’s account of hermeneutical injustice. I further argue that ML-induced hermeneutical injustice is particularly harmful due to what I define as an automated hermeneutical appropriation from the side of the ML system. The latter occurs if the ML system establishes meanings and shared hermeneutical resources without allowing for human oversight, impairing understanding and communication practices among stakeholders involved in medical decision-making. Furthermore and very much crucially, an automated hermeneutical appropriation can be recognized if physicians are strongly limited in their possibilities to safeguard patients from ML-induced hermeneutical injustice. Overall, my paper should expand the analysis of ethical issues raised by ML systems that are to be considered epistemic in nature, thus contributing to bridging the gap between these two dimensions in the ongoing debate. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, (...) we show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of (...) automated theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools. (shrink)

Robots are widely expected—and pushed—to transform open-field agriculture, but these visions remain wedded to optimizing monocultural farming systems. Meanwhile there is little pull for automation from ecology-based, diversified farming realms. Noting this gap, we here explore the potential for robots to foster an agroecological approach to crop production. The research was situated in The Netherlands within the case of _pixel cropping_, a nascent farming method in which multiple food and service crops are planted together in diverse assemblages employing agroecological practices (...) such as intercropping and biological pest control. Around this case we engaged with a variety of specialists in discussion groups, workshops, and design challenges to explore the potential of field robots to meet the multifaceted demands of highly diverse agroecological cropping systems. This generated a spectrum of imaginations for how automated tools might—or might not—be appropriately used, ranging from fully automated visions, to collaborative scenarios, to fully analogue prototypes. We found that automating agroecological cropping systems requires finding ways to imbue the ethos of agroecology into designed tools, thereby seeking to overcome tensions between production aims and other forms of social and ecological care. We conclude that a rethinking of automation is necessary for agroecological contexts: not as a blueprint for replacing humans, but making room for analogue and hybrid forms of agricultural work. These findings highlight a need for design processes which include a diversity of actors, involve iterative design cycles, and incorporate feedback between designers, practitioners, tools, and cropping systems. (shrink)

Despite numerous ethical examinations of automated vehicles, philosophers have neglected to address how these technologies will affect vulnerable people. To account for this lacuna, researchers must analyze how driverless cars could hinder or help social justice. In addition to thinking through these aspects, scholars must also pay attention to the extensive moral dimensions of automated vehicles, including how they will affect the public, nonhumans, future generations, and culturally significant artifacts. If planners and engineers undertake this task, then they (...) will have to prioritize their efforts to avoid additional harm. The author shows how employing an approach called a “complex moral assessment” can help professionals implement these technologies into existing mobility systems in a just and moral fashion. (shrink)

Patent landscaping is the process of finding patents related to a particular topic. It is important for companies, investors, governments, and academics seeking to gauge innovation and assess risk. However, there is no broadly recognized best approach to landscaping. Frequently, patent landscaping is a bespoke human-driven process that relies heavily on complex queries over bibliographic patent databases. In this paper, we present Automated Patent Landscaping, an approach that jointly leverages human domain expertise, heuristics based on patent metadata, and machine (...) learning to generate high-quality patent landscapes with minimal effort. In particular, this paper describes a flexible automated methodology to construct a patent landscape for a topic based on an initial seed set of patents. This approach takes human-selected seed patents that are representative of a topic, such as operating systems, and uses structure inherent in patent data such as references and class codes to “expand” the seed set to a set of “probably-related” patents and anti-seed “probably-unrelated” patents. The expanded set of patents is then pruned with a semi-supervised machine learning model trained on seed and anti-seed patents. This removes patents from the expanded set that are unrelated to the topic and ensures a comprehensive and accurate landscape. (shrink)

Automated legal reasoning and its application in smart contracts and automated decisions are increasingly attracting interest. In this context, ethical and legal concerns make it necessary for automated reasoners to justify in human-understandable terms the advice given. Logic Programming, specially Answer Set Programming, has a rich semantics and has been used to very concisely express complex knowledge. However, modelling discretionality to act and other vague concepts such as ambiguity cannot be expressed in top-down execution models based on (...) Prolog, and in bottom-up execution models based on ASP the justifications are incomplete and/or not scalable. We propose to use s(CASP), a top-down execution model for predicate ASP, to model vague concepts following a set of patterns. We have implemented a framework, called s(LAW), to model, reason, and justify the applicable legislation and validate it by translating (and benchmarking) a representative use case, the criteria for the admission of students in the “Comunidad de Madrid”. (shrink)

Many ethicists writing about automated systems attribute agency to these systems. Not only that; they seemingly attribute an autonomous or independent form of agency to these machines. This leads some ethicists to worry about responsibility-gaps and retribution-gaps in cases where automated systems harm or kill human beings. In this paper, I consider what sorts of agency it makes sense to attribute to most current forms of automated systems, in particular automated cars and military robots. I argue (...) that whereas it indeed makes sense to attribute different forms of fairly sophisticated agency to these machines, we ought not to regard them as acting on their own, independently of any human beings. Rather, the right way to understand the agency exercised by these machines is in terms of human–robot collaborations, where the humans involved initiate, supervise, and manage the agency of their robotic collaborators. This means, I argue, that there is much less room for justified worries about responsibility-gaps and retribution-gaps than many ethicists think. (shrink)

Automation can bring the risk of technological unemployment, as employees are replaced by machines that can carry out the same or similar work at a fraction of the cost. Some believe that the appropriate response is to tax automation. In this paper, I explore the justifiability of view, maintaining that we can embrace automation so long as we compensate those employees whose livelihoods are destroyed by this process by creating new opportunities for employment. My contribution in this paper is important (...) not only because I develop a theoretical framework that we can use to resolve this urgent policy dispute—a dispute that has been discussed extensively by labour economists, tax lawyers, and policymakers, but largely neglected by political philosophers—but also because my analysis sheds lights on a wider range of controversies relating to the moral and political importance of unemployment. (shrink)

Artificial intelligence is poised to eliminate millions of jobs, from finance to truck driving. But artisanal products are valued precisely because of their human origins, and thus have some inherent “immunity” from AI job loss. At the same time, artisanal labor, combined with technology, could potentially help to democratize the economy, allowing independent, small-scale businesses to flourish. Could AI, robotics and related automation technologies enhance the economic viability and environmental sustainability of these beloved crafting professions, perhaps even expanding their niche (...) to replace some job loss in other sectors? In this paper, we compare the problems created by the current mass production economy and potential solutions from an artisanal economy. In doing so, the paper details the possibilities of utilizing AI to support hybrid forms of human–machine production at the microscale; localized and sustainable value chains at the mesoscale; and networks of these localized and sustainable producers at the macroscale. In short, a wide range of automation technologies are potentially available for facilitating and empowering an artisanal economy. Ultimately, it is our hope that this paper will facilitate a discussion on a future vision for more “generative” economic forms in which labor value, ecological value and social value can circulate without extraction or alienation. (shrink)

Reflectance spectroscopy is a standard tool for studying the mineral composition of rock and soil samples and for remote sensing of terrestrial and extraterrestrial surfaces. We describe research on automated methods of mineral identification from reflectance spectra and give evidence that a simple algorithm, adapted from a well-known search procedure for Bayes nets, identifies the most frequently occurring classes of carbonates with reliability equal to or greater than that of human experts. We compare the reliability of the procedure to (...) the reliability of several other automated methods adapted to the same purpose. Evidence is given that the procedure can be applied to some other mineral classes as well. Since the procedure is fast with low memory requirements, it is suitable for on- board scientific analysis by orbiters or surface rovers. (shrink)

Automated classification of legal documents has been the subject of extensive research in recent years. However, this is still a challenging task for long documents, since it is difficult for a model to identify the most relevant information for classification. In this paper, we propose a two-stage supervised learning approach for the classification of petitions, a type of legal document that requests a court order. The proposed approach is based on a word-level encoder–decoder Seq2Seq deep neural network, such as (...) a Bidirectional Long Short-Term Memory (BiLSTM) or a Bidirectional Encoder Representations from Transformers (BERT) model, and a document-level Support Vector Machine classifier. To address the challenges posed by the lengthy legal documents, the approach introduces a human-in-the-loop approach, whose task is to localize and tag relevant segments of text in the word-level training part, which dramatically reduces the dimension of the document classifier input vector. We performed experiments to validate our approach using a real-world dataset comprised of 270 intermediate petitions, which were carefully annotated by specialists from the 15th civil unit of the State of Alagoas, Brazil. Our results revealed that both BiLSTM and BERT-Convolutional Neural Networks variants achieved an accuracy of up to 95.49%, and also outperformed baseline classifiers based on the Term Frequency–Inverse Document Frequency test vectorizer. The proposed approach is currently being utilized to automate the aforementioned justice unit, thereby increasing its efficiency in handling repetitive tasks. (shrink)

Artificial intelligence (AI) technology poses possible threats to existing jobs. These threats extend not just to the number of jobs available but also to their quality. In the future, so some predict, workers could face fewer and potentially worse jobs, at least if society does not embrace reforms that manage the coming AI revolution. This paper uses the example of Daron Acemoglu and Simon Johnson’s recent book—_Power and Progress_ (2023)—to illustrate some of the dilemmas and options for managing the future (...) of work under AI. Acemoglu and Johnson, while warning of the potential negative effects of an AI-driven automation, argue that AI can be used for positive ends. In particular, they argue for its uses in creating more ‘good jobs’. This outcome will depend on democratising AI technology. This paper is critical of the approach taken by Acemoglu and Johnson—specifically, it misses the possibility for using AI to lighten work (i.e., to reduce its duration and improve its quality). This paper stresses the potential benefits of automation as a mechanism for lightening work. Its key arguments aim to advance critical debates focused on creating a future in which AI works for people not just for profits. (shrink)

Automated Influence is the use of Artificial Intelligence to collect, integrate, and analyse people’s data in order to deliver targeted interventions that shape their behaviour. We consider three central objections against Automated Influence, focusing on privacy, exploitation, and manipulation, showing in each case how a structural version of that objection has more purchase than its interactional counterpart. By rejecting the interactional focus of “AI Ethics” in favour of a more structural, political philosophy of AI, we show that the (...) real problem with Automated Influence is the crisis of legitimacy that it precipitates. (shrink)

This chapter contains sections titled: The Cutting Edge Automated Reasoning, Principles and Elements Significant Successes Myths, Mechanization, and Mystique.

We present a set of algorithms for automated simplification of symbolic constants of the form ∑iαixi with αi rational and xi complex. The included algorithms, called SimplifySum2 and implemented in Mathematica, remove redundant terms, attempt to make terms and the full expression real, and remove terms using repeated application of the multipair PSLQ integer relation detection algorithm. Also included are facilities for making substitutions according to user-specified identities. We illustrate this toolset by giving some real-world examples of its usage, (...) including one, for instance, where the tool reduced a symbolic expression of approximately 100 000 characters in size enough to enable manual manipulation to one with just four simple terms.2Available from https://github.com/alexkaiser/SimplifySum. (shrink)

Automation, artificial intelligence, and biotechnology have become topics of increasing interest in both academia as well as in popular media. The goal of this article is to establish which issues are the most pressing, and what are the underlying causes of the rise of robots. I demonstrate that fears of automation are well supported by current trends of automation as well as the inherent tendency within a capitalist system to automate at the expense of workers and working wages. Additionally, I (...) point to what appears to be a potential evolutionary divide between what Yuval Noah Harari calls the “god” class and the “useless” class. Finally, I discuss how the new role of information as the world’s most valued commodity can either exacerbate this coming divide or liberate society. I present the case that in order to diminish the negative effects we must move beyond the present capitalist economic system, towards one in which economic democracy and the free flow of information thrives. (shrink)

Algorithmic decision making is used in an increasing number of fields. Letting automated processes take decisions raises the question of their accountability. In the field of computational journalism, the algorithmic accountability framework proposed by Diakopoulos formalizes this challenge by considering algorithms as objects of human creation, with the goal of revealing the intent embedded into their implementation. A consequence of this definition is that ensuring accountability essentially boils down to a transparency question: given the appropriate reverse-engineering tools, it should (...) be feasible to extract design criteria and to identify intentional biases. General limitations of this transparency ideal have been discussed by Ananny and Crawford :973–989, 2018). We further focus on its technical limitations. We show that even if reverse-engineering concludes that the criteria embedded into an algorithm correspond to its publicized intent, it may be that adversarial behaviors make the algorithm deviate from its expected operation. We illustrate this issue with an automated news recommendation system, and show how the classification algorithms used in such systems can be fooled with hard-to-notice modifications of the articles to classify. We therefore suggest that robustness against adversarial behaviors should be taken into account in the definition of algorithmic accountability, to better capture the risks inherent to algorithmic decision making. We finally discuss the various challenges that this new technical limitation raises for journalism practice. (shrink)

This article discusses Fin de Copenhague, a Situationist book experiment from 1957 by Asger Jorn and Guy Debord. By way of a contextualizing archival study with special attention to Jorn’s contemporaneous book project Pour la forme, the article demonstrates that the Russian avant-garde book was a key influence if also a point of critical departure. On this reading, Fin de Copenhague marks a turn away from the unbridled technological optimism of the historical avant-garde. In its material implications and aesthetic choices, (...) Fin de Copenhague draws attention to crucial changes in the capitalist mode of production and challenges the then nascent discourse about “full automation.”. (shrink)

This chapter examines the role of shopfloor knowledge in the operation of advanced manufacturing systems. Design trends towards full automation are contrasted with those toward hybrid, human-centred systems with particular emphasis on job design and the development and reproduction of knowledge. The chapter concludes with a short discussion of the problems inherent in hybrid design.

The automated parsing of 130,213 news articles about the 2012 US presidential elections produces a network formed by the key political actors and issues, which were linked by relations of support and opposition. The nodes are formed by noun phrases and links by verbs, directly expressing the action of one node upon the other. This network is studied by applying insights from several theories and techniques, and by combining existing tools in an innovative way, including: graph partitioning, centrality, assortativity, (...) hierarchy and structural balance. The analysis yields various patterns. First, we observe that the fundamental split between the Republican and Democrat camps can be easily detected by network partitioning, which provides a strong validation check of the approach adopted, as well as a sound way to assign actors and topics to one of the two camps. Second, we identify the most central nodes of the political camps. We also learnt that Clinton played a more central role than Biden in the Democrat camp; the overall campaign was much focused on economy and rights; the Republican Party is the most divisive subject in the campaign, and is portrayed more negatively than the Democrats; and, overall, the media reported positive statements more frequently for the Democrats than the Republicans. This is the first study in which political positions are automatically extracted and derived from a very large corpus of online news, generating a network that goes well beyond traditional word-association networks by means of richer linguistic analysis of texts. (shrink)

The use of advanced AI and data-driven automation in the public sector poses several organisational, practical, and ethical challenges. One that is easy to underestimate is automation bias, which, in turn, has underappreciated legal consequences. Automation bias is an attitude in which the operator of an autonomous system will defer to its outputs to the point where the operator overlooks or ignores evidence that the system is failing. The legal problem arises when statutory office-holders (or their employees) either fetter their (...) discretion to in-house algorithms or improperly delegate their discretion to third-party software developers—something automation bias may facilitate. A synthesis of previous research suggests an easy way to mitigate the risks of automation bias and its potential legal ramifications is for those responsible for procurement decisions to adhere to a simple checklist that ensures that the pitfalls of automation are avoided as much as possible. (shrink)

Engaging Aristotle’s broader corpus, this paper offers an exegesis of his counterfactual statement in the Politics regarding self-weaving shuttles and self-playing lyres. It argues that Aristotle imagines and offers his own theory of automation – if by automation we understand the conditions, limits, and consequences of substituting human work with artificial tools capable of acting themselves to complete the relevant task. Because such automated tools are impossible in Aristotle’s time, his political thought is never positively released from its foundational (...) dependence on living tools and the extremity of natural slavery. By analysing what it means for these workers to be considered tools, the perceptual requirements of the work they are to perform – as understood through the disjunctive conditions under which automated tools could replace them – and the consequences to masters and master-craftsmen of employing such tools, Aristotle’s disparagement of slave and craft subordinate work is thus also re-emphasized. (shrink)

Are automated vehicles really safer than manually driven vehicles? If so, how would we know? Answering this question has spurred a contentious debate. Unfortunately, several issues make answering this question difficult for the foreseeable future. First, how do we measure safety? Second, how can we keep track of automated vehicle safety? Finally, how do we determine what is or what is not an AV? Until these questions are addressed, it will continue to be difficult to determine whether or (...) when AVs might really be safer than manually driven vehicles. (shrink)

This article contributes to the debate on automation and justice by discussing two under-represented concerns: labour justice and equality. Since automation involves both winners and losers, and given that there is no ‘end of work’ on the horizon, it is argued that most normative views on the subject – i.e. the ‘allocative’ view of basic income, and the ‘desirability’ views of post-work and workist ethics – do not provide many resources with which to address unjustly unequal divisions of labour involved (...) in technological innovation. This article problematises these common responses reframing the problem from the perspective of labour justice. While the allocative view assumes that labour justice follows ‘spontaneously’ from income redistribution, the desirability views are chiefly interested in either defining or contesting the meanings of work for individuals, overlooking the interdependent nature of work and concerns of equality other than autonomy. Two conceptions of labour justice are thus applied to the problem: Paul Gomberg’s contributive justice, and Iris Young’s democratic division of labour. Instead of deciding between them, the normative core of ‘contributive parity’ is suggested as a critical standard for assessing unequal labour structures, and for envisaging a future in which technology can be an ally in making social cooperation fair. (shrink)

Debates concerning digital automation are mostly focused on the question of the availability of jobs in the short and long term. To counteract the possible negative effects of automation, it is often suggested that those at risk of technological unemployment should have access to retraining and reskilling opportunities. What is often missing in these debates are implications that all of this may have for individual autonomy understood as the ability to make and develop long-term plans. In this paper, I argue (...) that if digital automation becomes rapid, it will significantly undermine the legitimate expectation of stability and consequently, the ability to make and pursue long-term plans in the sphere of work. I focus on what is often taken to be one of the main long-term plans, i.e. the choice of profession, and I argue that this choice may be undermined by the pressure to continuously acquire new skills while at the same time facing a diminishing range of professions that one can choose from. Given that the choice of profession is significant for not-work related spheres of life, its undermining can greatly affect individual autonomy in these other spheres too. I argue that such undermining of individual planning agency constitutes a distinctive form of harm that necessitates a proactive institutional response. (shrink)

The basis of science is the hypothetico-deductive method and the recording of experiments in sufficient detail to enable reproducibility. We report the development of Robot Scientist "Adam," which advances the automation of both. Adam has autonomously generated functional genomics hypotheses about the yeast Saccharomyces cerevisiae and experimentally tested these hypotheses by using laboratory automation. We have confirmed Adam's conclusions through manual experiments. To describe Adam's research, we have developed an ontology and logical language. The resulting formalization involves over 10,000 different (...) research units in a nested treelike structure, 10 levels deep, that relates the 6.6 million biomass measurements to their logical description. This formalization describes how a machine contributed to scientific knowledge. (shrink)

How should policymakers respond to the risk of technological unemployment that automation brings? First, I develop a procedure for answering this question that consults, rather than usurps, individuals’ own attitudes and ambitions towards that risk. I call this the insurance argument. A distinctive virtue of this view is that it dispenses with the need to appeal to a class of controversial reasons about the value of employment, and so is consistent with the demands of liberal political morality. Second, I appeal (...) to the insurance argument to show that governments ought not simply to provide those who are displaced by machines with unemployment benefits. Instead, it must offer re-training programmes, as well as enact more general macroeconomic policies that create new opportunities for employment. My contribution is important not only because it helps us to resolve a series of urgent policy disputes—disputes that have been discussed extensively by labour market economists and policymakers, but less so by political philosophers—but also because my analysis sheds light on more general philosophical controversies relating to risk. (shrink)

Automatic facial expression recognition has now advanced to the point that we are able to apply it to spontaneous expressions. The automated tools enable new research activity in cognitive neuroscience, psychiatry, education, human–machine communication, and human social dynamics. Moreover, automated facial expression analysis enables investigations into facial expression dynamics that were previously intractable by human coding because of the time required to code intensity changes. This article provides an overview on the state of the art in computer vision (...) approaches to facial expression recognition, including methods for characterizing expression dynamics. It then discusses behavioral studies that have employed automatic facial expression recognition to learn new information about the relationships of facial expression to internal state, and reviews the first generation of applications in learning and education that take advantage of the real-time expression signal. (shrink)

This paper is concerned with decision proceedures for the 0-valued ukasiewicz logics,. It is shown how linear algebra can be used to construct an automated theorem checker. Two decision proceedures are described which depend on a linear programming package. An algorithm is given for the verification of consequence relations in, and a connection is made between theorem checking in two-valued logic and theorem checking in which implies that determing of a -free formula whether it takes the value one is (...) NP-complete problem. (shrink)