Vincent C. Müller

There is much discussion about whether the human mind is a computer, whether the human brain could be emulated on a computer, and whether at all physical entities are computers (pancomputationalism). These discussions, and others, require criteria for what is digital. I propose that a state is digital if and only if it is a token of a type that serves a particular function - typically a representational function for the system. This proposal is made on a syntactic level, assuming three levels of description (physical, syntactic, semantic). It suggests that being digital is a matter of discovery or rather a matter of how we wish to describe the world, if a functional description can be assumed. Given the criterion provided and the necessary empirical research, we should be in a position to decide on a given system (e.g. the human brain) whether it is a digital system and can thus be reproduced in a different digital system (since digital systems allow multiple realization).

Review of: "Computation, Information, Cognition: The Nexus and the Liminal", Ed. Susan Stuart & Gordana Dodig Crnkovic, Newcastle: Cambridge Scholars Publishing, September 2007, xxiv+340pp, ISBN: 9781847180902, Hardback: £39.99, $79.99 ---- Are you a computer? Is your cat a computer? A single biological cell in your stomach, perhaps? And your desk? You do not think so? Well, the authors of this book suggest that you think again. They propose a computational turn, a turn towards computational explanation and towards the explanation of computation itself. The explanation of computation is the core of the present volume, but the computational turn to regard a wide variety of systems as computational is a potentially very wide-ranging project

May lethal autonomous weapons systems—‘killer robots ’—be used in war? The majority of writers argue against their use, and those who have argued in favour have done so on a consequentialist basis. We defend the moral permissibility of killer robots, but on the basis of the non-aggregative structure of right assumed by Just War theory. This is necessary because the most important argument against killer robots, the responsibility trilemma proposed by Rob Sparrow, makes the same assumptions. We show that the crucial moral question is not one of responsibility. Rather, it is whether the technology can satisfy the requirements of fairness in the re-distribution of risk. Not only is this possible in principle, but some killer robots will actually satisfy these requirements. An implication of our argument is that there is a public responsibility to regulate killer robots ’ design and manufacture

The paper presents a paradoxical feature of computational systems that suggests that computationalism cannot explain symbol grounding. If the mind is a digital computer, as computationalism claims, then it can be computing either over meaningful symbols or over meaningless symbols. If it is computing over meaningful symbols its functioning presupposes the existence of meaningful symbols in the system, i.e. it implies semantic nativism. If the mind is computing over meaningless symbols, no intentional cognitive processes are available prior to symbol grounding. In this case, no symbol grounding could take place since any grounding presupposes intentional cognitive processes. So, whether computing in the mind is over meaningless or over meaningful symbols, computationalism implies semantic nativism.

If the intelligence of artificial systems were to surpass that of humans significantly, this would constitute a significant risk for humanity. Time has come to consider these issues, and this consideration must include progress in AI as much as insights from the theory of AI. The papers in this volume try to make cautious headway in setting the problem, evaluating predictions on the future of AI, proposing ways to ensure that AI systems will be beneficial to humans – and critically evaluating such proposals.

The theory and philosophy of artificial intelligence has come to a crucial point where the agenda for the forthcoming years is in the air. This special volume of Minds and Machines presents leading invited papers from a conference on the “Philosophy and Theory of Artificial Intelligence” that was held in October 2011 in Thessaloniki. Artificial Intelligence is perhaps unique among engineering subjects in that it has raised very basic questions about the nature of computing, perception, reasoning, learning, language, action, interaction, consciousness, humankind, life etc. etc. – and at the same time it has contributed substantially to answering these questions. There is thus a substantial tradition of work, both on AI by philosophers and of theory within AI itself. - The volume contains papers by Bostrom, Dreyfus, Gomila, O'Regan and Shagrir

