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)

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)

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)

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)

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

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)

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.

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)

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)

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)

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)

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)

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)

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)

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)

Automated decision systems are often used to enforce legislation.As such, they have considerable regulating effects. These systemsregulate the behaviour of users and addressees mainly throughstandardization. This research classifies these systems intocategories according to which the regulating effects can bedescribed more clearly. Furthermore, this categorization resultsin a better understanding how problems encountered with atpresent can be avoided in the future. Many problems result fromthe way the development process has been organized. It turns outthe development process can be divided according to the (...) time thesystems are developed with regard to the legislation they aim toenforce. Present procedures lack good monitoring of thedevelopment process. To this end, legal procedures are needed toensure that a legally correct product will be made, partiesinvolved should change their tune, system developers should bemore concerned with the legal status of the system and thelegislator should be actively involved in the development of thesystem. Moreover, an ex ante-evaluation should notice thepossible regulating effects caused by the system to ensure acorrect balance of the pros and cons. It should be ensured thatthese systems are effectively put to control. Transparency isindispensable. (shrink)

In this commentary I take up thoughts about the sociology of time and Luhmann’s theory to consider whether automated future option maximization can be extended with a social dimension.

. A heuristic search procedure for inventing legal arguments is built on two tools already widely in use in argumentation. Argumentation schemes are forms of argument representing premise‐conclusion and inference structures of common types of arguments. Schemes especially useful in law represent defeasible arguments, like argument from expert opinion. Argument diagramming is a visualization tool used to display a chain of connected arguments linked together. One such tool, Araucaria, available free at , helps a user display an argument on the (...) computer screen as an inverted tree structure with an ultimate conclusion as the root of the tree. These argumentation tools are applicable to analyzing a mass of evidence in a case at trial, in a manner already known in law using heuristic methods and Wigmore diagrams . In this paper it is shown how they can be automated and applied to the task of inventing legal arguments. One important application is to proof construction in trial preparation. (shrink)

In contemporary societies, schools play an important role in reproducing the social system. Those who want to maintain the status quo find social reproduction desirable, while more radical scholars are critical regarding the social inequality and injustice perpetuated through this reproduction process. Traditionally, schools and families have assumed the more significant share of this ‘duty’ of educating for social reproduction, and, for better or worse, they have been largely successful. However, the landscape has shifted as automation and digitization have (...) exploded. In the 90s, the Internet’s increasing presence in the public domain revolutionized communications, and accordingly, capitalism found new avenues of exploitation, dramatically increasing social entropy. Using the works of Bernard Stiegler, this article problematizes the social reproduction field with a focus on schools. It argues that in this era of big data and digitization, schools have unknowingly allowed their traditional socialization and the cultivation of the youth’s intelligence functions to be sabotaged. This increasing erosion of schooling’s functions leads to a new, entropic reproduction that poisons the youth. Educators and parents cannot control this process; we all struggle to describe and fully understand it. (shrink)

ABSTRACT Certain problems in commonsense reasoning lend themselves to the use of non-standard formalisms which we call active logics. Among these are problems of objects misidentification. In this paper we describe some technical issues connected with automated inference in active logics, using particular object misidentification problems as illustrations. Control of exponential growth of inferences is a key issue. To control this growth attention is paid to a limited version of an inference rule for negative introspection. We also present some descriptive (...) statistics for comparison with earlier active-logic approaches. (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)

Building on the philosophical literature on the importance of workplace democracy, the article proposes a tripartite framework to conceptualise an ethically desirable course of automation. Three groups of argument are invoked: arguments from autonomy, interpersonal recognition, and meaningful work. These three groups of arguments are applied to analyse automation: whether automation extends or limits workers’ autonomy, interpersonal recognition, and meaningfulness of work. The last section of the article illustrates the tripartite framework with contemporary literature on automation (...) and technological change. (shrink)

