Algorithms and automated learning systems have been successfully applied to produce images, pieces of music, or texts that are appealing to humans and that are often compared to artworks. Computational technologies are able to find surprising and original solutions–new patterns that humans cannot anticipate– but does this mean we ascribe to them the kind of creativity that is expressed by human artists? Even though AI can successfully detect humans’ preferences as well as select the objects that satisfy taste, can we (...) ascribe to them the capacity of recognizing the intrinsic value of artworks? To answer these questions, I am first going to explain the kind of creativity that is expressed by contemporary predictive systems, then, in the second part of this paper, I will try to show the difference between the creativity of algorithms and the creativity of artists by expanding on Deleuze’s reflections. (shrink)

Since the 1970s, the application of microprocessor in industrial machinery and the development of computer systems have transformed the manufacturing landscape. The rapid integration and automation of production systems have outpaced the development of suitable human design criteria, creating a deepening gap between humans and systems in which human was seen as an important source of errors and disruptions. Today, the situation seems different: the scientific and public debate about the concept of Industry 4.0 has raised awareness about the (...) central role humans have to play in manufacturing systems, the design of which must be considered from the very beginning. The future of industrial systems, as represented by Industry 4.0, will rely on the convergence of several research fields such as Intelligent Manufacturing Systems (IMS), Cyber-Physical Systems (CPS), Internet of Things (IoT), but also socio-technical fields such as social approaches within technical systems. This article deals with different human social dimensions associated with CPS and IoT and focuses on their conceptual evolution regarding automated production systems’ sociability, notably by bringing humans back in the loop. Hereby, this paper aims to take stock of current research trends to show the importance of integrating human operators as a part of a socio-technical system based autonomous and intelligent products or resources. Consequently, different models of sociability as a way to integrate humans in the broad sense and/or the develop future automated production systems have been identified from the literature and analysed. (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)

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)

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

With slogans such as ‘Tell the stories hidden in your data’ and ‘From data to clear, insightful content – Wordsmith automatically generates narratives on a massive scale that sound like a person crafted each one’, a series of companies currently market themselves on the ability to turn data into stories through Natural Language Generation techniques. The data interpretation and knowledge production process is here automated, while at the same time hailing narrativity as a fundamental human ability of meaning-making. Reading both (...) the marketing rhetoric and the functionality of the automated narrative services through narrative theory allows for a contextualization of the rhetoric flourishing in Big Data discourse. Building upon case material obtained from companies such as Arria NLG, Automated Insights, Narrativa, Narrative Science, and Yseop, this article argues that what might be seen as a ‘re-turn’ of narrative as a form of knowledge production that can make sense of large data sets inscribes itself in – but also rearticulates – an ongoing debate about what narrative entails. Methodological considerations are thus raised on the one hand about the insights to be gained for critical data studies by turning to literary theory, and on the other hand about how automated technologies may inform our understanding of narrative as a faculty of human meaning-making. (shrink)

In this paper, we explore and describe what is needed to allow connected and automated vehicles to break traffic rules in order to minimise road safety risk and to operate with appropriate transparency. Reviewing current traffic rules with particular reference to two driving situations, we illustrate why current traffic rules are not suitable for CAVs and why making new traffic rules specifically for CAVs would be inappropriate. In defining an alternative approach to achieving safe CAV driving behaviours, we describe the (...) use of ethical goal functions as part of hybrid AI systems, suggesting that functions should be defined by governmental bodies with input from citizens and stakeholders. Ethical goal functions for CAVs would enable developers to optimise driving behaviours for safety under conditions of uncertainty whilst allowing for differentiation of products according to brand values. Such functions can differ between regions according to preferences for safety behaviours within that region and can be updated over time, responding to continual socio-technological feedback loops. We conclude that defining ethical goal functions is an urgent and necessary step from governmental bodies to enable the safe and transparent operation of CAVs and accelerate the reduction in road casualties they promise to achieve. (shrink)

