The burgeoning of new technologies is increasingly affecting people’s lives. One new technology that is heatedly discussed is artificial intelligence in education. To allow students to understand the impact of emerging technologies on people’s future lives from a young age, some popular science activities are being progressively introduced into elementary school curricula. Popular science activities are informal education programs and practices of universal education. However, two issues need to be discussed in the implementation of these activities. First, because these informal (...) curricula are usually short in duration, the question of whether they only serve to generate motivation or actually enhance learning outcomes requires examination. Second, the role of teacher support in popular science activities and its impact on students’ learning results need to be further investigated. To this end, this study aims to explore the effectiveness of popular AI science activities in informal curricula on students’ AI achievement and the interrelationship between students’ learning outcomes in popular AI science activities with and without teacher support. A 6-h-long AI popular science activity was conducted with 22 fifth- and sixth-grade students in elementary school. This study was conducted using a one-group pretest and posttest design, and the data collection tools included AI achievement pre- and posttests and an artifact scoring rubric. The results showed that with regard to learning outcomes, popular science activities were helpful for cognitive enhancement of AI concepts, but more time was needed for skills to improve. Additionally, this study found that students’ learning performance was different with and without teacher support. Activities with teacher support can enhance students’ learning outcomes, but students become accustomed to relying on their teachers. In contrast, activities without teacher support seem to be more effective in fostering students’ independent computational thinking and problem-solving abilities. (shrink)

This article discusses the political economy of AI capitalism. It considers AI as a General Purpose Technology and argues we need to investigate the power concentration of Big Tech. AI capitalism is characterised by the commodification of data, data extraction and a concentration in hiring of AI talent and compute capacity. This is behind Big Tech’s unstoppable drive for growth, which leads to monopolisation and enclosure under the winner takes all principle. If we consider AI as a GPT—technologies that alter (...) society’s economic and social structures—we need to come up with alternatives in terms of ownership and governance. The commons is proposed as an alternative for thinking about how to organise AI development and how to distribute the value that can be derived from it. Using the commons framework is also a way of giving society a more prominent role in the debate about what we expect from AI and how we should approach it. (shrink)

Many compelling examples have recently been provided in which people can achieve impressive epistemic success, e.g. draw highly accurate inferences, by using simple heuristics and very little information. This is possible by taking advantage of the features of the environment. The examples suggest an easy and appealing naturalization of rationality: on the one hand, people clearly can apply simple heuristics, and on the other hand, they intuitively ought do so when this brings them high accuracy at little cost.. The ‘ought-can’ (...) principle is satisfied, and rationality is meaningfully normative. We show, however, that this naturalization program is endangered by a computational wrinkle in the adaptation process taken to be responsible for this heuristics-based (‘ecological’) rationality: for the adaptation process to guarantee even minimal rationality, it requires astronomical computational resources, making the problem intractable. We consider various plausible auxiliary assumptions in attempt to remove this obstacle, and show that they do not succeed; intractability is a robust property of adaptation. We discuss the implications of our findings for the project of naturalizing rationality. (shrink)

How should rational beliefs change over time? The standard Bayesian answer is: by conditionalization (a.k.a. Bayes’ Rule). But conditionalization is not an adequate rule for updating beliefs in “centred” propositions whose truth-value may itself change over time. In response, some have suggested that the objects of belief must be uncentred; others have suggested that beliefs in centred propositions are not subject to diachronic norms. Iargue that these views do not offer a satisfactory account of self-locating beliefs and their dynamics. A (...) third response is to replace conditionalization by a new norm that can deal with centred propositions. I critically survey anumber of new norms that have been proposed, and defend one particular approach. (shrink)

The main aim of the present paper is to use a proof system for hybrid modal logic to formalize what are called false-belief tasks in cognitive psychology, thereby investigating the interplay between cognition and logical reasoning about belief. We consider two different versions of the Smarties task, involving respectively a shift of perspective to another person and to another time. Our formalizations disclose that despite this difference, the two versions of the Smarties task have exactly the same underlying logical structure. (...) We also consider the Sally-Anne task, having a more complicated logical structure, presupposing a “principle of inertia” saying that a belief is preserved over time, unless there is belief to the contrary. (shrink)

