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 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)

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)

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 chapter contains sections titled: The Cutting Edge Automated Reasoning, Principles and Elements Significant Successes Myths, Mechanization, and Mystique.

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)

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)

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)

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)

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)

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)

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.

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)

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 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)

In this paper, we claim that the disambiguation ofreferring expressions in discourse can be formulated in terms automatedreasoners can address. Specifically, we show that consistency,informativity and minimality are criteria which (i) can be implementedusing automated reasoning tools and (ii) can be used to disambiguatenoun-noun compounds, metonymy and definite descriptions.

. 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)

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)

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)

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)

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)

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)

Online privacy policies or terms and conditions ideally provide users with information about how their personal data are being used. The reality is that very few users read them: they are long, often hard to understand, and ubiquitous. The average internet user cannot realistically read and understand all aspects that apply to them and thus give informed consent to the companies who use their personal data. In this article, we provide a basic overview of a solution to the problem. We (...) suggest that software could allow users to delegate the consent process and consent could thus be automated. The article investigates the practical feasibility of this idea. After suggesting that it is feasible, we develop some normative issues that we believe should be addressed before automated consent is implemented. (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)

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)

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)

In the paper I explore the relations between a relatively new and quickly expanding branch of artificial intelligence –- the automated discovery systems –- and some new views advanced in the old debate over scientific realism. I focus my attention on one such system, GELL-MANN, designed in 1990 at Wichita State University. The program's task was to analyze elementary particle data available in 1964 and formulate an hypothesis (or hypotheses) about a `hidden', more simple structure of matter, or to (...) put it in contemporary terms –- the discovery of quarks. The central thesis of my paper is that systems like GELL-MANN not only discover (or rediscover) the hidden structure of matter, but also provide independent strong evidence in favor of scientific realism about entities involved in that structure. I make an attempt to show how an argument for scientific realism about sub-microscopic entities can be constructed that would parallel Ian Hacking's `argument from coincidence' presented with respect to microscopic objects in his famous book Representing and Intervening. (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)

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)

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)

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)

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)

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)

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)

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)

How should automated vehicles (AVs) 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)

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)

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)

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)

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)

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)

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)

As the world population ages, the patients per physician ratio keeps on increasing. This is even more important in the domain of chronic pathologies where people are usually monitored for years and need regular consultations.To address this problem, we propose an automated system to monitor a patient population, detecting anomalies in instantaneous data and in their temporal evolution, so that it could alert physicians. By handling the population of healthy patients autonomously and by drawing the physicians' attention to the (...) patients–at-risk, the system allows physicians to spend comparatively more time with patients who need their services. In such a system, the interaction between the patients, the diagnosis module, and the physicians is very important. We have based this system on a combination of stochastic models, fuzzy filters, and strong medical semantics. (shrink)

In anticipation of the market introduction of highly and fully automated vehicles, regulations for their behavior in public road traffic are emerging in various countries and regions. Yet, as we show using the example of EU and German regulations, these rules are both incomplete and exceptionally vague. In this paper we introduce three traffic scenarios highlighting conflicting ethical, legal, and utility-related claims, and perform a legal analysis with regards to the expected behavior of AVs in these scenarios. We show (...) that the existing regulatory framework disregards the realities of algorithmic decision-making in automated vehicles, such as the incomplete and imprecise perception of their environment and the probabilistic nature of their predictions. Importantly, the current regulations are written in abstract language addressing human interpreters rather than the precise logical-numerical computer code. We argue that the required interpretation and translation of the abstract legal language into the logical-numerical domain is so ambiguous that the regulations as they stand fail to guide or limit automated vehicle behavior in any meaningful way. This comes with significant ethical implications, as the interpretation and translation is unavoidable and, if not provided by regulatory bodies, will have to be performed by manufacturers. We argue that ethical decisions with significant impact on public safety must not be delegated to private companies, and thus, regulatory frameworks need significant improvements. (shrink)