This article will rework the classical question ‘Can a machine think?’ into a more specific problem: ‘Can a machine think anything new?’ It will consider traditional computational tasks such as prediction and decision-making, so as to investigate whether the instrumentality of these operations can be understood in terms of the creation of novel thought. By addressing philosophical and technoscientific attempts to mechanise thought on the one hand, and the philosophical and cultural critique of these attempts on the other, I will (...) argue that computation’s epistemic productions should be assessed vis-à-vis the logico-mathematical specificity of formal axiomatic systems. Such an assessment requires us to conceive automated modes of thought in such a way as to supersede the hope that machines might replicate human cognitive faculties, and to thereby acknowledge a form of onto-epistemological autonomy in automated ‘thinking’ processes. This involves moving beyond the view that machines might merely simulate humans. Machine thought should be seen as dramatically alien to human thought, and to the dimension of lived experience upon which the latter is predicated. Having stepped outside the simulative paradigm, the question ‘Can a machine think anything new?’ can then be reformulated. One should ask whether novel behaviour in computing might come not from the breaking of mechanical rules, but from following them: from doing what computers do already, and not what we might think they should be doing if we wanted them to imitate us. (shrink)

Because they involve individual-level cognitive processes, psychological explanations of linguistic phenomena are in principle testable against individual behaviour. The present study draws on patterns of individual variation in corpus data to test explanations of productivity. Linguistic patterns are predicted to become more productive with higher type frequencies and lower token frequencies. This is because the formation of abstract mental representations is encouraged by varied types but counteracted by automation of high-frequency types. The predictions are tested for English -ly (...) and -ness-derivation, as used by 698 individual journalists in the New York Times Annotated Corpus and 171 members of Parliament in the Hansard Corpus. Linear regression is used to model individual variation in productivity, in relation to type and token frequency, as well as several other predictor variables. While the expected effects are observed, there is also robust evidence of an interaction effect between type and token frequency, indicating that productivity is highest for patterns with many types and not-too-infrequent tokens. This fits best with a view of entrenchment as both a conservative and creative force in language. Further, some variation remains irreducibly individual and is not explained by currently known predictors of productivity. (shrink)

During the last decade a new utopian horizon has emerged from the radical left: that of a future postcapitalist society in which technological progress and renewable energy finally take care of our material needs while robots do most our work for us, making paid employment a thing of the past. Instead, we can focus on fulfilling our desires and dreaming up new ones, leading lives of luxury and ease. This utopia, often called “fully automated luxury communism," could be reached through (...) opportunistically accelerating features of the existing neoliberal capitalist system. -/- However, behind this vision of a bright, sustainable future lurks a worrying political prospect. I show how the post-capitalist’s philosophical prejudice against work comes at a high political cost. By painting productive activity as mere drudgery that machines will emancipate us from, they also end up giving up on work as the root of radical democratic agency. The luxury communist proposal ends up resembling an extreme case of the neoliberal hegemony that it claims to be fighting against, a centrally ruled world completely focused on private enjoyment of luxury and devoid of any shared understanding of human flourishing on which democratic public life could thrive – a political dystopia. (shrink)

In recent years drastic shifts in the paradigms of politics, economics and technologies have occurred throughout the world. The shifts in these three fields are all related. It is our responsibility to investigate these shifts from the aspects of society and mankind for the prosperity of future generations. For this, societies should share with each other their wisdom and knowledge in an effort to plan for the future.

