This book reports on the results of the third edition of the premier conference in the field of philosophy of artificial intelligence, PT-AI 2017, held on November 4 - 5, 2017 at the University of Leeds, UK. It covers: advanced knowledge on key AI concepts, including complexity, computation, creativity, embodiment, representation and superintelligence; cutting-edge ethical issues, such as the AI impact on human dignity and society, responsibilities and rights of machines, as well as AI threats to humanity and AI safety; (...) and cutting-edge developments in techniques to achieve AI, including machine learning, neural networks, dynamical systems. The book also discusses important applications of AI, including big data analytics, expert systems, cognitive architectures, and robotics. It offers a timely, yet very comprehensive snapshot of what is going on in the field of AI, especially at the interfaces between philosophy, cognitive science, ethics and computing. (shrink)

It is argued thatde dicto andde re beliefs are attitudes towards syntactically structured entities (sentences) in the head. In order to identify the content of ade dicto orde re belief, we must be able to match causal relations of belief states to natural language inferences. Such match-ups provide sufficient empirical justification for regarding those causal relations as syntactic transformations, that is, inferences. But only syntactically structured entities are capable of enjoying such inferential relations. Hence,de dicto andde re beliefs must be (...) syntactically structured. Given that beliefs are also brain states, it follows that they are sentences in the brain. The argument presented here is shown to be an improvement over similar arguments advanced by Harman and Fodor. (shrink)

It is argued thatde dicto andde re beliefs are attitudes towards syntactically structured entities (sentences) in the head. In order to identify the content of ade dicto orde re belief, we must be able to match causal relations of belief states to natural language inferences. Such match-ups provide sufficient empirical justification for regarding those causal relations as syntactic transformations, that is, inferences. But only syntactically structured entities are capable of enjoying such inferential relations. Hence,de dicto andde re beliefs must be (...) syntactically structured. Given that beliefs are also brain states, it follows that they are sentences in the brain. The argument presented here is shown to be an improvement over similar arguments advanced by Harman and Fodor. (shrink)

In the last decade the concept of context has been extensivelyexploited in many research areas, e.g., distributed artificialintelligence, multi agent systems, distributed databases, informationintegration, cognitive science, and epistemology. Three alternative approaches to the formalization of the notion ofcontext have been proposed: Giunchiglia and Serafini's Multi LanguageSystems (ML systems), McCarthy's modal logics of contexts, andGabbay's Labelled Deductive Systems.Previous papers have argued in favor of ML systems with respect to theother approaches. Our aim in this paper is to support these arguments froma (...) theoretical perspective. We provide a very general definition of ML systems, which covers allthe ML systems used in the literature, and we develop a proof theoryfor an important subclass of them: the MR systems. We prove variousimportant results; among other things, we prove a normal form theorem,the sub-formula property, and the decidability of an importantinstance of the class of the MR systems. The paper concludes with a detailed comparison among the alternativeapproaches. (shrink)

Making interactions between humans and artificial agents successful is a major goal of interaction design. The aim of this paper is to provide researchers conducting interaction studies a new framework for the evaluation of robot believability. By critically examining the ordinary sense of believability, we first argue that currently available notions of it are underspecified for rigorous application in an experimental setting. We then define four concepts that capture different senses of believability, each of which connects directly to an empirical (...) methodology. Finally, we show how this framework has been and can be used in the construction of interaction studies by applying it to our own work in human–robot interaction. (shrink)

The emperor's new mind (hereafter Emperor) is an attempt to put forward a scientific alternative to the viewpoint of according to which mental activity is merely the acting out of some algorithmic procedure. John Searle and other thinkers have likewise argued that mere calculation does not, of itself, evoke conscious mental attributes, such as understanding or intentionality, but they are still prepared to accept the action the brain, like that of any other physical object, could in principle be simulated by (...) a computer. In Emperor I go further than this and suggest that the outward manifestations ofconscious mental activity cannot even be properly simulated by calculation. To support this view, I use various arguments to show that the results of mathematical insight, in particular, do not seem to be obtained algorithmically. The main thrust ofthis work, however, is to present an overview ofthe present state of physical understanding and to show that an important gap exists at the point where, quantum and classical physics meet, as well as to speculate on how the conscious brain might be taking advantage ofwhatever new physics is needed to fill this gap to achieve its nonalgorithmic effects. (shrink)

