Cognitive science is the interdisciplinary investigation of mind and intelligence, embracing psychology, neuroscience, anthropology, artificial intelligence, and philosophy. There are many important philosophical questions related to this investigation, but this short chapter will focus on the following three. What is the nature of the explanations and theories developed in cognitive science? What are the relations among the five disciplines that comprise cognitive science? What are the implications of cognitive science research for general issues in the philosophy of science? I will (...) argue that cognitive theories and explanations depend on representations of mechanisms and that the relations among the five disciplines, especially psychology and neuroscience, depend on relations between kinds of mechanisms. These conclusions have implications for central problems in general philosophy of science such as the nature of theories, explanations, and reduction between theories at different levels. (shrink)

Over the past thirty years, it is been common to hear the mind likened to a digital computer. This essay is concerned with a particular philosophical view that holds that the mind literally is a digital computer (in a specific sense of “computer” to be developed), and that thought literally is a kind of computation. This view—which will be called the “Computational Theory of Mind” (CTM)—is thus to be distinguished from other and broader attempts to connect the mind with computation, (...) including (a) various enterprises at modeling features of the mind using computational modeling techniques, and (b) employing some feature or features of production-model computers (such as the stored program concept, or the distinction between hardware and software) merely as a guiding metaphor for understanding some feature of the mind. This entry is therefore concerned solely with the Computational Theory of Mind (CTM) proposed by Hilary Putnam [1961] and developed most notably for philosophers by Jerry Fodor [1975, 1980, 1987, 1993]. The senses of ‘computer’ and ‘computation’ employed here are technical; the main tasks of this entry will therefore be to elucidate: (a) the technical sense of ‘computation’ that is at issue, (b) the ways in which it is claimed to be applicable to the mind, (c) the philosophical problems this understanding of the mind is claimed to solve, and (d) the major criticisms that have accrued to this view. (shrink)

The ethics of emerging forms of artificial intelligence has become a prolific subject in both academic and public spheres. A great deal of these concerns flow from the need to ensure that these technologies do not cause harm—physical, emotional or otherwise—to the human agents with which they will interact. In the literature, this challenge has been met with the creation of artificial moral agents: embodied or virtual forms of artificial intelligence whose decision procedures are constrained by explicit normative principles, requiring (...) the implementation of what is commonly called artificial morality into these agents. To date, the types of reasoning structures and principles which inform artificial morality have been of two kinds: first, an ethically maximal vision of artificial morality which relies on the strict implementation of traditional moral theories such as Kantian deontology or Utilitarianism, and second, a more minimalist vision which applies stochastic AI techniques to large data sets of human moral preferences so as to illicit or intuit general principles and preferences for the design of artificial morality. Taken individually, each approach is unable to fully answer the challenge of producing inoffensive behavior in artificial moral agents, most especially since both forms are unable to strike a balance between the ideal set of constraints which morality imposes on one hand, and the types of constraints public acceptability imposes, on the other. We provide an alternative approach to the design of artificial morality, the Ethical Valence Theory, whose purpose is to accommodate this balance, and apply this approach to the case of autonomous vehicles. (shrink)

Ovaj rad istražuje mogućnost davanja kompatibilističkog argumenta iz aspekta umjetne inteligencije. Ključna pretpostavka našeg rada jest da je umjetna inteligencija načelno moguća i da se realizira na računalnim arhitekturama u bitnome nalik današnjim. Uz taj je uvjet moguće dati definiciju slobode koja je pomirljiva s determiniranim izračunom, uz pomoć načelne nedokučivosti inteligentnog procesa. Ovo se temeljem funkcionalizma može translatirati u filozofiju uma. Pitanje je li moguće naš argument adaptirati za drugačije teorije filozofije uma ostavljamo otvorenim.

When are we, in fact, arguing? Even one and the same author may offer more than one definition of what he understands by argumentation: this is partly because the problem of argumentation is not confined to a single area of knowledge or of practical life. Definitions of argumentation are as varied as the different positions taken on the question of what exactly we do when we argue. Be that as it may, we are struck by the fact that the problem (...) of argumentation (above all in its application to hypothetic-inductive methods) has not been analysed as a problem linked to interpretation. (shrink)