Developments in information and communication technologies have created change and transformation in news production and reading habits, and the use of artificial intelligence in the journalism sector has become inevitable as the process transforms society. With artificial intelligence journalism, news can be produced and edited quickly. However, this speed and automation can create problems for readers in terms of accuracy and detail in consuming the news. In this context, the roles of journalists are also changing, and they are effective (...) in checking the accuracy of news and developing public awareness. Automated news production has developed with the use of artificial intelligence-based software. In the automated news production process, which has come to the agenda through artificial intelligence, the automated creation of news through a number of algorithms and software and its rapid presentation to consumers has taken its place in the new generation journalism. Therefore, with the use of artificial intelligence in news production, public awareness should also be taken into consideration. This study investigates public awareness in the context of automated news production and news reliability, objectivity, confidentiality, employment problems of journalists and ethical rules. The independent variables of the study are the gender, age, education and occupation of newspaper consumers, while the dependent variables are the public opinion on the characteristics of the news in the face of news produced with artificial intelligence. The population of the study consists of individuals who use social media, read digital newspapers and are over the age of 18, while the sample consists of 400 people who voluntarily responded to the study. In the study, half of the participants are aware of the concept of artificial intelligence and that news is sometimes produced with artificial intelligence. Most of the participants think that weather news is produced by artificial intelligence, as well as economy, earthquake, weather and sports news are all produced automatically. The majority of the participants think that they are concerned about the reliability of the news produced by artificial intelligence, that these news are more qualified and more reliable than the news produced by the traditional news production process. Some of the participants also think that their news needs should be met through news produced by artificial intelligence today. It has been also found that there were significant differences between the gender, age and occupational groups of the participants and their attitudes towards news produced by artificial intelligence. (shrink)

The global path of capitalist development is continuously transformed as a result of the production and integration of advanced information and communication technologies within various forms of production. The first half of this paper conceptualises ICTs as capital’s appropriation and objectification of the productive forces of the general intellect in ‘the general artificial intellect’, a category that refers to the total processing power of networked ICTs in global society. The second half of the paper analyses Uber’s development of the elements (...) of capital’s artificial intellect as the cybernetic means of real subsumption in its immaterial production process. The paper concludes that Uber’s development of autonomous vehicles is an example of the global trend in transport automation that could raise the organic composition of capital of the transport industry, which I suggest would advance the stage of real subsumption toward a third and final stage of autonomous subsumption. (shrink)

An emerging discourse about automated agricultural machinery imagines farms as places where farmers and workers do not need to be, but also implicitly frames farms as intolerable places where people do not want to be. Only autonomous machines, this story goes, can relieve farmers and workers of this presumed burden by letting them ‘farm at a distance’. In return for this distanced autonomy, farmers are promised increased control over their work-life balance and greater farm productivity from letting ‘smart’ robots (...) assume control over the operational environment. Drawing upon the ways that these machines are promoted by manufacturers in various media, we trace the nascent contours of what we term a liberatory sociotechnical imaginary for agricultural automation across three cases—automated milking systems, self-driving tractors, and robotic strawberry pickers. We show how promises for new freedoms and autonomy are flexibly deployed to respond to distinct frictions that farmers, workers, and even farm animals experience in different modes of industrial agriculture. However, underlying these promises is the purposefully understated self-interest of manufacturers, who stand to gain further control over farms if automated technologies assume a central role in agriculture. Through the liberatory rhetoric, we contend, the imaginary seeks to enroll farmers into a socio-technical network that creates new relations of dependence upon the companies who design, sell, maintain, and often retain ownership over automated technologies. While potentially powerful, this imaginary may nonetheless fail to coalesce as farmers, workers, and agroecosystems exert their own agency on automated imaginaries and technological futures for agriculture. (shrink)

Artificial Intelligence in the form of different machine learning models is applied to Big Data as a way to turn data into valuable knowledge. The rhetoric is that ensuing predictions work well—with a high degree of autonomy and automation. We argue that we need to analyze the process of applying machine learning in depth and highlight at what point human knowledge production takes place in seemingly autonomous work. This article reintroduces classification theory as an important framework for understanding such (...) seemingly invisible knowledge production in the machine learning development and design processes. We suggest a framework for studying such classification closely tied to different steps in the work process and exemplify the framework on two experiments with machine learning applied to Facebook data from one of our labs. By doing so we demonstrate ways in which classification and potential discrimination take place in even seemingly unsupervised and autonomous models. Moving away from concepts of non-supervision and autonomy enable us to understand the underlying classificatory dispositifs in the work process and that this form of analysis constitutes a first step towards governance of artificial intelligence. (shrink)