The possibility of interacting with remote services in natural language opens up new opportunities for sharing knowledge and for automating services. Easy-to-use, text-based interfaces might provide more democratic access to legal information, government services, and everyday knowledge as well. However, the methodology of engineering robust natural language interfaces is very diverse, and widely deployed solutions are still yet to come. The main contribution is a detailed problem analysis on the theoretical level, which reveals that a text-based interface is best understood (...) as an artificial agent that represents the interests of the remote party who is separated in time and space from the client. A possible ethical issue about the development of such an agent is also discussed. (shrink)

One of the most impressive feats in robotics was the 2005 victory by a driverless Volkswagen Touareg in the DARPA Grand Challenge. This paper discusses what can be learned about the nature of representation from the car’s successful attempt to navigate the world. We review the hardware and software that it uses to interact with its environment, and describe how these techniques enable it to represent the world. We discuss robosemantics, the meaning of computational structures in robots. We argue that (...) the car constitutes a refutation of semantic arguments against the possibility of strong artificial intelligence. (shrink)

The purpose of this work is to analyse the cognitive process of the domain theories in terms of the measurement theory to develop a computational machine learning approach for implementing it. As a result, the relational data mining approach, the authors proposed in the preceding books, was improved. We present the approach as an implementation of the cognitive process as the measurement theory perceived. We analyse the cognitive process in the first part of the paper and present the theory and (...) method of the logically most powerful empirical theory discovery in the second. The theory is based on the notion of law-like rules, which conform to all the properties of laws of nature, namely generality, simplicity, maximum refutability and minimum number of parameters. This notion is defined for deterministic and probabilistic cases. Based on the method, the discovery system is developed. The system was successfully applied to many practical tasks. (shrink)

In this manuscript, we define and discuss a new type of logical puzzles. These puzzles are based on the simplest truth-teller and liar puzzles. Graphs are used to represent graphically the puzzles. these logical puzzles contain three types of people. Strong Truth-tellers who can say only true statements, Strong Liars who can make only false statements and Weak Crazy people who must make at least one self-contradicting statement if he/she says anything. Self-contradicting statements are related to the Liar paradox, such (...) that, there is no Truth-teller or a Liar could say “I am a Liar”. In any good puzzle there is a unique solution, while the puzzle is clear if only the people of the puzzle and their statements are given to solve the puzzle. It is well-known that there is no good and clear SS-puzzle. However, in this paper, we show that there are clear and good SSW-puzzles. Characteristics of the newly investigated type of people, the ‘Weak Crazy’ people, has also been studied. Some statistical results about the new type of puzzles and a comparison with other types of puzzles are also shown: the number of solvable and also the number of good puzzles is much larger than in the previously known SS-puzzles. (shrink)

In the text, I synthetically discuss the cultural background, computer science basis, and philosophical potential of an informational worldview, which I treat as an indirect link between awareness of the significance of contemporary achievements of computer science and the philosophy of future based on the concept of information. Within the philosophical and cognitive science thread of this work, I focus on informationally-driven questions about the mind and the complexity of the world.

This paper argues for a particular semantic decomposition of morphological definiteness. I propose that the meaning of ‘the’ comprises two distinct compositional operations. The first builds a set of witnesses that satisfy the restricting noun phrase. The second tests this set for uniqueness. The motivation for decomposing the denotation of the definite determiner in this way comes from split-scope intervention effects. The two components—the selection of witnesses on the one hand and the counting of witnesses on the other—may take effect (...) at different points in the composition of a constituent, and this has non-trivial semantic consequences when other operators inside the DP take action in between them. In particular, I analyze well-known examples of mutually recursive definite descriptions like ‘the rabbit in the hat’ as examples of definites whose referent-introducing and referent-testing components are interleaved rather than nested. I further demonstrate that this picture leads to a new theory of relative superlative descriptions like ‘the kid who climbed the highest tree’, which explains the previously mysterious role of the definite determiner in licensing such readings. (shrink)