One of us has previously argued that the Church-Turing Thesis (CTT), contra Elliot Mendelson, is not provable, and is — light of the mind’s capacity for effortless hypercomputation — moreover false (e.g., [13]). But a new, more serious challenge has appeared on the scene: an attempt by Smith [28] to prove CTT. His case is a clever “squeezing argument” that makes crucial use of Kolmogorov-Uspenskii (KU) machines. The plan for the present paper is as follows. After covering some necessary preliminaries (...) regarding the nature of CTT, and taking note of the fact that this thesis is “intrinsically cognitive” (§2), we: sketch out, for context, an open-minded position on CTT and related matters (§3); explain the formal structure of squeezing arguments (§4); after a review of KU-machines, formalize Smith’s case (§5); give our objections to certain assumptions in Smith’s argument (§6); support these objections with some evidence from general but limited-agent problem solving (§7); and explain why Smith’s argument is inconclusive (§8). We end with some brief, concluding remarks, some of which point toward near-future work that will build on the present paper (§9). (shrink)

This is the guest editor's introduction to a JETAI special issue on philosophical foundations of AI.

Computational complexity is a discipline of computer science and mathematics which classifies computational problems depending on their inherent difficulty, i.e. categorizes algorithms according to their performance, and relates these classes to each other. P problems are a class of computational problems that can be solved in polynomial time using a deterministic Turing machine while solutions to NP problems can be verified in polynomial time, but we still do not know whether they can be solved in polynomial time as well. A (...) solution for the so-called NP-complete problems will also be a solution for any other such problems. Its artificial-intelligence analogue is the class of AI-complete problems, for which a complete mathematical formalization still does not exist. In this chapter we will focus on analysing computational classes to better understand possible formalizations of AI-complete problems, and to see whether a universal algorithm, such as a Turing test, could exist for all AI-complete problems. In order to better observe how modern computer science tries to deal with computational complexity issues, we present several different deep-learning strategies involving optimization methods to see that the inability to exactly solve a problem from a higher order computational class does not mean there is not a satisfactory solution using state-of-the-art machine-learning techniques. Such methods are compared to philosophical issues and psychological research regarding human abilities of solving analogous NP-complete problems, to fortify the claim that we do not need to have an exact and correct way of solving AI-complete problems to nevertheless possibly achieve the notion of strong AI. (shrink)

In this article, the results of conceptualization of the definition of mind as an object of interdisciplinary applied research are described. The purpose of the theoretical analysis is to generate a methodological discourse suitable for a functional understanding of the mind in the context of the problem of natural language processing as one of the components of developments in the field of artificial intelligence. The conceptual discourse was realized with the help of the author's method of structural-ontological analysis, and developed (...) in the mainstream of the system-methodological tradition of the school of G.P. Shchedrovitsky and intended for descriptive research of subject areas of interdisciplinary objects of scientific study. As a result of the structural and ontological analysis of the super-system, the relevant place and role of the directly studied system (mind) are determined, and its primary process and material are localized and structural and functional connections are described. At the basic level, the mind is conceptualized as an energy process unfolding in a spatio-temporal environment and accompanied by archetypal structuring of neural impulses into images. The genesis of the system is separately analyzed by constructing a structural-ontological matrix that reflects the initial stage of the development of the mind. The primary process is concretized with the help of hetero- and homeostatic dichotomy, and also the most significant features of the consistent transformation of the material of the system and its ascent to verbal morphology are described. The structural-ontological comparison of the functioning of the verbal intelligence with the preverbal level has been carried out. The transformation of neural impulses of needs into words, as verbal units fixing semiotic values is analyzed. Structural-ontological connections that determine the reactive and prospective characteristics of the functioning of the system are disclosed. The position of the chronological primacy of "semiotic readiness" for language with respect to the debut of the latter as an information-sign model of the environment is argued. The hypothesis of domination at the initial stage of the development of the mind of exopsychic functions over endopsychic ones is formulated. The theoretical substantiation of the hypothesis of the inevitability of the ontology of language in the functional understanding of the mind is given, corresponding structural and ontological arguments are given, including those based on the ideas about the information relationship between affects and needs, according to the views of P.V. Simonov. The arguments are presented in favor of the non-alternative methodology of A. Turing in studies of artificial intelligence. (shrink)