With increasing technological improvements, production processes are becoming more and more automated. Nevertheless, full automation is improbable in the medium term since human abilities cannot yet be completely replaced. Therefore, it is likely that so-called hybrid human–robot teams will assume the future production. This raises questions regarding the shaping of future production and the effects it will have on the employees, workstations, and the companies as a whole. The project “Work in the Industry of the Future” addresses the entirely (...) new cooperative relationship between man and technology in the Industry 4.0 and its impact on opportunities for the work force. To derive the requirements and effects of hybrid workplaces, an initial work analysis of existing workplaces with varying levels of technological enhancement will be conducted. Multiple standardized work analysis instruments that vary in method, duration, level of analysis, and recorded characteristics already exist. This paper gives an overview of an assortment of these methods that can be used in production. (shrink)

This paper is discusses some central points in a dissertation for the degree of dr. phil., "Regulation as Productive Tool Use - a Participatory Observation in the Control Room of a District Heating System." An earlier version of the paper was presented by the author as part of the defense of the dissertation at Roskilde University Center June 14 2002. As suggested by the title, the dissertation was an empirical study of regulation in a control room. The object of the (...) authors participatory observation was how the operators in the control room followed rules when they regulated a highly automated plant. When I was shown the plant I was told that the technology ran smoothly and without error. Its control structures are based on formal logic and mechanical principles, all the same human beings are required in the control room to take care of anomalies. Among other things, the observations provide an opportunity to discuss the limitations of psychologies that study human beings on the basis of formal principles. The present paper focuses on two characteristic aspects of this discussion in the dissertation. First, it takes its point of departure in some practical problems of the control structures of the control room. It will demonstrate that the practical problems are problems of principle, and that formal principles are not adequate to study the object of human sciences, namely, human beings. Second, it sketches out what is required of a conception of human beings. As human beings are trusted to handle anomalies, we must explain how they are able to act on an incomplete understanding of the situation. And since they are able to identify what is wrong, we must explain how they develop new knowledge. The paper presented at the defense summarized the main arguments of the dissertation and alluded to an expansion of the main point using a particular instance. Here the weight is shifted to the latter expansion. (shrink)

To characterize human emotions, researchers have increasingly utilized Automatic Facial Expression Analysis (AFEA), which automates the Facial Action Coding System (FACS) and translates the facial muscular positioning into the basic universal emotions. There is broad interest in the application of FACS for assessing consumer expressions as an indication of emotions to consumer product-stimuli. However, the translation of FACS to characterization of emotions is elusive in the literature. The aim of this systematic review is to give an overview of how FACS (...) has been used to investigate human emotional behavior to consumer product-based stimuli. The search was limited to studies published in English after 1978, conducted on humans, using FACS or its action units to investigate affect, where emotional response is elicited by consumer product-based stimuli evoking at least one of the five senses. The search resulted in an initial total of 1,935 records, of which 55 studies were extracted and categorized based on the outcomes of interest including (i) method of FACS implementation; (ii) purpose of study; (iii) consumer product-based stimuli used; and (iv) measures of affect validation. Most studies implemented FACS manually (73%) to develop products and/or software (20%) and used consumer product-based stimuli that had known and/or defined capacity to evoke a particular affective response, such as films and/or movie clips (20%); minimal attention was paid to consumer products with low levels of emotional competence or with unknown affective impact. The vast majority of studies (53%) did not validate FACS-determined affect and, of the validation measures that were used, most tended to be discontinuous in nature and only captured affect as it holistically related to an experience. This review illuminated some inconsistencies in how FACS is carried out as well as how emotional response is inferred from facial muscle activation. This may prompt researchers to consider measuring the total consumer experience by employing a variety of methodologies in addition to FACS and its emotion-based interpretation guide. Such strategies may better conceptualize consumers' experience with products of low, unknown, and/or undefined capacity to evoke an affective response such as product prototypes, line extensions, etc. (shrink)