Autonomous mechanisms have been proposed to regulate certain aspects of society and are already being used to regulate business organisations. We take seriously recent proposals for algorithmic regulation of society, and we identify the existing technologies that can be used to implement them, most of them originally introduced in business contexts. We build on the notion of 'social machine' and we connect it to various ongoing trends and ideas, including crowdsourced task-work, social compiler, mechanism design, reputation management systems, and social (...) scoring. After showing how all the building blocks of algorithmic regulation are already well in place, we discuss possible implications for human autonomy and social order. The main contribution of this paper is to identify convergent social and technical trends that are leading towards social regulation by algorithms, and to discuss the possible social, political, and ethical consequences of taking this path. (shrink)

This article focuses on issues related to improving an argument about minds and machines given by Kurt Gödel in 1951, in a prominent lecture. Roughly, Gödel’s argument supported the conjecture that either the human mind is not algorithmic, or there is a particular arithmetical truth impossible for the human mind to master, or both. A well-known weakness in his argument is crucial reliance on the assumption that, if the deductive capability of the human mind is equivalent to that of a (...) formal system, then that system must be consistent. Such a consistency assumption is a strong infallibility assumption about human reasoning, since a formal system having even the slightest inconsistency allows deduction of all statements expressible within the formal system, including all falsehoods expressible within the system. We investigate how that weakness and some of the other problematic aspects of Gödel’s argument can be eliminated or reduced. (shrink)

Problem solving by autonomous, interacting computersystems has attracted much attention in the ArtificialIntelligence community. These autonomous computersystems, called agents, provide a promisingperspective for the legal knowledge-based systemscommunity, as legal problem solving often involvesdistributed problem solving capabilities that gobeyond the capabilities of individual knowledge-basedsystems.We focus on the coordination of agents andcommunication between agents by proposing a model ofcommunication between various agents using modellingtechniques such as communication primitives and statetransition diagrams. Our representation concerns theDutch Algemene Wet Bestuursrecht (AWB; GeneralAct on Administrative Law). (...) A proposal for an agentarchitecture describes how these communication aspectscan be incorporated into an architecture. (shrink)

This paper offers a solution to the problem of understanding how a fallacious argument can be deceptive by “seeming to be valid”, or (better) appearing to be a better argument of its kind than it really is. The explanation of how fallacies are deceptive is based on heuristics and paraschemes. Heuristics are fast and frugal shortcuts to a solution to a problem that sometimes jump to a conclusion that is not justified. In fallacious instances, according to the theory proposed, this (...) jump overlooks prerequisites of the defeasible argumentation scheme for the type of argument in question. Three informal fallacies, argumentum ad verecundiam , argumentum ad ignorantiam and fear appeal argument, are used to illustrate and explain the theory. (shrink)

Ever since the use of artificial intelligence in the space sector, there have been progressive changes that brought both benefits and risks. AI technologies have started to influence human rights and freedoms, relationships with public authorities and the private sector. Therefore, the use of AI involves legal obligations caused by the influence and consequences of the dependency on the specified technologies. This indicates the need to investigate the issue of the legal problems and risks of using AI in space activity (...) to identify, describe and explain legal issues and dilemmas in general and in the space sector in particular. The author has formulated theoretical definitions in the defined area through the logical-semantic approach. The comparative method has allowed us to carry out a comparative analysis of the AI legal regulation in the space sector in the USA, China and the EU. The authors have gone into rethinking the issue of action, cause-effect relationship, legal personality in matters of prosecution for damage caused by autonomous space objects. As well as combining the existing space law and its state-oriented responsibility with the space activity of private players using autonomous objects. (shrink)

As a compact representation of joint probability distributions over a dependence graph of random variables, and a tool for modelling and reasoning in the presence of uncertainty, Bayesian networks are of great importance for artificial intelligence to combine domain knowledge, capture causal relationships, or learn from incomplete datasets. Known as a NP-hard problem in a classical setting, Bayesian inference pops up as a class of algorithms worth to explore in a quantum framework. This paper explores such a research direction and (...) improves on previous proposals by a judicious use of the utility function in an entangled configuration. It proposes a completely quantum mechanical decision-making process with a proven computational advantage. A prototype implementation in Qiskit (a Python-based program development kit for the IBM Q machine) is discussed as a proof-of-concept. (shrink)