Automating Humanity is the shocking and eye-opening new manifesto from international award-winning designer Joe Toscano that unravels and lays bare the power agendas of the world's greatest tech titans in plain language, and delivers a fair warning to policymakers, civilians, and industry professionals alike: we need a strategy for the future, and we need it now. Automating Humanity is an insider's perspective on everything Big Tech doesn't want the public to know--or think about--from the addictions installed on a global scale (...) to the profits being driven by fake news and disinformation, to the way they're manipulating the world for profit and using our data to train systems that will automate jobs at an explosive, unprecedented scale. Toscano provides a critique of modern regulation, including parts of the new European Union's General Data Proctection Regulation (GDPR) suggesting how we can create proactive, adaptable regulation that satisfies both the needs of consumer safety and commercial success in the international economy. The content touches on everything from technology, economics, and public policy to psychology, history, and ethics, and is written in a way that is accessible to everyone from the average reader to the technical expert. (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)

This paper described a formal theory of type judgments for propositional logic notations of PM; I felt the need of my own automated type checker to check their examples. The type checker I wrote did indeed serve to help me referee the paper, but also took a rather different approach to notation and typing for propositional functions of PM, which proved worth writing up independently in our own paper: Holmes, M. Randall, “Polymorphic type– checking for the ramified theory of types (...) of Principia Mathematica”, in Fairouz Kamareddine, ed., Thirty–five Years of Automating Mathematics, Kluwer, 2003, pp. 173-215. (shrink)

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)

Automated influence is one of the most pervasive applications of artificial intelligence in our day-to-day lives, yet a thoroughgoing account of its associated individual and societal harms is lacking. By far the most widespread, compelling, and intuitive account of the harms associated with automated influence follows what I call the control argument. This argument suggests that users are persuaded, manipulated, and influenced by automated influence in a way that they have little or no control over. Based on evidence about the (...) effectiveness of targeted advertising as well as empirical results about the nature of attentional control, I provide reasons to reject this argument. In turn, I use C. Thi Nguyen’s theory of value collapse to develop a new account of the harmfulness of automated influence. (shrink)

This article discusses the connection between Western socialist parties and technological development during the 1950s. The cases of the British Labour Party (LP), the German Social Democracy (SPD), and the Italian Socialist Party (PSI) let us to examine socialist perspectives in managing technological progress and in conceiving programmes and purposes on scientific research. This choice allows to understand two different aspects: on the one hand, the new pragmatism of socialist and social democratic parties, which was a typical trait of Postwar's (...) socialist revisionism; on the other hand, the predominance assumed by domestic affairs in socialists’ vision, instead international topics. A very specific choice concerns the article's main focus. A large historiographical dispute has started to trace about Postwar Social Democracy's revisionism. Given such historiographical debate, this article firstly explores the behaviour and politics of the LP, the SPD, and the PSI about the the so-called modernization, a process which concerned the entire Postwar Europe. It also discusses programmes or ideas circulations about the 1950s ‘technological revolution’ and the agendas settled by socialist and social democratic parties to govern such global phenomena. (shrink)

Computer multistage adaptive test combines the advantages of paper and pencil-based test and computer-adaptive test. As CAT, MST is adaptive based on modules; as P&P, MST can meet the need of test developers to manage test forms and keep test forms parallel. Cognitive diagnosis can accurately measure students’ knowledge states and provide diagnostic information, which is conducive to student’s self-learning and teacher’s targeted teaching. Although MST and CD have a lot of advantages, many factors prevent MST from applying to CD. (...) In this study, we first attempt to employ automated test assembly to achieve the objectives of MST in the application of CD via heuristic algorithms. The mean correct response probability of all KSs for each item is used to describe the item difficulty of CD. The attribute reliability in CD is defined as the test quantitative target. A simulation study with the G-DINA model was carried out to investigate the proposed CD-MST, and the results showed that the assembled panels of CD-MST satisfied the statistical and the non-statistical constraints. (shrink)