In October 2011, the “2nd European Network for Cognitive Systems, Robotics and Interaction”, EUCogII, held its meeting in Groningen on “Autonomous activity in real-world environments”, organized by Tjeerd Andringa and myself. This is a brief personal report on why we thought autonomy in real-world environments is central for cognitive systems research and what I think I learned about it. --- The theses that crystallized are that a) autonomy is a relative property and a matter of degree, b) increasing autonomy of an artificial system from its makers and users is a necessary feature of increasingly intelligent systems that can deal with the real-world and c) more such autonomy means less control but at the same time improved interaction with the system

Dieser Aufsatz ist eine kritische und erkundende Diskussion von Plantingas Behauptung, daß bestimmte Aussagen, aus denen evidentermaßen folgt, daß Gott existiert, berechtigterweise basal sein könnten. Im kritischen Abschnitt argumentiere ich dafür, daß es Plantinga nicht gelingt zu zeigen, daß das Kriterium des modernen Fundamentalisten für berechtigte Basalität, dem zufolge solche Aussagen nicht berechtigterweise basal sein können, selbstreferentiell inkohärent oder anderweitig mangelhaft ist. Im erkundenden Abschnitt versuche ich, ein Argument für die Auffassung zu entwickeln, daß solche Aussagen, selbst wenn sie berechtigterweise basal sein könnten, wenn überhaupt, nur selten berechtigterweise basal für intellektuell differenzierte erwachsene Theisten unserer Kultur wären.

Wenn Präsident Kennedy nicht erschossen worden wäre, hätte er dann Nordvietnam bombardiert? Das weiß Gott allein. Oder doch nicht? Weiß wenigstens Er, was Kennedy getan hätte? ... Die Jesuiten behaupteten unter anderem, daß viele menschliche Handlungen in dem Sinne frei seien, daß die Ausführenden nicht logisch oder kausal gezwungen seien, sie auszuführen. („Frei“ wird im vorliegenden Aufsatz stets in diesem Sinne verwendet werden.) Wie behält Gott dann die Kontrolle über die menschliche Geschichte? Nicht dadurch, daß Er menschliche Handlungen kausal determiniert, wie die Dominikaner geglaubt zu haben scheinen , sondern indem Er Umstände herbeiführt, von denen Er weiß, daß wir in ihnen freiwillig Seinen Plänen entsprechend handeln werden.

Special Issue “Risks of artificial general intelligence”, Journal of Experimental and Theoretical Artificial Intelligence, 26/3 (2014), ed. Vincent C. Müller. http://www.tandfonline.com/toc/teta20/26/3# - Risks of general artificial intelligence, Vincent C. Müller, pages 297-301 - Autonomous technology and the greater human good - Steve Omohundro - pages 303-315 - - - The errors, insights and lessons of famous AI predictions – and what they mean for the future - Stuart Armstrong, Kaj Sotala & Seán S. Ó hÉigeartaigh - pages 317-342 - - - The path to more general artificial intelligence - Ted Goertzel - pages 343-354 - - - Limitations and risks of machine ethics - Miles Brundage - pages 355-372 - - - Utility function security in artificially intelligent agents - Roman V. Yampolskiy - pages 373-389 - - - GOLEM: towards an AGI meta-architecture enabling both goal preservation and radical self-improvement - Ben Goertzel - pages 391-403 - - - Universal empathy and ethical bias for artificial general intelligence - Alexey Potapov & Sergey Rodionov - pages 405-416 - - - Bounding the impact of AGI - András Kornai - pages 417-438 - - - Ethics of brain emulations - Anders Sandberg - pages 439-457

[Müller, Vincent C. (ed.), (2013), Philosophy and theory of artificial intelligence (SAPERE, 5; Berlin: Springer). 429 pp. ] --- Can we make machines that think and act like humans or other natural intelligent agents? The answer to this question depends on how we see ourselves and how we see the machines in question. Classical AI and cognitive science had claimed that cognition is computation, and can thus be reproduced on other computing machines, possibly surpassing the abilities of human intelligence. This consensus has now come under threat and the agenda for the philosophy and theory of AI must be set anew, re-defining the relation between AI and Cognitive Science. We can re-claim the original vision of general AI from the technical AI disciplines; we can reject classical cognitive science and replace it with a new theory (e.g. embodied); or we can try to find new ways to approach AI, for example from neuroscience or from systems theory. To do this, we must go back to the basic questions on computing, cognition and ethics for AI. The 30 papers in this volume provide cutting-edge work from leading researchers that define where we stand and where we should go from here.