The understanding of decision-making systems has come together in recent years to form a unified theory of decision-making in the mammalian brain as arising from multiple, interacting systems (a planning system, a habit system, and a situation-recognition system). This unified decision-making system has multiple potential access points through which it can be driven to make maladaptive choices, particularly choices that entail seeking of certain drugs or behaviors. We identify 10 key vulnerabilities in the system: (1) moving away from homeostasis, (2) (...) changing allostatic set points, (3) euphorigenic signals, (4) overvaluation in the planning system, (5) incorrect search of situation-action-outcome relationships, (6) misclassification of situations, (7) overvaluation in the habit system, (8) a mismatch in the balance of the two decision systems, (9) over-fast discounting processes, and (10) changed learning rates. These vulnerabilities provide a taxonomy of potential problems with decision-making systems. Although each vulnerability can drive an agent to return to the addictive choice, each vulnerability also implies a characteristic symptomology. Different drugs, different behaviors, and different individuals are likely to access different vulnerabilities. This has implications for an individual's susceptibility to addiction and the transition to addiction, for the potential for relapse, and for the potential for treatment. (shrink)

Nowadays, social media analysis systems are feeding on user contributed data, either for beneficial purposes, such as emergency management, or for user profiling and mass surveillance. Here, we carry out a discussion about the power and pitfalls of public accessibility to social media-based systems, with specific regards to the emergency management application EARS. We investigate whether opening such systems to the population at large would further strengthen the link between communities of volunteer citizens, intelligent systems, and decision makers, thus going (...) in the direction of developing more sustainable and resilient societies. Our analysis highlights fundamental challenges and provides interesting insights into a number of research directions with the aim of developing human-centered social media-based systems. (shrink)

The present paper examines the notion of agency using a model from artificial intelligence. The main thesis of the paper is that learning is a necessary condition for agency: Agency presupposes control, and control is acquired in a learning process. This thesis is explored using the so-called PS model. After substantiation the thesis, the paper explores the relation between agency and different kinds of learning using the PS model.

In this paper we discuss the views on the Turing test of four influential thinkers who belong to the tradition of analytic philosophy: Ludwig Wittgenstein, Noam Chomsky, Hilary Putnam and John Searle. Based on various beliefs about philosophical and/or linguistic matters, they arrive at different assessments of both the significance and suitability of the imitation game for the development of cognitive science and AI models. Nevertheless, they share a rejection of the idea that one can treat Turing test as a (...) test for “machine thinking.” This seems to stem from a concern for the proper use of language —one that is a fundamental methodological commitment of analytic philosophy. (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)

In this paper, we use some elements of the philosophical theories of Wilfrid Sellars and Robert Brandom for examining the interactions between humans and machines. In particular, we adopt the concept of the space of reasons for analyzing the status of artificial intelligent agents. One could argue that AIAs, like the widely used recommendation systems, have already entered the space of reasons, since they seem to make knowledge claims that we use as premises for further claims. This, in turn, can (...) lead to a sense of alienation because AIAs do not quite play by the rules of the space of the reason. We, therefore, ask somewhat pointedly whether aliens have entered the space of reasons. A closer look reveals that it is a misconception to consider AIAs as being in the space of reasons. In fact, they should be seen as very sophisticated tools. Since these tools affect our own acting in the space of reasons, special regulations are required for their proper use. (shrink)

Due to the ongoing advancements in technology, socio-technical collaboration has become increasingly prevalent. This poses challenges in terms of governance and accountability, as well as issues in various other fields. Therefore, it is crucial to familiarize decision-makers and researchers with the core of human–machine collaboration. This study introduces a taxonomy that enables identification of the very nature of human–machine interaction. A literature review has revealed that automation and technical autonomy are main parameters for describing and understanding such interaction. Both aspects (...) must be carefully evaluated, as their increase has potentially far-reaching consequences. Hence, these two concepts comprise the taxonomy’s axes. Five levels of automation and five levels of technical autonomy are introduced below, based on the assumption that both automation and autonomy are gradual. The levels of automation were developed from existing approaches; those of autonomy were carefully derived from a review of the literature. The taxonomy’s use is also explained, as are its limitations and avenues for further research. (shrink)