Philosophers have traditionally held that propositions mark the domain of rational thought and inference. Many philosophers have held that only conceptually sophisticated creatures like us could have propositional attitudes. But in recent decades, philosophers have adopted increasingly liberal views of propositional attitudes that encompass the mental states of various non-human animals. These views now sit alongside more traditional views within the philosophical mainstream. In this paper I argue that liberalized views of propositional attitudes are so liberal that they encompass states (...) of all sorts of apparently mindless systems like circadian clocks in plants. I begin by arguing that on the most well-developed and widely endorsed theories of underived representation in philosophy, circadian clocks qualify as representations. I then argue that standard reasons for thinking that perceptual states and pictures have propositional content carry over to circadian clocks. Finally, I argue that circadian representations in plants play the kind of functional role that is widely taken to be partly constitutive of belief-like attitudes. So according to mainstream theories of representation, propositions, and attitudes, plants have propositional attitudes. Yet on other more traditional views, this conclusion would seem absurd. So, contrary to appearances, there is no shared, stable understanding of what propositional attitudes are in contemporary philosophy. (shrink)

Philosophers have traditionally held that propositions mark the domain of rational thought and inference. Many philosophers have held that only conceptually sophisticated creatures like us could have propositional attitudes. But in recent decades, philosophers have adopted increasingly liberal views of propositional attitudes that encompass the mental states of various non-human animals. These views now sit alongside more traditional views within the philosophical mainstream. In this paper I argue that liberalized views of propositional attitudes are so liberal that they encompass states (...) of all sorts of apparently mindless systems like circadian clocks in plants. I begin by arguing that on the most well-developed and widely endorsed theories of underived representation in philosophy, circadian clocks qualify as representations. I then argue that standard reasons for thinking that perceptual states and pictures have propositional content carry over to circadian clocks. Finally, I argue that circadian representations in plants play the kind of functional role that is widely taken to be partly constitutive of belief-like attitudes. So according to mainstream theories of representation, propositions, and attitudes, plants have propositional attitudes. Yet on other more traditional views, this conclusion would seem absurd. So, contrary to appearances, there is no shared, stable understanding of what propositional attitudes are in contemporary philosophy. (shrink)

In Word and Object, W.V. Quine made thinkable the idea that speech and cognition bear a burden of semantic indeterminacy. On Quine’s account, the upshot of semantic indeterminacy is that meaning and mentalism resist successful naturalization, and thus fail the test of scientific respectibility. For Quine, semantic indeterminacy is a fatal shortcoming.Recent attempts to naturalize meaning in our thought and our talk (e.g. Dretske 1981, Fodor 1987), belonging to a tradition that has thrived in reaction to Quine, have sought to (...) nail down semantic properties in a scientifically respectable fashion, avoiding the scourge of indeterminacy. However, both Quine and the new redeemers of mentalism may have missed the boat. Three case studies offered here will suggest that a thriving theory of visual perception still makes room for some rather striking indeterminacies. (shrink)

A critical survey of recent work on the ontological status of colors supports the conclusion that, while some accounts of color can plausibly be dismissed, no single account can yet be endorsed. Among the remaining options are certain forms of color realism according which familiar colors are instantiated by objects in our extra-cranial visual environment. Also still an option is color anti-realism, the view that familiar colors are, at best, biologically adaptive fictions, instantiated nowhere.I argue that there is simply no (...) fact of the matter as to which of these remaining options is correct. I blame this indeterminacy on the fact that color vision exhibits several of the hallmarks of a modular input system, as described by Jerry Fodor in The Modularity of Mind. (shrink)