nature of modern data collection and storage techniques, and the increases in the speed and storage capacities of computers. Statistics books from 30 years ago often presented examples with fewer than 10 variables, in domains where some background knowledge was plausible. In contrast, in new domains, such as climate research where satellite data now provide daily quantities of data unthinkable a few decades ago, fMRI brain imaging, and microarray measurements of gene expression, the number of variables can range into the (...) tens of thousands, and there is often limited background knowledge to reduce the space of alternative causal hypotheses. In such domains, non-automated causal discovery techniques appear to be hopeless, while the availability of faster computers with larger memories and disc space allow for the practical implementation of computationally intensive automated search algorithms over large search spaces. Contemporary science is not your grandfather’s science, or Karl Popper’s. Causal inference without experimental controls has long seemed as if it must somehow be capable of being cast as a kind of statistical inference involving estimators with some kind of convergence and accuracy properties under some kind of assumptions. Until recently, the statistical literature said not. While parameter estimation and experimental design for the effective use of data developed throughout the 20th century, as recently as 20 years ago the methodology of causal inference without experimental controls remained relatively primitive. Besides a cessation of hostilities from the majority of the statistical and philosophical communities (which has still only partially happened), several things were needed for theories of causal estimation to appear and to flower: well defined mathematical objects to represent causal relations; well defined connections between aspects of these objects and sample data; and a way to compute those connections. A sequence of studies beginning with Dempster’s work on the factorization of probability distributions [Dempster 1972] and culminating with Kiiveri and Speed’s [Kiiveri & Speed 1982] study of linear structural equation models, provided the first, in the form of directed acyclic graphs, and the second, in the form of the “local” Markov condition.. (shrink)

Fiction is an important tool in an artist/designer/developer’s vocabulary, but its usage is polyvalent. Speculative research in this article introduces the ‘rudiment’ to embrace the undeveloped and the improvisory phases of research practice. Fiction is used to reflect on the ways practicing designers and developers might already engage in misanthropic thinking – involving automated technologies. Tracing the misanthropic agencies in relation to automated technologies contributes to expanding the ways designers and developers reflect on the technical potential of their designs, with (...) whom they are designing (and for) and the way they understand their reflexive self. Bringing together Colson Whitehead’s novel The Intuitionist (1999) and its account of an elevator crash, their design and maintenance, with a narrative account of software agents enables an investigation into the promises made through a design-for-the-prevention-of-failure imperative. These examples highlight the relation between physical and non-physical failures such as failures to connect or to create intimacy. Those who contribute to designing in this article get caught up in configuring misanthropic agencies involving themselves, the designed artefact and the spaces they both inhabit be that an elevator in a housing block, or a sexbot in an online chat room. I will argue that the misanthropic agencies of automated technologies can have a confining impact on our emergent modes of design. Automated software operating in virtual spaces are confining in as much as they attempt to connect things to exploit the de-personalized aspects of automated, misanthropic agency. (shrink)

Some economists now predict that technology will eliminate many millions of jobs and lead to a future without work. Much debate focuses on the accuracy of such a prediction—whether, or at what rate, jobs will disappear. But there is a wider question raised by this prediction, namely the merits or otherwise of automating work. Beyond estimating future job losses via automation, there is the normative issue of whether the quality of life would be enhanced in a world where machines (...) replace humans in work. Economics makes particular assumptions about the value of work and the nature of well-being that can address this normative issue. But a deeper enquiry into the scope for living well in a possible automated future requires us to think beyond the limits of standard economic theory and to engage in matters of relevance to business ethicists. This paper shows how automation raises crucial concerns about work—its meaning and contribution to well-being—and how the ability to envisage a better future of work depends on bridging the gap between economics and business ethics. Overall, the paper aims to further understanding of automation as a possible mechanism to raise well-being within work and beyond it. (shrink)

We address the considerations of the European Commission Expert Group on the ethics of connected and automated vehicles regarding data provision in the event of collisions. While human drivers’ appropriate post-collision behavior is clearly defined, regulations for automated driving do not provide for collision detection. We agree it is important to systematically incorporate citizens’ intuitions into the discourse on the ethics of automated vehicles. Therefore, we investigate whether people expect automated vehicles to behave like humans after an accident, even if (...) this behavior does not directly affect the consequences of the accident. We find that appropriate post-collision behavior substantially influences people’s evaluation of the underlying crash scenario. Moreover, people clearly think that automated vehicles can and should record the accident, stop at the site, and call the police. They are even willing to pay for technological features that enable post-collision behavior. Our study might begin a research program on post-collision behavior, enriching the empirically informed study of automated driving ethics that so far exclusively focuses on pre-collision behavior. (shrink)

. Software testing is a very important phase in the development of software. Testing includes the generation of test cases which, if done manually, is time consuming. To automate this process and generate optimal test cases, several meta-heuristic techniques have been developed. These approaches include genetic algorithm, cuckoo search, tabu search, intelligent water drop, etc. This paper presents an effective approach for test data generation using the cuckoo search and tabu search algorithms. It combines the cuckoo algorithm's strength of converging (...) to the solution in minimal time along with the tabu mechanism of backtracking from local optima by Lévy flight. The experimental results show that the algorithm is effective in generating test cases optimally and its performance is better than various earlier proposed approaches. (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...