Using intelligent software agents in the world of e-commerce may give rise to many difficulties especially with regard to the validity of agent-based contracts and the attribution of liability for the actions of such agents. This paper thus critically examines the main approaches that have been advanced to deal with software agents, and proposes the gradual approach as a way of overcoming the difficulties of such agents by adopting different standards of responsibility depending whether the action is done autonomously by (...) an unattended software, or whether it is done automatically by an attended software. Throughout this paper, it is argued that the introduction of “one size” regulation without sufficient consideration of the nature of software agents or the environments in which they communicate might lead to a divorce between the legal theory and technological practice. It is also concluded that it is incorrect to deal with software agents as if they were either legal persons or nothing without in any way accounting for the fact that there are various kinds of such agents endowed with different levels of autonomy, mobility, intelligence, and sophistication. However, this paper is not intended to provide the final answer to all problematic questions posed by the emergence of intelligent software agents, but is designed to provide some kind of temporary relief until such agents reach a more reliable and autonomous level whereby law begins to regard them, rather than their users, as the source of the relevant action. (shrink)

The urgency of the paper is to explore the impact of the latest discoveries of the exact and human sciences on the activities of higher education in its ideological perspective. There is a tendency to increasing interest of medical students not only in professional issues, but also in the general atmosphere of changes in health care and the requirements already formulated by the society of the future. The purpose of the article is to continue our study of the historical and (...) philosophical evolution of humanistic ideas and views from the ideas of the times of Antiquity up to modern theories and futuristic predictions. The problem of the study is to analyze the phenomenon of transhumanism as the result of unrealistic expectations about the easy implementation of most people's dreams of health, happiness and even immortality. The prospects of development of means and methods of "artificial intelligence" are also studied. The research methods consist of combining the achievements of classical philosophy with the successes of the youngest sciences that study human beings, operate large data, use foresight and other means of forecasting. The central new notions are noosciences and nootechnologies, which are able to save mankind from the threats to its existence. Results of the research : a philosophical analysis of the new worldview – transhumanism has been undertaken in the article. The reasons for its appearance in the second half of the twentieth century are explained. The social and scientific sources and the main stages of the consolidation of supporters of transhumanism in the world and national associations have been studied. The variety of proposals of transhumanists and their relative unity as to the need for "human perfection" have been also studied. The main variants of "Transhumanistic manifestos " have been analyzed and showed the existence of two flows of proposals - technological and those oriented on changes in human behavior. It is proved that in our time transhumanism is an option of fundraising - the collection of donations from the very rich people who strive to live longer than it is possible now. It is indicated that transhumanism is supported by the male segment of the citizens of the West, who are keen on technological progress and, above all, fear of death. The position of T-m is positive for medical research. The conclusion s of our study showed the fact that existing variants of transhumanistic studies use only a minority of modern and promising technologies. Even leading scientists from Western Europe do not notice that among the nanotechnologies, the number of environmentally friendly nootechnologies is slowly growing. A group of scholars are studying these technologies and offering an increasing number of noosciences. We have chosen for our study the notion of "noohumanism". The article proves that in worldview and educational aspects noohumanism based on the noosciences has not only significant creative advantages over transhumanism, but is also devoid of its shortcomings. Medical and other sectors of higher education in Ukraine should rely on noohumanism, not transhumanism. (shrink)

This paper arose out of the 2017 international conference on AI and law doctoral consortium. There were five students who presented their Ph.D. work, and each of them has contributed a section to this paper. The paper offers a view of what topics are currently engaging students, and shows the diversity of their interests and influences.