Automation and information technology have transformed the organization of labor to such an extent that the processes of exploitation have moved beyond the labor class and now work upon society as a whole. If this displacement has destroyed the political primacy of the labor class, it has not, however, eliminated exploitation; rather, it has broadened it, implanting it within the given conditions of the most diverse spheres of society. -- from The Winter Is Over In late 1995, in opposition (...) to the conservative agenda of Jacques Chirac and his prime minister Alain Juppé and their proposed widespread welfare cuts, French students rose up against their government; public sector workers, together with all the major trade unions, went on strike. When railway workers and Paris Metro personnel joined in the protests, France's public transportation system came to a halt. These extensive social upheavals, the likes of which had not been seen in France since 1968, found widespread public support and fuelled the creation of many political organizations. Chirac backed down from restructuring the public retirement system. Antonio Negri's _T_he Winter is Over comes out of the glimmer of optimism created by the events of 1995, when the long, cold season of neoliberalism, Thatcherism, Reaganomics, reaction, and counterrevolution appeared to have run its course. Published in Italian in 1996, _The Winter is Over_ brings together a series of articles, speeches, and other documents written by Negri between 1989 and 1995 at the threshold of this thaw. It offers a revealing and wide-reaching account of those years of change and brink-of-change, focusing on such topics as the networks of social production, the decline of "limp thought," the end of applied socialism, the Gulf War, and, finally, Italy's transition to its so-called "Second Republic," as seen by an exile. (shrink)

Artistic labour was exemplary for Utopian Socialist theories of 'attractive labour', and Marxist theories of 'nonalienated labour', but the rise of the anti-work movement and current theories of 'fully automated luxury communism' have seen art topple from its privileged place within the left's political imaginary as the artist has been reconceived as a prototype of the precarious 24/7 worker. 'Art and Postcapitalism' argues that art remains essential for thinking about the intersection of labour, capitalism and postcapitalism not insofar as it (...) merges work and pleasure but as an example of noncapitalist production. Reassessing the contemporary politics of work by revisiting debates about art, technology and in the nineteenth and twentieth century, Dave Beech challenges the aesthetics of labour in John Ruskin, William Morris and Oscar Wilde with a value theory of the supersession of capitalism that sheds light on the anti-work theory by Silvia Federici, Andre Gorz, Kathi Weeks and Maurizio Lazzarato, as well as the technological Cockayne of Srnicek and Williams and Paul Mason. Formulating a critique of contemporary postcapitalism, and developing a new understanding of art and labour within the political project of the supersession of value production, this book is essential for activists, scholars and anyone interested in the real and imagined escape routes from capitalism. (shrink)

The limits of Taylorism are alive and well in today's manufacturing systems. Automation does have to constrain human ability creativity, judgement and skill, and undermine human dignity. The paper presents an interactive concept of manufacturing. “Human-Oriented Manufacturing Systems” (HOMS), which aims to achieve high flexibility and quality of production while creating an environment for happy working and joyful living.

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

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

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)