Two large lexicological projects for the Center for the Greek Language, Thessaloniki, were to be published in print and on the WWW, which meant that two conversions were needed: a near-database file had to be converted to fully formatted file for printing and a fully formatted file had to be converted to a database for WWW access. As it turned out, both conversions could make use of existing clues that indicated the kinds of information contained in each particular piece of text, thus separating fields from each other and ordering them into a tree-like structure. This indicates that both forms of the dictionaries, print and database, stem from the same cognitive need to categorize information into a kind of information before further understanding – be this for a human reader or for a machine.

This paper investigates the view that digital hypercomputing is a good reason for rejection or re-interpretation of the Church-Turing thesis. After suggestion that such re-interpretation is historically problematic and often involves attack on a straw man (the ‘maximality thesis’), it discusses proposals for digital hypercomputing with Zeno-machines , i.e. computing machines that compute an infinite number of computing steps in finite time, thus performing supertasks. It argues that effective computing with Zeno-machines falls into a dilemma: either they are specified such that they do not have output states, or they are specified such that they do have output states, but involve contradiction. Repairs though non-effective methods or special rules for semi-decidable problems are sought, but not found. The paper concludes that hypercomputing supertasks are impossible in the actual world and thus no reason for rejection of the Church-Turing thesis in its traditional interpretation.

Review of Joseph LeDoux: Das Netz der Persönlichkeit. Wie unser Selbst entsteht. Walter Verlag, Düsseldorf 2003. 510 Seiten (mit Abbildungen), 39,90 Euro. - Der eine Mensch ist mißtrauisch, der nächste leichtgläubig, diese ist warmherzig, jene kaltschnäuzig. Viele haben Charakter, manche sogar Persönlichkeit. Wie kommt es dazu? In seinem neuen Buch untersucht der Neurowissenschaftler Joseph LeDoux wie unser Selbst entsteht. In dem sehr lesbaren und angenehm übersetzten Werk wird anschaulich und detailliert berichtet, wie sich in unserem Gehirn die Charakteristika eines Individuums ausbilden.

This book is a new attempt to clarify what is at issue in the contemporary realism debates and to suggest which form the controversies ought to take. Wright has contributed to the-se debates for quite some time and essentially taken the anti-realist side (witness the papers collected in Realism, Meaning and Truth, 1987, 21993, and the forthcoming Realism, Rules and Objectivity, both Oxford: Basil Blackwell). In Truth and Objectivity however, he takes a step back and sketches a neutral ground upon which both sides could agree in or-der to define their oppositions clearly, thus enabling fruitful discussions. His methodolog-ical suggestion for a realism debate in a given assertoric discourse is that both sides should agree on a “minimal” concept of truth for that discourse and then see whether ascent to a more metaphysically substantial concept of truth is warranted, which would constitute a realism for the discourse in question. If Wright had managed to set the agenda in a way that does justice to both sides, this book would have constituted a major contribution to contemporary epistemology and metaphysics.