Having, as it is generally agreed, failed to destroy the computational conception of mind with the G\"{o}delian attack he articulated in his {\em The Emperor's New Mind}, Penrose has returned, armed with a more elaborate and more fastidious G\"{o}delian case, expressed in and 3 of his {\em Shadows of the Mind}. The core argument in these chapters is enthymematic, and when formalized, a remarkable number of technical glitches come to light. Over and above these defects, the argument, at best, is (...) an instance of either the fallacy of denying the antecedent, the fallacy of {\em petitio principii}, or the fallacy of equivocation. More recently, writing in response to his critics in the electronic journal {\em Psyche}, Penrose has offered a G\"{o}delian case designed to improve on the version presented in {\em SOTM}. But this version is yet again another failure. In falling prey to the errors we uncover, Penrose's new G\"{o}delian case is unmasked as the same confused refrain J.R. Lucas initiated 35 years ago. (shrink)

In this panel, we explore the future of value sensitive design (VSD). The stakes are high. Many in public and private sectors and in civil society are gradually realizing that taking our values seriously implies that we have to ensure that values effectively inform the design of technology which, in turn, shapes people’s lives. Value sensitive design offers a highly developed set of theory, tools, and methods to systematically do so.

What is the essential ingredient of creativity that only humans – and not machines – possess? Can artificial intelligence help refine the notion of creativity by reference to that essential ingredient? How / do we need to redefine our conceptual and legal frameworks for rewarding creativity because of this new qualifying – actually creatively significant – factor? -/- Those are the questions tackled in this essay. The author’s conclusion is that consciousness, experiential states (such as a raw feel of what (...) is like to be creating) and propositional attitudes (such as intention to instigate change by creating) appear pivotal to qualifying an exploratory effort as creativity. Artificial intelligence systems would supposedly be capable of creativity if they could exhibit such states, which philosophers and computer scientists posit as conceptually admissible and practically possible. -/- The existing legal framework rewards creative endeavours by reference to the novelty or originality of the end result. But this bar is not insurmountable for artificial intelligence. Technically speaking, artificial intelligence systems can create works that are novel and/or original. Are we then prepared to grant to those systems the legal status of “creators” in their own right? Whom should the associated benefits and rewards be assigned to? How does the position change (or not) based on the qualifying factors set out above? Should – and if, how – the general public benefit from inventions / creative works of artificial intelligence systems if troves of personal data are the key component that fueled and informed creative choices? (shrink)

The standard approach to model how human beings understand natural languages is the symbolic, compositional approach according to which the meaning of a complex expression is a function of the meanings of its constituents. In other words, meaning plays a fundamental role in the model. In this work, because of the polysemous, flexible, dynamic, and contextual structure of natural languages, this approach is rejected. Instead, a connectionist model which eliminates the concept of meaning is proposed.

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)

In the tradition stemming from Aristotle through Aquinas, rational decision making is seen as a complex structure of distinct phases in which reasoning and will are interconnected. Intention, deliberation, and decision are regarded as the fundamental steps of the decision-making process, in which an end is chosen, the means are specified, and a decision to act is made. Based on this Aristotelian theoretical background, we show how the decision-making process can be modeled as a net of several patterns of reasoning, (...) involving the classification of an action or state of affairs, its evaluation, the deliberation about the means to carry it out, and the decision. It is shown how argumentation theory can contribute to our understanding of the mechanisms involved by formalizing the steps of reasoning using argumentation schemes, and setting out the value-based criteria underlying the evaluation of an action. Representing each phase of the decision-making process as a separate scheme allows one to identify implicit premises and bring the roots of ethical dilemma to light along with the means to resolve them. In particular, we will show the role of framing and classification in triggering value-based reasoning, and how argumentation theory can be used to represent and uproot the grounds of possible manipulations. (shrink)