Technological unemployment is what happens when automation eliminates jobs and not enough new jobs arrive to employ everyone, leaving part of the workforce permanently unemployed. Who owns the money that used to pay them? Business owners will argue that it’s theirs. I will argue that it’s not. I consider and refute several arguments for their claim, and then argue that this money is collective property. Because it’s collective property, we can use it to fund basic incomes for the technologically (...) unemployed without violating anyone’s property rights. Moreover, it is equal in amount to the total incomes lost to technological unemployment, and therefore big enough to fund a decent standard of living for the unemployed, no matter how numerous they are. This is a new kind of collective property, distinct and different from other collective properties, such as the natural world, employment rents, and social capital. (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)

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)

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)

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)

In order to think of philosophy after automation, we have to ask if there is more in philosophy than the process of learning what philosophy is by inducing, from actual inferential practices, the future possible moves that are believed to produce philosophical truths. In the same way as the production of scientific hypothesis has been automated like a self-updating process which entails schemas of decisions and actions, philosophy itself, once conceived as a game where the truth of the statements (...) is measured with respect to the social reproduction of inferential moves, could be automated as well. (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)

Language sample analysis is an important practice for providing a culturally sensitive and accurate assessment of a child's language abilities. A child's usage of literate language devices in narrative samples has been shown to be a critical target for evaluation. While automated scoring systems have begun to appear in the field, no such system exists for conducting progress-monitoring on literate language usage within narratives. The current study aimed to develop a hard-coded scoring system called the Literate Language Use in Narrative (...) Assessment, to automatically evaluate six aspects of literate language in non-coded narrative transcripts. LLUNA was designed to individually score six literate language elements. The interrater reliability of LLUNA with an expert scorer, as well as its' reliability compared to certified undergraduate scorers was calculated using a quadratic weighted kappa. Results indicated that LLUNA met strong levels of interrater reliability with an expert scorer on all six elements. LLUNA also surpassed the reliability levels of certified, but non-expert scorers on four of the six elements and came close to matching reliability levels on the remaining two. LLUNA shows promise as means for automating the scoring of literate language in LSA and narrative samples for the purpose of assessment and progress-monitoring. (shrink)

Is “philosophy after automation” a theme or a question? One might hesitate about this, because we may wonder whether or not it implies that philosophy could disappear after automation, or at least be subject to serious revision. Philosophy could be read as a historical movement towards self-determination [autodétermination] as well as the exposition of the limit of such a program of archi-autonomy. The Cartesian event is essentially ambivalent, and man alone in the world is undoubtedly also the one (...) who can but alter, in the long run, the sufficiency of the auto. This is what we can now begin to understand. (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)

The paper explores some normative challenges concerning the integration of Machine Learning (ML) algorithms into anticorruption in public institutions. The challenges emerge from the tensions between an approach treating ML algorithms as allies to an exclusively legalistic conception of anticorruption and an approach seeing them within an institutional ethics of office accountability. We explore two main challenges. One concerns the variable opacity of some ML algorithms, which may affect public officeholders’ capacity to account for institutional processes relying upon ML techniques. (...) The other pinpoints the risk that automating certain institutional processes may weaken officeholders’ direct engagement to take forward-looking responsibility for the working of their institution. We discuss why both challenges matter to see how ML algorithms may enhance (and not hinder) institutional answerability practices. (shrink)

Smullyan wrote his famous book of puzzles before the boom in automated theorem proving and he solved the puzzles by hand. Hence it is interesting to investigate whether all the puzzles can be solved with one method or not. The paper shows how this can be done with analytic tableaux.

This paper views the impact of automation and new globalization phenomenon, outsourcing on sustainable economic growth. Its main scope is to analyze the impacts of advanced automation and offshore outsourcing in manufacturing on a human capital and an acceleration of structural unemployment. Simultaneously, in the paper are compared two concepts by which a company can tend to attain a position of manufacturing excellence. Further is given a special emphasis to the automation driven shrinking of the middle class (...) in countries that are passing to the phase of deindustrialization. Finally some laws of automation in manufacturing are formulated and few ideas and recommendations for the future are outlined. (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)