Ποια είναι η πατρίδα κάποιων; Ας δούμε το θέμα λίγο σαν πρόβλημα της φιλοσοφίας της γλώσσας: για ένα κατηγόρημα «Άγγλος» «Γάλλος», «Πορτογάλος», «Βέλγος», «Φλαμανδός», πώς να αποφασίσουμε ποια αντικείμενα (ποιοι άνθρωποι) εμπίπτουν σε ποιο κατηγόρημα; Έχουν τελικά νόημα αυτά τα κατηγορήματα; Η χρήση και κατάχρηση αυτών των κατηγορημάτων έχει αποτελέσει μια από τις κυριότερες πηγές δυστυχίας στη διάρκεια των δύο τελευταίων αιώνων και συνεχίζει να είναι στην ημερήσια διάταξη. Συνήθως εμφανίζεται στα πλαίσια αγώνων για την απόκτηση «ελευθερίας» σε αντιπαράθεση με την «καταπίεση», και σε παγκόσμιο επίπεδο και κοντύτερα μας: στη Μακεδονία, την Καταλονία, την Ιρλανδία, το Κουρδιστάν ... Νομίζω πώς αρκετά από αυτά βασίζονται σε λάθη.

Floridi and Taddeo propose a condition of “zero semantic commitment” for solutions to the grounding problem, and a solution to it. I argue briefly that their condition cannot be fulfilled, not even by their own solution. After a look at Luc Steels' very different competing suggestion, I suggest that we need to re-think what the problem is and what role the ‘goals’ in a system play in formulating the problem. On the basis of a proper understanding of computing, I come to the conclusion that the only sensible ground-ing problem is how we can explain and re-produce the behavioral ability and function of meaning in artificial computational agents

Die gegenwärtig unter dem Titel ›Realismus‹ geführten Debatten in der Philosophie befinden sich nach allgemeiner Ansicht in einem Zustand größter Verwirrung, so daß es nützlich erscheint, ein wenig Ordnung in die theoretischen Optionen zu bringen bevor man für die eine oder andere Auffassung Partei ergreift. In der vorliegenden Arbeit wird dafür argumentiert, daß sich ein systematisch zusammenhängendes Zentrum dieser Debatten mit Hilfe des Begriffes der Referenz ordnen läßt. Nach der Analyse einiger klassischer Positionen soll ein Rahmen erstellt werden, innerhalb dessen die Positionen eingeordnet und die zentralen Probleme fruchtbar diskutiert werden können. Zu diesem Zwecke ist es erforderlich, für die Einordnung der Positionen theoretische Kriterien zu benennen, die sich an den Problemen orientieren von denen hier argumentiert wird, das sie zentral seien. Sehr knapp ausgedrückt wird hier die Auffassung vertreten, Realismus sei als metaphysische These aufzufassen, welche eine von menschlichen epistemischen und semantischen Möglichkeiten unabhängige Existenz behauptet; in den gegenwärtigen Debatten typischerweise die Existenz einer Art von Dingen, nicht die eines individuellen Gegenstandes. Diese metaphysische These wird jedoch in der gegenwärtigen Debatte mit semantischen Argumenten untermauert, bzw. angegriffen und jene semantischen Argumente wiederum verwenden epistemische Erwägungen – die Frage betreffend, was man wissen kann und was nicht. Der Beginn der gegenwärtigen Realismusdebatten mit der soeben skizzierten zentralen Stellung semantischer Argumente ist, der hier vertretenen Auffassung zufolge, die Kritik am traditionellen Fregeschen Referenzbegriff durch Kripke und den frühen Putnam um 1970 (Kap. 2). Aus dieser neu zu bewertenden Kritik und der von den Autoren daraus entwickelten externalistischen realistischen Semantik für Artausdrücke läßt sich das erste Kriterium für eine Position in einer Realismusdebatte ableiten und klären (Kap. 3): Hält man die fragliche Art für eine natürliche Art und meint also, sie habe ihren ›Zusammenhalt‹ von Natur aus? Wenn ja, dann ist die fragliche Position eine realistische (das Kriterium ist dank des engen Zusammenhangs von Realismus und Externalismus sowohl hinreichend als auch notwendig). Hält man die Art nicht für eine natürliche Art, ist man Antirealist. Damit geht jeweils not- wendig eine bestimmte Semantik für den auf die Art referierenden Ausdruck einher. Es zeigt sich zugleich, daß es zwei Varianten des Realismus zu unterscheiden gilt, die hier als klassischer bzw. als moderater Realismus bezeichnet werden. Im folgenden (Kap. 4.1) wird argumentiert, daß der Begriff der Wahrheit nicht eigentlich der zentrale Punkt in den in Frage stehenden Realismusdebatten sein sollte, wie vielfach behauptet wurde, sondern seine Brisanz vielmehr aus zugrundeliegenden semantischen Fragen gewinnt die also in der weiteren Aufdeckung der Kriterien die zentrale Rolle spielen müssen. In der Analyse der Kritik an der in Kap. 3 entwickelten Position des ›klassischen Realismus‹ läßt sich ein zweites unterscheidendes Kriterium für Positionen in Realismusdebatten entwickeln: begriffliche Relativität. Nach der Ablehnung von Putnams Auffassungen zu diesem Thema, werden zwei Varianten vorgeschlagen, starke und schwache begriffliche Relativität (Kap. 4.2). Die Anwendung dieses Merkmals zwingt, so wird argumentiert, in einigen Fällen zu einer Kombination einer realistischen Auffassung von Arten als natürliche mit begrifflicher Relativität. Diese mittlere Position zwischen klassischem Realismus und Antirealismus wird als »moderater Realismus« bezeichnet. Der im ersten Kriterium verwendete Begriff der natürlichen Art, und damit die Optionen in den Debatten, wird schließlich mittels einer Dis- kussion des Phänomens der Vagheit noch weiter verdeutlicht (Kap. 4.3). Ab- schließend werden die drei Optionen zusammenfassend dargestellt und ein Versuch unternommen, ihre Fruchtbarkeit für diverse Realismusdebatten anzudeuten.