This chapter presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a learner who processes new inputs through time and who forms new beliefs from those inputs by means of a concrete, computable learning program. The agent’s belief state is represented hyper-intensionally as a set of time-indexed sentences. Knowledge is interpreted as avoidance of error in the limit and as having converged to true belief from the present time onward. Familiar topics are re-examined within (...) the semantics, such as inductive skepticism, the logic of discovery, Duhem’s problem, the articulation of theories by auxiliary hypotheses, the role of serendipity in scientific knowledge, Fitch’s paradox, deductive closure of knowability, whether one can know inductively that one knows inductively, whether one can know inductively that one does not know inductively, and whether expert instruction can spread common inductive knowledge—as opposed to mere, true belief—through a community of gullible pupils. (shrink)

Philosophers of information, according to Luciano Floridi (The philosophy of information. Oxford University Press, Oxford, 2010, p 32), study how information should be “adequately created, processed, managed, and used.” A small number of epistemologists have employed the concept of information as a cornerstone of their theoretical framework. How this concept can be used to make sense of seemingly intractable epistemological problems, however, has not been widely explored. This paper examines Fred Dretske’s information-based epistemology, in particular his response to radical epistemological (...) skepticism. We discuss the relationship between information, evidence and knowledge in relation to the problem of skepticism and the options available to an information-based epistemology for dealing with it. (shrink)

The concept and the main stakeholders of E-learning ecosystem are investigated at the article. University is regarded as a center of such ecosystem due to skilled knowledge providers and technical equipment availability. Studying different cases authors prove that higher educational institution plays a driver role in different projects, especially social start-up projects. Different models of partnership between universities and other stakeholders are considered. In authors’ opinion, one of the most perspective collaborative projects are in frame of “students – schoolchildren” due (...) to effective knowledge transfer. Such kind of cooperation can fill the gap between school and university education. Particularly the framework of e-learning project in financial literacy for orphans totally prepared and executed by students is considered. The ICT tools are very actively used in these initiatives aiming to develop high demanded skills as critical thinking, creativity and complex problem solving. As a result, schoolchildren are receiving a toolkit for basic data analysis, developing own business plan and adopting evidencebased decisions. The authors prove that E-learning projects are able to improve both information and financial literacy and also increase the level of inclusivity into education of weak and socially unprotected children from orphanages. The article will be useful for the representatives from universities, orphanages, companies who eager to boost the level of their social responsibility. The aim of the research is to reveal different types of cooperation under social projects between higher educational institutions and other stakeholders, using wide range of ICT e-learning tools as well. In addition, to develop a set of recommendations to the universities of collaboration roadmap. (shrink)

This essay tries to demarcate and analyse Artificial Intelligence ethics. Going away from the traditional distinction in normative, meta, and applied ethics, a different split is executed, inspired by the three most prominent schools of thought: deontology, consequentialism, and Aristotelian virtue ethics. The reason behind this alternative approach is to connect all three schools back to ancient Greek philosophy. Having proven that the majority of arguments derive from some ancient Greek scholars, a new voice is initiated into the discussion, Protagoras (...) the Sophist. A big advocate of -the later conceived- humanism and relativism, Protagoras is used as a prism to examine a new ethical model that is based on the personalization of agents. In other words, even though theories of objectivity have overflown contemporary discussions of finding a robust ethical model for Artificial Intelligence agents, there is potential in a subjective model, personalised after each and every user. (shrink)

I develop an interdisciplinary framework for understanding the nature of agents and agency that is compatible with recent developments in the metaphysics of science and that also does justice to the mechanistic and normative characteristics of agents and agency as they are understood in moral philosophy, social psychology, neuroscience, robotics, and economics. The framework I develop is internal perspectivalist. That is to say, it counts agents as real in a perspective-dependent way, but not in a way that depends on an (...) external perspective. Whether or not something counts as an agent depends on whether it is able to have a certain kind of perspective. My approach differs from many others by treating possession of a perspective as more basic than the possession of agency, representational content/vehicles, cognition, intentions, goals, concepts, or mental or psychological states; these latter capabilities require the former, not the other way around. I explain what it means for a system to be able to have a perspective at all, beginning with simple cases in biology, and show how self-contained normative perspectives about proper function and control can emerge from mechanisms with relatively simple dynamics. I then describe how increasingly complex control architectures can become organized that allow for more complex perspectives that approach agency. Next, I provide my own account of the kind of perspective that is necessary for agency itself, the goal being to provide a reference against which other accounts can be compared. Finally, I introduce a crucial distinction that is necessary for understanding human agency: that between inclinational and committal agency, and venture a hypothesis about how the normative perspective underlying committal agency might be mechanistically realized. (shrink)