Explanations of cognitive processes provided by traditional artificial intelligence were based on the notion of the knowledge level. This perspective has been challenged by new AI that proposes an approach based on embodied systems that interact with the real‐world. We demonstrate that these two views can be unified. Our argument is based on the assumption that knowledge level explanations can be defined in the context of Bayesian theory while the goals of new AI are captured by using a well established (...) robot based model of learning and problem solving, called Distributed Adaptive Control (DAC). In our analysis we consider random foraging and we prove that minor modifications of the DAC architecture renders a model that is equivalent to a Bayesian analysis of this task. Subsequently, we compare this enhanced, “rational,” model to its “non‐rational” predecessor and a further control condition using both simulated and real robots, in a variety of environments. Our results show that the changes made to the DAC architecture, in order to unify the perspectives of old and new AI, also lead to a significant improvement in random foraging. (shrink)

Although activity aimed at the construction of artificial intelligence started about 60 years ago however, contemporary intelligent systems are effective in very narrow domains only. One of the reasons for this situation appears to be serious problems in the theory of intelligence. Intelligence is a characteristic of goal-directed systems and two classes of goal-directed systems can be derived from observations on animals and humans, one class is systems with innately and jointly determined goals and means. The other class contains systems (...) that are able to construct arbitrary goals and means. It is suggested that the classes (that implicitly underlie most models of artificial intelligence) are insufficient to explain human goal-directed activity. A broader approach to goal-directed systems is considered. This approach suggests that humans are goal-directed systems that jointly synthesize arbitrary goals and means. Neural and psychological data favoring this hypothesis and its experimental validation are considered. A simple computer model based on the idea of joint synthesis to simulate goal-directed activity is presented. The usage of the idea of joint synthesis for the construction of artificial intelligence is discussed. (shrink)

Rational decision making depends on what one believes, what one desires, and what one knows. In conventional decision models, beliefs are represented by probabilities and desires are represented by utilities. Software agents are knowledgeable entities capable of managing their own set of beliefs and desires, and they can decide upon the next operation to execute autonomously. They are also interactive entities capable of filtering communications and managing dialogues. Knowledgeability includes representing knowledge about the external world, reasoning with it, and sharing (...) it. Interactions include negotiations to perform tasks in cooperative, coordinative, and competitive ways. In this paper we focus on decision-making mechanisms for agent-based systems on the basis of agent interaction. We identify possible interaction scenarios and define mechanisms for decision making in uncertain environments. It is believed that software agents will become the underlying technology that offers the capability of distribution of competence, control, and information for the next generation of ubiquitous, distributed, and heterogeneous information systems. (shrink)

Steven Pinker's How the mind works (HTMW) marks in my opinion an historic point in the history of humankind's attempt to understand itself. Socrates delivered his "know thyself" imperative rather long ago, and now, finally, in this behemoth of a book, published at the dawn of a new millennium, Pinker steps up to have psychology tell us what we are: computers crafted by evolution - end of story; mystery solved; and the poor philosophers, having never managed to obey Socrates' command, (...) are left alone to wander in the labyrinth of their benighted speculation forever. Unfortunately, though HTMW is to this point the crowning attempt of psychology to make systematic sense of persons by integrating everything relevant science knows, the book fails - and it fails so fundamentally and irremediably that we would do well to wonder anew whether we should supplant the basic view it promotes with what I call the super-mind hypothesis: the view that though mere animals are evolved computers, persons are more. (shrink)

This paper applies dialectical argumentation structures to the problem of analyzing the ad baculum fallacy. It is shown how it is necessary in order to evaluate a suspected instance of the this fallacy to proceed through three levels of analysis: an inferential level, represented by an argument diagram, a speech act level, where conditions for specific types of speech acts are defined and applied, and a dialectical level where the first two levels are linked together and fitted into formal dialogue (...) structures. The paper adds a new type of dialogue called advising dialogue that needs to be applied at the third level. (shrink)

Is it true that if zombies---creatures who are behaviorally indistinguishable from us, but no more conscious than a rock-are logically possible, the computational conception of mind is false? Are zombies logically possible? Are they physically possible? This paper is a careful, sustained argument for affirmative answers to these three questions.