This paper investigates a problem about freedom of information. Although freedom of information is generally considered desirable, there are a number of areas where there is substantial agreement that freedom of information should be limited. After a certain ordering of the landscape, I argue that we need to add the category of "dangerous" information and that this category has gained a new quality in the context of current information technology, specifically the Internet. This category includes information the use of which would be morally wrong as well as some of what may be called "corrupting" information. Some such information should not be spread at all and some should be very limited in its spread.

This paper investigates the prospects of Rodney Brooks’ proposal for AI without representation. It turns out that the supposedly characteristic features of “new AI” (embodiment, situatedness, absence of reasoning, and absence of representation) are all present in conventional systems: “New AI” is just like old AI. Brooks proposal boils down to the architectural rejection of central control in intelligent agents—Which, however, turns out to be crucial. Some of more recent cognitive science suggests that we might do well to dispose of the image of intelligent agents as central representation processors. If this paradigm shift is achieved, Brooks’ proposal for cognition without representation appears promising for full-blown intelligent agents—Though not for conscious agents.

Will future lethal autonomous weapon systems (LAWS), or ‘killer robots’, be a threat to humanity? The European Parliament has called for a moratorium or ban of LAWS; the ‘Contracting Parties to the Geneva Convention at the United Nations’ are presently discussing such a ban, which is supported by the great majority of writers and campaigners on the issue. However, the main arguments in favour of a ban are unsound. LAWS do not support extrajudicial killings, they do not take responsibility away from humans; in fact they increase the abil-ity to hold humans accountable for war crimes. Using LAWS in war would probably reduce human suffering overall. Finally, the availability of LAWS would probably not increase the probability of war or other lethal conflict—especially as compared to extant remote-controlled weapons. The widespread fear of killer robots is unfounded: They are probably good news.

In this paper we address the issue of grounding for experiential concepts. Given that perceptual demonstratives are a basic form of such concepts, we examine ways of fixing the referents of such demonstratives. To avoid ‘encodingism’, that is, relating representations to representations, we postulate that the process of reference fixing must be bottom-up and nonconceptual, so that it can break the circle of conceptual content and touch the world. For that purpose, an appropriate causal relation between representations and the world is needed. We claim that this relation is provided by spatial and object-centered attention that leads to the formation of object files through the function of deictic acts. This entire causal process takes place at a pre-conceptual level, meeting the requirement for a solution to the grounding problem. Finally we claim that our account captures fundamental insights in Putnam’s and Kripke’s work on “new” reference.