Behaviorism, Cognitivism, Constructivism and other growing theories such as Actor-Network and Connectivism are circulating in the educational field. For each, there are allies who stand behind research evidence and consistency of observation. Meantime, those existing theories dominate the field until the background is changed or new concrete evidence proves their insufficiencies. Connectivists claim that the background or the general climate has recently changed: a new generation of researchers, connectivists propose a new way of conceiving knowledge. According to them, knowledge is (...) a network and learning is a process of exploring this network. Other researchers find this notion either not clear or not new and probably, with no effect in the education field. This paper addresses a foggy understanding of knowledge defined as a network and the lack of resources talking about this topic. Therefore, it tries to clarify what it means to define knowledge as a network and in what way it can affect teaching and learning. (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 paper attempts to provide the basis for a broader naturalized account of agency. Naturalization is considered as the need for an ongoing and open-ended process of scientific inquiry driven by the continuous formulation of questions regarding a phenomenon. The naturalization of agency is focused around the interrelation of the fundamental notions of autonomy, functionality, intentionality and meaning. Certain naturalized frameworks of agency are critically considered in an attempt to bring together all the characteristic properties that constitute an autonomous agent, (...) as well as to indicate the shaping of these notions/properties during the development and the evolution of its agential capacity. Autonomy and interaction are proved to be key concepts in this endeavor. (shrink)

The goal of creating Artificial General Intelligence (AGI) – or in other words of creating Turing machines (modern computers) that can behave in a way that mimics human intelligence – has occupied AI researchers ever since the idea of AI was first proposed. One common theme in these discussions is the thesis that the ability of a machine to conduct convincing dialogues with human beings can serve as at least a sufficient criterion of AGI. We argue that this very ability (...) should be accepted also as a necessary condition of AGI, and we provide a description of the nature of human dialogue in particular and of human language in general against this background. We then argue that it is for mathematical reasons impossible to program a machine in such a way that it could master human dialogue behaviour in its full generality. This is (1) because there are no traditional explicitly designed mathematical models that could be used as a starting point for creating such programs; and (2) because even the sorts of automated models generated by using machine learning, which have been used successfully in areas such as machine translation, cannot be extended to cope with human dialogue. If this is so, then we can conclude that a Turing machine also cannot possess AGI, because it fails to fulfil a necessary condition thereof. At the same time, however, we acknowledge the potential of Turing machines to master dialogue behaviour in highly restricted contexts, where what is called “narrow” AI can still be of considerable utility. (shrink)

This article contains the results of a theoretical analysis of the phenomenon of natural language understanding (NLU), as a methodological problem. The combination of structural-ontological and informational-psychological approaches provided an opportunity to describe the subject matter field of NLU, as a composite function of the mind, which systemically combines the verbal and discursive structural layers. In particular, the idea of NLU is presented, on the one hand, as the relation between the discourse of a specific speech message and the meta-discourse (...) of a language, in turn, activated by the need-motivational factors. On the other hand, it is conceptualized as a process with a specific structure of information metabolism, the study of which implies the necessity to differentiate the affective (emotional) and need-motivational influences on the NLU, as well as to take into account their interaction. At the same time, the hypothesis about the influence of needs on NLU under the scenario similar to the pattern of Yerkes-Dodson is argued. And the theoretical conclusion that emotions fulfill the function of the operator of the structural features of the information metabolism of NLU is substantiated. Thus, depending on the modality of emotions in the process of NLU, it was proposed to distinguish two scenarios for the implementation of information metabolism - reduction and synthetic. The argument in favor of the conclusion about the productive and constitutive role of emotions in the process of NLU is also given. (shrink)

In the present article we analyze the relationships between K-waves and major technological breakthroughs in history and offer forecasts about features of the sixth Kondratieff wave. We use for our analysis the basic ideas of long cycles' theory and related theories (theories of the leading sector, technological styles etc.) as well as the ideas of our own theory of production principles and production revolutions. The latest of production revolution is the Cybernetic Revolution that, from our point of view, started in (...) the 1950s. We assume that in the 2030s and 2040s the sixth K-wave will merge with the final phase of the Cybernetic Revolution (which we call a phase of self-regulating systems). This period will be characterized by the breakthrough inmedical technologies which will be capable to combine many other technologies into a single system of MANBRIC-technologies (medico-additive-nano-bio-roboto-info-cognitive technologies). The article also presents a forecast of the process of global ageing and argueswhy the technological breakthrough will occur in health care sector and connected spheres. (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.

I want to suggest that the major influence of classical arguments for embodiment like "The Embodied Mind" by Varela, Thomson & Rosch (1991) has been a changing of positions rather than a refutation: Cognitivism has found ways to retreat and regroup at positions that have better fortification, especially when it concerns theses about artificial intelligence or artificial cognitive systems. For example: a) Agent-based cognitivism' that understands humans as taking in representations of the world, doing rule-based processing and then acting on (...) them (sense-plan-act) is often limited to conscious decision processes; and b) Purely syntactic cognition is compatible with embodiment, or supplemented by embodiment (e.g. for 'grounding'). While the empirical thesis of embodied cognition ('embodied cognitive science') is true and the practical engineering thesis ('morphological computation', 'cheap design') is often true, the conceptual thesis ('embodiment is necessary for cognition') is likely false - syntax is often enough for cognition, unless grounding is really necessary. I conclude that it has become more sensible to integrate embodiment with traditional approaches rather than "fight for embodiment" or "against cognitivism". (shrink)