The question of liability in the case of using intelligent agents is far from simple, and cannot sufficiently be answered by deeming the human user as being automatically responsible for all actions and mistakes of his agent. Therefore, this paper is specifically concerned with the significant difficulties which might arise in this regard especially if the technology behind software agents evolves, or is commonly used on a larger scale. Furthermore, this paper contemplates whether or not it is possible to share (...) the responsibility with these agents and what are the main objections surrounding the assumption of considering such agents as responsible entities. This paper, however, is not intended to provide the final answer to all questions and challenges in this regard, but to identify the main components, and provide some perspectives on how to deal with such issue. (shrink)

Artificial intelligence is again attracting significant attention across all areas of social life. One important sphere of focus is education; many policy makers across the globe view lifelong learning as an essential means to prepare society for an “AI future” and look to AI as a way to “deliver” learning opportunities to meet these needs. AI is a complex social, cultural, and material artifact that is understood and constructed by different stakeholders in varied ways, and these differences have significant social (...) and educational implications that need to be explored. Through analysis of thirty-four in-depth interviews with stakeholders from academia, commerce, and policy, alongside document analysis, we draw on the social construction of technology to illuminate the diverse understandings, perceptions of, and practices around AI. We find three different technological frames emerging from the three social groups and argue that commercial sector practices wield most power. We propose that greater awareness of the differing technical frames, more interactions among a wider set of relevant social groups, and a stronger focus on the kinds of educational outcomes society seeks are needed in order to design AI for learning in ways that facilitate a democratic education for all. (shrink)

Creating agents that proficiently interact with people is critical for many applications. Towards creating these agents, models are needed that effectively predict people's decisions in a variety of problems. To date, two approaches have been suggested to generally describe people's decision behavior. One approach creates a-priori predictions about people's behavior, either based on theoretical rational behavior or based on psychological models, including bounded rationality. A second type of approach focuses on creating models based exclusively on observations of people's behavior. At (...) the forefront of these types of methods are various machine learning algorithms. This paper explores how these two approaches can be compared and combined in different types of domains. In relatively simple domains, both psychological models and machine learning yield clear prediction models with nearly identical results. In more complex domains, the exact action predicted by psychological models is not even clear, and machine learning models are even less accurate. Nonetheless, we present a novel approach of creating hybrid methods that incorporate features from psychological models in conjunction with machine learning in order to create significantly improved models for predicting people's decisions. To demonstrate these claims, we present an overview of previous and new results, taken from representative domains ranging from a relatively simple optimization problem and complex domains such as negotiation and coordination without communication. (shrink)

While developing his theory of world 3, Popper rejects two claims made by Plato: first, that the inhabitants of world 3, ideas, are a source of ultimate explanation, a divine revelation of truth, and second, that these ideas are unchanging. I will rehabilitate the second claim. Man does not construct world 3 by creating his theories, nor is it a source of ultimate truth. Instead, world 3 is discovered by man, and it destroys some of his theories: destructive Platonism. I (...) discuss the impact of the modified position on the Grundlagenstreit in mathematics, taking into account Gillies’s constructive Aristotelianism. I then turn to the philosophy of computers and discuss how destructive Platonism relates to computers and the Internet. In particular, I criticize Popper’s claim that computers are nothing but elaborate pens as too pessimistic and incautious, and the fashionable “singularity” theory as too optimistic and at the same time too fatalistic. In my closing remarks, as an antidote against both views, I provide a more modest and reasonable speculation about the ultimate goal and meaning of life. (shrink)

Our scientific theories, like our cognitive structures in general, consist of propositions linked by evidential, explanatory, probabilistic, and logical connections. Those theoretical webs ‘impinge on the world at their edges,’ subject to a continuing barrage of incoming evidence. Our credences in the various elements of those structures change in response to that continuing barrage of evidence, as do the perceived connections between them. Here we model scientific theories as Bayesian nets, with credences at nodes and conditional links between them modelled (...) as conditional probabilities. We update those networks, in terms of both credences at nodes and conditional probabilities at links, through a temporal barrage of random incoming evidence. Robust patterns of punctuated equilibrium, suggestive of ‘normal science’ alternating with ‘paradigm shifts,’ emerge prominently in that change dynamics. The suggestion is that at least some of the phenomena at the core of the Kuhnian tradition are predictable in the typical dynamics of scientific theory change captured as Bayesian nets under even a random evidence barrage. (shrink)