The dialogue develops arguments for and against a broad new world system - info-computationalist naturalism - that is supposed to overcome the traditional mechanistic view. It would make the older mechanistic view into a special case of the new general info-computationalist framework (rather like Euclidian geometry remains valid inside a broader notion of geometry). We primarily discuss what the info-computational paradigm would mean, especially its pancomputationalist component. This includes the requirements for a the new generalized notion of computing that would include sub-symbolic information processing. We investigate whether pancomputationalism can provide the basic causal structure to the world and whether the overall research program of info-computationalist naturalism appears productive, especially when it comes to new approaches to the living world, including computationalism in the philosophy of mind.

In this paper I want to propose an argument to support Jerry Fodor’s thesis (Fodor 1983) that input systems are modular and thus informationally encapsulated. The argument starts with the suggestion that there is a “grounding problem” in perception, i. e. that there is a problem in explaining how perception that can yield a visual experience is possible, how sensation can become meaningful perception of something for the subject. Given that visual experience is actually possible, this invites a transcendental argument that explains the conditions of its possibility. I propose that one of these conditions is the existence of a visual module in Fodor’s sense that allows the step from sensation to object-identifying perception, thus enabling visual experience. It seems to follow that there is informationally encapsulated nonconceptual content in visual perception.

Papers from the conference on AI Risk (published in JETAI), supplemented by additional work. --- If the intelligence of artificial systems were to surpass that of humans, humanity would face significant risks. The time has come to consider these issues, and this consideration must include progress in artificial intelligence (AI) as much as insights from AI theory. -- Featuring contributions from leading experts and thinkers in artificial intelligence, Risks of Artificial Intelligence is the first volume of collected chapters dedicated to examining the risks of AI. The book evaluates predictions of the future of AI, proposes ways to ensure that AI systems will be beneficial to humans, and then critically evaluates such proposals. 1 Vincent C. Müller, Editorial: Risks of Artificial Intelligence - 2 Steve Omohundro, Autonomous Technology and the Greater Human Good - 3 Stuart Armstrong, Kaj Sotala and Sean O’Heigeartaigh, The Errors, Insights and Lessons of Famous AI Predictions - and What they Mean for the Future - 4 Ted Goertzel, The Path to More General Artificial Intelligence - 5 Miles Brundage, Limitations and Risks of Machine Ethics - 6 Roman Yampolskiy, Utility Function Security in Artificially Intelligent Agents - 7 Ben Goertzel, GOLEM: Toward an AGI Meta-Architecture Enabling Both Goal Preservation and Radical Self-Improvement - 8 Alexey Potapov and Sergey Rodionov, Universal Empathy and Ethical Bias for Artificial General Intelligence - 9 András Kornai, Bounding the Impact of AGI - 10 Anders Sandberg, Ethics and Impact of Brain Emulations 11 Daniel Dewey, Long-Term Strategies for Ending Existential Risk from Fast Takeoff - 12 Mark Bishop, The Singularity, or How I Learned to Stop Worrying and Love AI -

The paper argues that the reference of perceptual demonstratives is fixed in a causal nondescriptive way through the nonconceptual content of perception. That content consists first in spatiotemporal information establishing the existence of a separate persistent object retrieved from a visual scene by the perceptual object segmentation processes that open an object-file for that object. Nonconceptual content also consists in other transducable information, that is, information that is retrieved directly in a bottom-up way from the scene (motion, shape, etc). The nonconceptual content of the mental states induced when one uses a perceptual demonstrative constitutes the mode of presentation of the perceptual demonstrative that individuates but does not identify the object of perceptual awareness and allows reference to it. On that account, perceptual demonstratives put us in a de re relationship with objects in the world through the non-conceptual information retrieved directly from the objects in the environment.