Many activities in Cognitive Science involve complex computer models and simulations of both theoretical and real entities. Artificial Intelligence and the study of artificial neural nets in particular, are seen as major contributors in the quest for understanding the human mind. Computational models serve as objects of experimentation, and results from these virtual experiments are tacitly included in the framework of empirical science. Simulations of cognitive functions, like learning to speak, or discovering syntactical structures in language, are the basis for (...) many claims about human capacities in language acquisition. This raises the question whether results obtained from experiments that are essentially performed on data structures are equivalent to results from "real" experiments. This paper examines some design methodologies for models of cognitive functions using artificial neural nets. The process of conducting the cognitive simulations is largely a projection of theories, or even unsubstantiated conjectures, onto simulated neural structures and an interpretation of the experimental results in terms of the human brain. The problem with this process is that results from virtual experiments are taken to refer unambiguously to the human brain; and the more the language of human cognitive function is deployed in both theory construction and (virtual) experimental interpretation, the more convincing the impression. Additionally, the complexity of the methodologies, principles, and visualization techniques, in the implementation of the computational model, masks the lack of actual similarities between model and real world phenomena. Some computational models involving artificial neural nets have had some success, even commercially, but there are indications that the results from virtual experiments have little value in explaining cognitive functions. The problem seems to be in relating computational, or mathematical, entities to real world objects, like neurons and brains. I argue that the role of Artificial Intelligence as a contributor to the knowledge base of Cognitive Science is diminished as a consequence. (shrink)

Presented here is a review of the book by Michael Wooldridge The Road to Conscious Machines: The Story of AI. The book was published in 2021 by Pelican Publishing Company. The book presents a philosophical exploration of the AI-related quest to understand the essence of our minds, ethics, and consciousness. Nonetheless, the book is unconventional as it focuses on failures of past AI programs rather than on AI success stories. The author also indicates the possible pathways to develop new, more (...) efficient AI paradigms. The short technical section at the end of the book offers more in-depth information on topics like Prolog, Bayesian, and deep neural networks. (shrink)