This paper argues that, despite a few positive developments in recent decades, the global labour landscape is still notoriously marked by forms of precarity, unlivability and exploitation. Thus, while acknowledging that contemporary experiences of work are complex and diverse, it emphasises the detrimental impact that the neoliberal production of precarity and the phenomenon of social acceleration are having on them all. In this sense, it contends that temporal pressure and the control of workers’ time is a nodal point from which (...) various forms of labour precarity derive. With a theoretical framework based on the works of Rancière, Butler and Rosa among others, this paper seeks to illuminate the relationship between the accelerated temporalities of neoliberal capitalism and emerging forms of labour precarity. It does so, first, by characterising contemporary time regimes and identifying the productivist rationality that underpins them. It then analyses the manner in which productivism effectively materialises in workplace surveillance, automation and logistical technologies. Finally, it presents two compelling examples that illustrate how neoliberal capitalist time regimes, their productivist normative code, and their association with the latest technology not only perpetuate disciplinary mechanisms of old, but also enable new overlappings between various forms of labour precarity and socially assigned disposability. (shrink)

Life was difficult in the prehistoric time. Humans depended on the precarious fortunes of Hunting for the survival. This mode of living does not lead to the formation of civilization but it is a means to get there. Then man discovered the art of agriculture, where there is a continued supply of food. With this security of the future, man began to expand his mind and began to embellish his life. Then came the discovery of electricity which has spawned a (...) new revolution in the mode of work similar to agricultural revolution which is the Industrial revolution. The machines began taking the hard labor on the behalf of the man. With this, came the abundance of goods and products. Though industrial revolution increased the goods, it decreased the employment opportunity for many. The labor of the man is not needed anymore where it was needed earlier as machines occupied its place. There is a similar revolution inevitable in the future which may further displace humans from the workforce. It is the Automation era. With automation comes abundance in the order which is not known earlier. The cost of the goods will decrease dramatically. There will be surplus of the goods. But what about the humans and their employment. Will they have a purpose or place in the workforce. This report deals with such practical, scientific and ethical question that needs to be addressed in the automation era. (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)

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)

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

Wilfred Sieg and Clinton Field. Automated Search for Gödel's Proofs.

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)

Three major phases can be distinguished in the history of the development of science. During the first phase, science had almost no link with production, craft, existed within philosophy and was considered to be elite activity. The radical change in the development of science occurs in the new time, when science having separated from philosophy becomes an independent area of knowledge. Science of new time not only discovers the laws of nature, it exists in close relation with production, and to (...) some extent represents a basis for production. In this respect, the machine based production had a major impact. The next radical change in the development of science and its relations with production starts with technical revolution, which is of principal significance for both development of a man and for the understanding of the nature and concept of science. The most important value of technical revolution consists in its substantive impact on the nature of science and the change of its essential definitions and characteristics. In the context of technical revolution, a radical change occurs in the relation between science and production. In the modern automated production, science as a concentrated expression of laws directly merges with production, i.e. science itself becomes a direct productive force. A radical change occurs also in the nature of science. In the context of technical revolution, science transforms from a form of knowledge into the unity of science and activity, and an organic merger of science and production occurs. (shrink)

The paper looks into one branch of Ukrainian economy - the food industry. It is established that marketing activities of food industry companies have some specific features, namely mismatching of an agricultural performance period and production time; a perishable nature of products, which necessitates tight time frames of storage and sales; production focus on the direct consumer; a high level of materials consumption of products released, which requires a large quantity of feedstock as well as high qualification skills and expertise (...) from workers. The activity of a domestic bakery is described. It is determined that the complexity of its production processes and increased information flows requiring in-line processing for acquisition of appropriate data served as a basis for introduction of the special 'Marketing' software by its Marketing Department. The conducted analysis of the information product allowed to establish that the user of the above software maintains routine accounting and control of product supplies. To that end, information is processed, parameters related to production and supplies analyzed. The software significantly improves operational efficiency owing to an increased number of accountable factors and reduced decision making time. That bundled software however makes no provisions for development of a unified integrated management system, which reduces the company operating efficiency. It is established that to date there are many information systems available for food production automation, the Oracle E-Business Suite-based technology, developed by TopS BI, among them. It was offered for application at the food enterprise in question. The above system allows to automate production planning and management processes at various levels: from daily shop planning and management with step-by-step product quality control to scaled-up calendar planning of production, including that for a group of enterprises. (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)