This is a position paper concerning the role of empirical studies of human default reasoning in the formalization of AI theories of default reasoning. We note that AI motivates its theoretical enterprise by reference to human skill at default reasoning, but that the actual research does not make any use of this sort of information and instead relies on intuitions of individual investigators. We discuss two reasons theorists might not consider human performance relevant to formalizing default reasoning: (a) that intuitions (...) are sufficient to describe a model, and (b) that human performance in this arena is irrelevant to a competence model of the phenomenon. We provide arguments against both these reasons. We then bring forward three further considerations against the use of intuitions in this arena: (a) it leads to an unawareness of predicate ambiguity, (b) it presumes an understanding of ordinary language statements of typicality, and (c) it is similar to discredited views in other fields. We advocate empirical investigation of the range of human phenomena that intuitively embody default reasoning. Gathering such information would provide data with which to generate formal default theories and against which to test the claims of proposed theories. Our position is that such data are the very phenomena that default theories are supposed to explain. (shrink)

What is Computational Intelligence (CI) and what are its relations with Artificial Intelligence (AI)? A brief survey of the scope of CI journals and books with ``computational intelligence'' in their title shows that at present it is an umbrella for three core technologies (neural, fuzzy and evolutionary), their applications, and selected fashionable pattern recognition methods. At present CI has no comprehensive foundations and is more a bag of tricks than a solid branch of science. The change of focus from methods (...) to challenging problems is advocated, with CI defined as a part of computer and engineering sciences devoted to solution of non-algoritmizable problems. In this view AI is a part of CI focused on problems related to higher cognitive functions, while the rest of the CI community works on problems related to perception and control, or lower cognitive functions. Grand challenges on both sides of this spectrum are addressed. (shrink)

The Frame Problem is the problem of how one can design a machine to use information so as to behave competently, with respect to the kinds of tasks a genuinely intelligent agent can reliably, effectively perform. I will argue that the way the Frame Problem is standardly interpreted, and so the strategies considered for attempting to solve it, must be updated. We must replace overly simplistic and reductionist assumptions with more sophisticated and plausible ones. In particular, the standard interpretation assumes (...) that mental processes are identical to certain kinds of computational processes, and so solving the Frame Problem is a matter of finding a computational architecture that can effectively represent relations of semantic relevance. Instead, we must take seriously the possibility that the way in which intelligent agents use information is inherently different. Whereas intelligent agents are plausibly genuinely causally sensitive to semantic properties as such (to what they perceive, desire, believe intend, etc.), computational systems can only be causally sensitive to the formal features that represent these properties. Indeed, it is this very substitution of formal generalizations for genuinely semantic ones that is responsible for the way current AI systems are brittle, inflexible, and highly specialized. What we need is a more sophisticated way of investigating the relationship between computational information processing and genuinely semantic information use, so that these two senses of using information are not conflated, but instead the question of how they are related to one another can be studied directly. I apply the generative methodology I have developed elsewhere for cognitive science and AI research (Miracchi, 2017, 2019a) to show how the Frame Problem can be appropriately updated. (shrink)

The abstract concept of indeterministic free will is distinguished from the phenomenon of free will. Evidence for the abstract concept is examined and critically compared with various designs of automata. It is concluded that there is no evidence to support the abstract concept of indeterministic free will, it is inconceivable that a test could be constructed to distinguish an indeterministic agent from a complicated automaton. Testing the free will of an alien visitor is introduced to separate prejudices about who has (...) free will from objective experiments. The phenomenon of free will is modelled with a deterministic decision making agent. The agent values ‘independence’ and satisfies a desire for independence by responding to ‘challenges’. When the agent generates challenges internally it will establish a record of being able to do otherwise. In principle a computer could be built with a free will property. The model also explains false attributions of free will (superstitions). (shrink)

One of the strands of the Transhumanist movement, Singulitarianism, studies the possibility that high-level artificial intelligence may be created in the future, debating ways to ensure that the interaction between human society and advanced artificial intelligence can occur safely and beneficially. But how can we guarantee this safe interaction? Are there any indications that a Singularity may be on the horizon? In trying to answer these questions, We'll make a small introduction to the area of security research in artificial intelligence. (...) We'll review some of the current paradigms in the development of autonomous intelligent systems and evidence that we can use to prospect the coming of a possible technological Singularity. Finally, we will present a reflection using the COVID-19 pandemic, something that showed that our biggest problem in managing existential risks is our lack of coordination skills as a global society. (shrink)