Philosophy of AI, Misc

This article cohesively discusses three topics, namely color and its perception, the yet-to-be-solved hard problem of consciousness, and the theoretical possibility of strong AI. First, the article restores color back into the physical world by giving cross-species evidence. Secondly, the article proposes a dual-field with function Q hypothesis (DFFQ) which might explain the ‘first-person point of view’ and so the hard problem of consciousness. Finally, the article discusses what DFFQ might bring to artificial intelligence and how it might allow strong (...) AI to stay true. (shrink)

Contains a description of a generalized and constructive formal model for the processes of subjective and creative thinking. According to the author, the algorithm presented in the article is capable of real and arbitrarily complex thinking and is potentially able to report on the presence of consciousness.

We propose that, for the purpose of studying theoretical properties of the knowledge of an agent with Artificial General Intelligence (that is, the knowledge of an AGI), a pragmatic way to define such an agent’s knowledge (restricted to the language of Epistemic Arithmetic, or EA) is as follows. We declare an AGI to know an EA-statement φ if and only if that AGI would include φ in the resulting enumeration if that AGI were commanded: “Enumerate all the EA-sentences which you (...) know.” This definition is non-circular because an AGI, being capable of practical English communication, is capable of understanding the everyday English word “know” independently of how any philosopher formally defines knowledge; we elaborate further on the non-circularity of this circular-looking definition. This elegantly solves the problem that different AGIs may have different internal knowledge definitions and yet we want to study knowledge of AGIs in general, without having to study different AGIs separately just because they have separate internal knowledge definitions. Finally, we suggest how this definition of AGI knowledge can be used as a bridge which could allow the AGI research community to import certain abstract results about mechanical knowing agents from mathematical logic. (shrink)

Recent work on interpretability in machine learning and AI has focused on the building of simplified models that approximate the true criteria used to make decisions. These models are a useful pedagogical device for teaching trained professionals how to predict what decisions will be made by the complex system, and most importantly how the system might break. However, when considering any such model it’s important to remember Box’s maxim that "All models are wrong but some are useful." We focus on (...) the distinction between these models and explanations in philosophy and sociology. These models can be understood as a "do it yourself kit" for explanations, allowing a practitioner to directly answer "what if questions" or generate contrastive explanations without external assistance. Although a valuable ability, giving these models as explanations appears more difficult than necessary, and other forms of explanation may not have the same trade-offs. We contrast the different schools of thought on what makes an explanation, and suggest that machine learning might benefit from viewing the problem more broadly. (shrink)

Forty-two years ago, Capra published “The Tao of Physics” (Capra, 1975). In this book (page 17) he writes: “The exploration of the atomic and subatomic world in the twentieth century has …. necessitated a radical revision of many of our basic concepts” and that, unlike ‘classical’ physics, the sub-atomic and quantum “modern physics” shows resonances with Eastern thoughts and “leads us to a view of the world which is very similar to the views held by mystics of all ages and (...) traditions.“ This article stresses an analogous situation in biology with respect to a new theoretical approach for studying living systems, Integral Biomathics (IB), which also exhibits some resonances with Eastern thought. Stepping on earlier research in cybernetics1 and theoretical biology,2 IB has been developed since 2011 by over 100 scientists from a number of disciplines who have been exploring a substantial set of theoretical frameworks. From that effort, the need for a robust core model utilizing advanced mathematics and computation adequate for understanding the behavior of organisms as dynamic wholes was identified. At this end, the authors of this article have proposed WLIMES (Ehresmann and Simeonov, 2012), a formal theory for modeling living systems integrating both the Memory Evolutive Systems (Ehresmann and Vanbremeersch, 2007) and the Wandering Logic Intelligence (Simeonov, 2002b). Its principles will be recalled here with respect to their resonances to Eastern thought. (shrink)

In 2011, Hibbard suggested an intelligence measure for agents who compete in an adversarial sequence prediction game. We argue that Hibbard’s idea should actually be considered as two separate ideas: first, that the intelligence of such agents can be measured based on the growth rates of the runtimes of the competitors that they defeat; and second, one specific (somewhat arbitrary) method for measuring said growth rates. Whereas Hibbard’s intelligence measure is based on the latter growth-rate-measuring method, we survey other methods (...) for measuring function growth rates, and exhibit the resulting Hibbard-like intelligence measures and taxonomies. Of particular interest, we obtain intelligence taxonomies based on Big-O and Big-Theta notation systems, which taxonomies are novel in that they challenge conventional notions of what an intelligence measure should look like. We discuss how intelligence measurement of sequence predictors can indirectly serve as intelligence measurement for agents with Artificial General Intelligence (AGIs). (shrink)

The workshop “Machine Learning: Prediction Without Explanation?” brought together philosophers of science and scholars from various fields who study and employ Machine Learning (ML) techniques, in order to discuss the changing face of science in the light of ML's constantly growing use. One major focus of the workshop was on the impact of ML on the concept and value of scientific explanation. One may speculate whether ML’s increased use in science exemplifies a paradigmatic turn towards mere pattern recognition and prediction (...) and away from science’s traditional aim of explanation. In contrast, certain conceptions of explanation, such as statistical explanation, could turn out to fit well with the achievements of present-day ML and concede an explanatory value to these achievements after all. It is an open question how to explain ML successes themselves, and this question was in the focus of several talks in the workshop. Based on the topics raised, we will discuss the talks’ contents in more detail as organized into (i) practitioners’ perspectives, (ii) explanations from ML, (iii) explanations of ML, (iv) societal implications, and (v) global and historical perspectives. (shrink)

We define a notion of the intelligence level of an idealized mechanical knowing agent. This is motivated by efforts within artificial intelligence research to define real-number intelligence levels of compli- cated intelligent systems. Our agents are more idealized, which allows us to define a much simpler measure of intelligence level for them. In short, we define the intelligence level of a mechanical knowing agent to be the supremum of the computable ordinals that have codes the agent knows to be codes (...) of computable ordinals. We prove that if one agent knows certain things about another agent, then the former necessarily has a higher intelligence level than the latter. This allows our intelligence no- tion to serve as a stepping stone to obtain results which, by themselves, are not stated in terms of our intelligence notion (results of potential in- terest even to readers totally skeptical that our notion correctly captures intelligence). As an application, we argue that these results comprise evidence against the possibility of intelligence explosion (that is, the no- tion that sufficiently intelligent machines will eventually be capable of designing even more intelligent machines, which can then design even more intelligent machines, and so on). (shrink)

We study the structure of families of theories in the language of arithmetic extended to allow these families to refer to one another and to themselves. If a theory contains schemata expressing its own truth and expressing a specific Turing index for itself, and contains some other mild axioms, then that theory is untrue. We exhibit some families of true self-referential theories that barely avoid this forbidden pattern.

After generalizing the Archimedean property of real numbers in such a way as to make it adaptable to non-numeric structures, we demonstrate that the real numbers cannot be used to accurately measure non-Archimedean structures. We argue that, since an agent with Artificial General Intelligence (AGI) should have no problem engaging in tasks that inherently involve non-Archimedean rewards, and since traditional reinforcement learning rewards are real numbers, therefore traditional reinforcement learning probably will not lead to AGI. We indicate two possible ways (...) traditional reinforcement learning could be altered to remove this roadblock. (shrink)

As the demand for explainable deep learning grows in the evaluation of language technologies, the value of a principled grounding for those explanations grows as well. Here we study the state-of-the-art in explanation for neural models for natural-language processing (NLP) tasks from the viewpoint of philosophy of science. We focus on recent evaluation work that finds brittleness in explanations obtained through attention mechanisms.We harness philosophical accounts of explanation to suggest broader conclusions from these studies. From this analysis, we assert the (...) impossibility of causal explanations from attention layers over text data. We then introduce NLP researchers to contemporary philosophy of science theories that allow robust yet non-causal reasoning in explanation, giving computer scientists a vocabulary for future research. (shrink)

It is relatively easy to state that information retrieval is a scientific discipline but it is rather difficult to understand why it is science because what is science is still under debate in the philosophy of science. To be able to convince others that IR is science, our ability to explain why is crucial. To explain why IR is a scientific discipline, we use a theory and a model of scientific study, which were proposed recently. The explanation involves mapping the (...) knowledge structure of IR to that of well-known scientific disciplines like physics. In addition, the explanation involves identifying the common aim, principles and assumptions in IR and in well-known scientific disciplines like physics, so that they constrain the scientific investigation in IR in a similar way as in physics. Therefore, there are strong similarities in terms of the knowledge structure and the constraints of the scientific investigations between IR and scientific disciplines like physics. Based on such similarities, IR is considered a scientific discipline. (shrink)

Legg and Hutter, as well as subsequent authors, considered intelligent agents through the lens of interaction with reward-giving environments, attempting to assign numeric intelligence measures to such agents, with the guiding principle that a more intelligent agent should gain higher rewards from environments in some aggregate sense. In this paper, we consider a related question: rather than measure numeric intelligence of one Legg- Hutter agent, how can we compare the relative intelligence of two Legg-Hutter agents? We propose an elegant answer (...) based on the following insight: we can view Legg-Hutter agents as candidates in an election, whose voters are environments, letting each environment vote (via its rewards) which agent (if either) is more intelligent. This leads to an abstract family of comparators simple enough that we can prove some structural theorems about them. It is an open question whether these structural theorems apply to more practical intelligence measures. (shrink)

In their thought-provoking paper, Legg and Hutter consider a certain abstrac- tion of an intelligent agent, and define a universal intelligence measure, which assigns every such agent a numerical intelligence rating. We will briefly summarize Legg and Hutter’s paper, and then give a tongue-in-cheek argument that if one’s goal is to become more intelligent by cultivating music appreciation, then it is bet- ter to use classical music (such as Bach, Mozart, and Beethoven) than to use more recent pop music. The (...) same argument could be adapted to other media: books beat films, card games beat first-person shooters, parables beat dissertations, etc. We leave it to the reader to decide whether this argument tells us something about classical music, something about Legg-Hutter intelligence, or something about both. (shrink)

Purpose of the article is to identify the religious factor in the teaching of transhumanism, to determine its role in the ideology of this flow of thought and to identify the possible limits of technology interference in human nature. Theoretical basis. The methodological basis of the article is the idea of transhumanism. Originality. In the foreseeable future, robots will be able to pass the Turing test, become “electronic personalities” and gain political rights, although the question of the possibility of machine (...) consciousness and self-awareness remains open. In the face of robots, people create their assistants, evolutionary competition with which they will almost certainly lose with the initial data. For successful competition with robots, people will have to change, ceasing to be people in the classical sense. Changing the nature of man will require the emergence of a new – posthuman – anthropology. Conclusions. Against the background of scientific discoveries, technical breakthroughs and everyday improvements of the last decades, an anthropological revolution has taken shape, which made it possible to set the task of creating inhumanly intelligent creatures, as well as changing human nature, up to discussing options for artificial immortality. The history of man ends and the history of the posthuman begins. We can no longer turn off this path, however, in our power to preserve our human qualities in the posthuman future. The theme of the soul again reminded of itself, but from a different perspective – as the theme of consciousness and self-awareness. It became again relevant in connection with the development of computer and cloud technologies, artificial intelligence technologies, etc. If a machine ever becomes a "man", then can a man become a "machine"? However, even if such a hypothetical probability would turn into reality, we cannot talk about any form of individual immortality or about the continuation of existence in a different physical form. A digital copy of the soul will still remain a copy, and I see no fundamental possibility of isolating a substrate-independent mind from the human body. Immortality itself is necessary not so much for stopping someone’s fears or encouraging someone’s hopes, but for the final solution of a religious issue. However, the gods hold the keys to heaven hard and are unlikely to admit our modified descendants there. (shrink)

In this paper I argue that the search for explainable models and interpretable decisions in AI must be reformulated in terms of the broader project of offering a pragmatic and naturalistic account of understanding in AI. Intuitively, the purpose of providing an explanation of a model or a decision is to make it understandable to its stakeholders. But without a previous grasp of what it means to say that an agent understands a model or a decision, the explanatory strategies will (...) lack a well-defined goal. Aside from providing a clearer objective for XAI, focusing on understanding also allows us to relax the factivity condition on explanation, which is impossible to fulfill in many machine learning models, and to focus instead on the pragmatic conditions that determine the best fit between a model and the methods and devices deployed to understand it. After an examination of the different types of understanding discussed in the philosophical and psychological literature, I conclude that interpretative or approximation models not only provide the best way to achieve the objectual understanding of a machine learning model, but are also a necessary condition to achieve post hoc interpretability. This conclusion is partly based on the shortcomings of the purely functionalist approach to post hoc interpretability that seems to be predominant in most recent literature. (shrink)

As we increasingly delegate decision-making to algorithms, whether directly or indirectly, important questions emerge in circumstances where those decisions have direct consequences for individual rights and personal opportunities, as well as for the collective good. A key problem for policymakers is that the social implications of these new methods can only be grasped if there is an adequate comprehension of their general technical underpinnings. The discussion here focuses primarily on the case of enforcement decisions in the criminal justice system, but (...) draws on similar situations emerging from other algorithms utilised in controlling access to opportunities, to explain how machine learning works and, as a result, how decisions are made by modern intelligent algorithms or 'classifiers'. It examines the key aspects of the performance of classifiers, including how classifiers learn, the fact that they operate on the basis of correlation rather than causation, and that the term 'bias' in machine learning has a different meaning to common usage. An example of a real world 'classifier', the Harm Assessment Risk Tool (HART), is examined, through identification of its technical features: the classification method, the training data and the test data, the features and the labels, validation and performance measures. Four normative benchmarks are then considered by reference to HART: (a) prediction accuracy (b) fairness and equality before the law (c) transparency and accountability (d) informational privacy and freedom of expression, in order to demonstrate how its technical features have important normative dimensions that bear directly on the extent to which the system can be regarded as a viable and legitimate support for, or even alternative to, existing human decision-makers. (shrink)

Lake et al. propose three criteria which, they argue, will bring artificial intelligence (AI) systems closer to human cognitive abilities. In this paper, we explore the application of these criteria to a particular domain of human cognition: our capacity for moral reasoning. In doing so, we explore a set of considerations relevant to the development of AI moral decision-making. Our main focus is on the relation between dual-process accounts of moral reasoning and model-free/model-based forms of machine learning. We also discuss (...) how work in embodied and situated cognition could provide a valu- able perspective on future research. (shrink)

Existe um horizonte à frente. Este horizonte está longe de ser aquele aqui descrito em sua forma, mas talvez o seja em sua essência. O que quero dizer com isso é que existe uma possibilidade de os cérebros positrônicos do título nunca existirem para além das brilhantes mentes que os conceberam na Ficção Científica, mas isto não quer dizer que não existirão sistemas análogos em suas funções, principalmente quanto à racionalidade. A Crítica da Razão Positrônica é um texto que tem (...) uma pretensão de, a partir dos interesses estabelecidos por Immanuel Kant, na Crítica da Razão Pura, tenta determinar o tipo de racionalidade esperada a androides, no caso, que possuam um cérebro positrônico. Repito assim o que escreveu Kant: ”Todo interesse de minha razão (tanto especulativa como prática) concentra-se nas seguintes três interrogações:1.Que posso Saber?2.Que devo fazer?3.Que me é permitido esperar?”1 Portanto, é com uma aproximação por essas perguntas que buscaremos uma racionalidade positrônica, algumas vezes talvez,assumindo a posição lógica por parte dos androides positrônicos. -/- 1KANT, I. Critica da Razão PuraA805/B833 -/- . (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)

This article focuses on a particular issue under machine ethics—that is, the nature of Artificial Moral Agents. Machine ethics is a branch of artificial intelligence that looks into the moral status of artificial agents. Artificial moral agents, on the other hand, are artificial autonomous agents that possess moral value, as well as certain rights and responsibilities. This paper demonstrates that attempts to fully develop a theory that could possibly account for the nature of Artificial Moral Agents may consider certain philosophical (...) ideas, like the standard characterizations of agency, rational agency, moral agency, and artificial agency. At the very least, the said philosophical concepts may be treated as signposts for further research on how to truly account for the nature of Artificial Moral Agents. (shrink)

The main goal of the paper is to present a putative role of consciousness in language capacity. The paper contrasts the two approaches characteristic for cognitive semiotics and cognitive science. Language is treated as a mental phenomenon and a cognitive faculty. The analysis of language activity is based on the Chalmers’ distinction between the two forms of consciousness: phenomenal and psychological. The approach is seen as an alternative to phenomenological analyses typical for cognitive semiotics. Further, a cognitive model of the (...) language faculty is described. The model is implemented in SNePS/GLAIR architecture and based on GATN grammar and semantic networks as a representation formalism. The model - reflecting traditionally distinguished linguistic structures - consists of phonological, syntactic, and semantic modules. I claim that the most important role in the phenomenon of language is played by psychological consciousness. Phenomenal consciousness accompanies various stages of language functioning, but is not indispensable in explanations of the language faculty. (shrink)

Computers can mimic human intelligence, sometimes quite impressively. This has led some to claim that, a.) computers can actually acquire intelligence, and/or, b.) the human mind may be thought of as a very sophisticated computer. In this paper I argue that neither of these inferences are sound. The human mind and computers, I argue, operate on radically different principles.

This third paper locates the synthetic neurorobotics research reviewed in the second paper in terms of themes introduced in the first paper. It begins with biological non-reductionism as understood by Searle. It emphasizes the role of synthetic neurorobotics studies in accessing the dynamic structure essential to consciousness with a focus on system criticality and self, develops a distinction between simulated and formal consciousness based on this emphasis, reviews Tani and colleagues' work in light of this distinction, and ends by forecasting (...) the increasing importance of synthetic neurorobotics studies for cognitive science and philosophy of mind going forward, finally in regards to most- and myth-consciousness. (shrink)

THE CASE FOR GOVERNMENT BY ARTIFICIAL INTELLIGENCE. Tired of election madness? The rhetoric of politicians? Their unreliable promises? And less than good government? -/- Until recently, it hasn’t been hard for people to give up control to computers. Not very many people miss the effort and time required to do calculations by hand, to keep track of their finances, or to complete their tax returns manually. But relinquishing direct human control to self-driving cars is expected to be more of a (...) challenge, despite the predicted decrease in vehicle accidents thanks to artificial intelligence that isn’t subject to human distractions and errors of judgment. -/- If turning vehicle control over to artificial intelligence is a challenge, it is a very mild one compared with the idea that we might one day recognize and want to implement the advantages of human government by AI. But, like autonomous vehicle control, government by AI is likely to offer decided benefits. -/- In other publications, the author has studied a variety of widespread human limitations that, throughout human history, have led to much human suffering as well as ecological destruction. For the first time, these psychological and cognitive human shortcomings are taken into account in an essay that makes the case for government by artificial intelligence. (shrink)

This paper proposes a model for an artificial autonomous moral agent (AAMA), which is parsimonious in its ontology and minimal in its ethical assumptions. Starting from a set of moral data, this AAMA is able to learn and develop a form of moral competency. It resembles an “optimizing predictive mind,” which uses moral data (describing typical behavior of humans) and a set of dispositional traits to learn how to classify different actions (given a given background knowledge) as morally right, wrong, (...) or neutral. When confronted with a new situation, this AAMA is supposedly able to predict a behavior consistent with the training set. This paper argues that a promising computational tool that fits our model is “neuroevolution,” i.e. evolving artificial neural networks. (shrink)

This book investigates the complex, sometimes fraught relationship between phenomenology and the natural sciences. The contributors attempt to subvert and complicate the divide that has historically tended to characterize the relationship between the two fields. Phenomenology has traditionally been understood as methodologically distinct from scientific practice, and thus removed from any claim that philosophy is strictly continuous with science. There is some substance to this thinking, which has dominated consideration of the relationship between phenomenology and science throughout the twentieth century. (...) However, there are also emerging trends within both phenomenology and empirical science that complicate this too stark opposition, and call for more systematic consideration of the inter-relation between the two fields. These essays explore such issues, either by directly examining meta-philosophical and methodological matters, or by looking at particular topics that seem to require the resources of each, including imagination, cognition, temporality, affect, imagery, language, and perception. (shrink)

Die Übernahme des KI-Unternehmens DeepMind durch Google für rund eine halbe Milliarde US-Dollar signalisierte vor einem Jahr, dass von der KI-Forschung vielversprechende Ergebnisse erwartet werden. Spätestens seit bekannte Wissenschaftler wie Stephen Hawking und Unternehmer wie Elon Musk oder Bill Gates davor warnen, dass künstliche Intelligenz eine Bedrohung für die Menschheit darstellt, schlägt das KI-Thema hohe Wellen. Die Stiftung für Effektiven Altruismus (EAS, vormals GBS Schweiz) hat mit der Unterstützung von Experten/innen aus Informatik und KI ein umfassendes Diskussionspapier zu den Chancen (...) und Risiken der künstlichen Intelligenz verfasst und geht darin auf aktuelle, mittel- und langfristige Herausforderungen im Bereich der KI-Entwicklung ein. (shrink)

For more than fifty years, taxonomists have proposed numerous alternative definitions of species while they searched for a unique, comprehensive, and persuasive definition. This monograph shows that these efforts have been unnecessary, and indeed have provably been a pursuit of a will o’ the wisp because they have failed to recognize the theoretical impossibility of what they seek to accomplish. A clear and rigorous understanding of the logic underlying species definition leads both to a recognition of the inescapable ambiguity that (...) affects the definition of species, and to a framework-relative approach to species definition that is logically compelling, i.e., cannot not be accepted without inconsistency. An appendix reflects upon the conclusions reached, applying them in an intellectually whimsical taxonomic thought experiment that conjectures the possibility of an emerging new human species. (shrink)

What is the class of possible semiotic systems? What kinds of systems could count as such systems? The human mind is naturally considered the prototypical semiotic system. During years of research in semiotics the class has been broadened to include i.e. living systems like animals, or even plants. It is suggested in the literature on artificial intelligence that artificial agents are typical examples of symbol-processing entities. It also seems that semiotic processes are in fact cognitive processes. In consequence, it is (...) natural to ask the question about the relation between semiotic studies and research on artificial cognitive systems within cognitive science. Consequently, my main question concerns the problem of inclusion or exclusion from the semiotic spectrum at least some artificial systems. I would like to consider some arguments against the possibility of artificial semiotic systems and I will try to repeal them. Then I will present an existing natural-language using agent of the SNePS system and interpret it in terms of Peircean theory of signs. I would like also to show that some properties of semiotic systems in Peircean sense could be also found in a discussed artificial system. Finally, I will have some remarks on the status of semiotics in general. (shrink)

A counter analysis of David Chalmers' claims about the possibility of mind uploading within the context of the Singularity event.

I diagnose the current debate between epistemological and ontological emergentism as a Kantian antinomy, which has reasonable but irreconcilable thesis and antithesis. Kantian antinomies have recently returned to contemporary philosophy in part through the work of Luciano Floridi, and the method of levels of abstraction. I use a thought experiment concerning a computer simulation to show how to resolve the epistemological/ontological antinomy about emergence. I also use emergentism and simulations in artificial life to illuminate both levels of abstraction and theoretical (...) challenge for building intelligent agents. (shrink)

Reinhardt’s conjecture, a formalization of the statement that a truthful knowing machine can know its own truthfulness and mechanicalness, was proved by Carlson using sophisticated structural results about the ordinals and transfinite induction just beyond the first epsilon number. We prove a weaker version of the conjecture, by elementary methods and transfinite induction up to a smaller ordinal.

In this paper, we study the performance of baseline hidden Markov model (HMM) for segmentation of speech signals. It is applied on single-speaker segmentation task, using Hindi speech database. The automatic phoneme segmentation framework evolved imitates the human phoneme segmentation process. A set of 44 Hindi phonemes were chosen for the segmentation experiment, wherein we used continuous density hidden Markov model (CDHMM) with a mixture of Gaussian distribution. The left-to-right topology with no skip states has been selected as it is (...) effective in speech recognition due to its consistency with the natural way of articulating the spoken words. This system accepts speech utterances along with their orthographic “transcriptions” and generates segmentation information of the speech. This corpus was used to develop context-independent hidden Markov models (HMMs) for each of the Hindi phonemes. The system was trained using numerous sentences that are relevant to provide information to the passengers of the Metro Rail. The system was validated against a few manually segmented speech utterances. The evaluation of the experiments shows that the best performance is obtained by using a combination of two Gaussians mixtures and five HMM states. A category-wise phoneme error analysis has been performed, and the performance of the phonetic segmentation has been reported. The modeling of HMMs has been implemented using Microsoft Visual Studio 2005 (C++), and the system is designed to work on Windows operating system. The goal of this study is automatic segmentation of speech at phonetic level. (shrink)

One feature of vague predicates is that, as far as appearances go, they lack sharp application boundaries. I argue that we would not be able to locate boundaries even if vague predicates had sharp boundaries. I do so by developing an idealized cognitive model of a categorization faculty which has mobile and dynamic sortals (`classes', `concepts' or `categories') and formally prove that the degree of precision with which boundaries of such sortals can be located is inversely constrained by their flexibility. (...) Given the literature, it is plausible that we are appropriately like the model. Hence, an inability to locate sharp boundaries is not necessarily because there are none; boundaries could be sharp and it is plausible that we would nevertheless be unable to locate them. (shrink)

Engaging the public in decision-making processes is commonly accepted as an effective strategy for a better policy making, a better policy support and for narrowing the gap between government and the public. In today’s digitised society, participation via online media is becoming more important. But is this so-called e-participation being used optimally? Or is a better design possible? In my opinion, the answer to these questions is a ‘yes’. Despite numerous efforts in engaging the public with policy deliberation, the actual (...) amount of participants remains low. In this article, I have used the YUTPA model (Nevejan 2009 ) to analyse some existing e-participation projects. Additionally, I derived ten characteristics of ‘play’ to make proposals for a more designerly e-participation approach. (shrink)

Illness and trauma challenge self-narratives. Traumatized individuals, unable to speak about their experiences, suffer in isolation. In this paper, I explore Kristeva’s theories of the speaking subject and signification, with its symbolic and semiotic modalities, to understand how a person comes to speak the unspeakable. In discussing the origin of the speaking subject, Kristeva employs Plato’s chora (related to choreo , “to make room for”). The chora reflects the mother’s preparation of the child’s entry into language and forms an interior (...) darkroom, the reservoir of lived experience, from which self-narratives issue. Unable to speak of their suffering, traumatized individuals need someone to help them make room for a time of remembrance, someone who is a willing and capable listener. I call such a person a healing witness . Through the mediating presence of the healing witness, fragmented memories of trauma are recreated and incorporated into self-narratives that are sharable with others. Unfortunately, opportunities for witnessing are vanishing. In the last section, I examine the failure of modern media and communication technologies to bear (“hold,” “carry,” “transport”) acts of witnessing. I argue that they perturb the semiotic. According to Kristeva, meaning arises from the dialectical tension between the semiotic (drives and affects) and the symbolic (logic and rules) and is threatened by arid discourse, psychosomatic illnesses, and outbreaks of violence when the semiotic is not represented . Unless we open technology to the imaginary, we risk losing the capacity to bear witness to one another and to create narratives and connections that are meaningful. (shrink)

Cybernetic Revelation explores the dual philosophical histories of deconstruction and artificial intelligence, tracing the development of concepts like "logos" and the notion of modeling the mind technologically from pre-history to contemporary thinkers such as Slavoj Zizek and Steven Pinker. The writing is clear and accessible throughout, yet the text probes deeply into major philosophers seen by JD Casten as "conceptual engineers." -/- Philosophers covered include: Anaximander, Heraclitus, Parmenides, Plato, Aristotle, Philo, Augustine, Shakespeare, Descartes, Spinoza, Leibniz, Locke, Berkeley, Hume, Kant, Hegel, (...) Nietzsche, Freud, Jung, Joyce, Dewey, Wittgenstein, Heidegger, Adorno, Benjamin, Derrida, Chomsky, Zizek, Pinker, Dennett, Hofstadter, Stiegler + more; with special chapters on: AI's history, Complexity, Deconstructing AI, Aesthetics, Consciousness + more... (shrink)

We argued [Since this argument appeared in other journals, I am reprising it here, almost verbatim.] (Fulda in J Law Info Sci 2:230–232, 1991/AI & Soc 8(4):357–359, 1994) that the paradox of the preface suggests a reason why machines cannot, will not, and should not be allowed to judge criminal cases. The argument merely shows that they cannot now and will not soon or easily be so allowed. The author, in fact, now believes that when—and only when—they are ready they (...) actually should be so allowed, in the interests of justice. Both the original argument applied and this detailed reconsideration applies exclusively to trial courts, and both specifically exclude(d) sentencing. The argument highlights some key relevant differences between minds and machines and attempts, also, to explain why automation is of far greater import for the first-level justice system (trial courts) than for higher courts. A final section discusses why sentencing was, is, and should be excluded. (shrink)

Embodied cognitive science has argued that cognition is embodied principally in virtue of grossmorphological and sensorimotor features. This thesis argues that cognition is also internally embodied in affective and fine-grained physiological features whose transformative roles remain mostlyunnoticed in contemporary cognitive science. I call this ‘proper embodiment’. I approach this larger subject by examining various emotion theories in philosophy and psychology. These tend to emphasiseone of the many gross components of emotional processes, such as ‘feeling’ or ‘judgement’ to thedetriment of the (...) others, often leading to an artificial emotion-cognition distinction even within emotionscience itself. Attempts to reconcile this by putting the gross components back together, such as JessePrinz’s “embodied appraisal theory”, are, I argue, destined to failure because the vernacular concept of emotion which is used as the explanandum is not a natural kind and is not amenable to scientificexplication.I examine Antonio Damasio’s proposal that emotion is involved in paradigmatic ‘cognitive’ processingsuch as rational decision making, and argue (1) that the research he discusses does not warrant the particular hypothesis he favours, and (2) that Damasio’s account, though in many ways a step in theright direction, nonetheless continues to endorse a framework which sees affect and cognition asseparate (though now highly interacting) faculties. I further argue that the conflation of ‘affect’ and‘emotion’ may be the source of some confusion in emotion theory and that affect needs to be properlydistinguished from ‘emotion’. I examine some dissociations in the pain literature which give us further empirical evidence that, as with the emotions, affect is a distinct component along with more cognitive elements of pain. I then argue that affect is distinctive in being grounded in homeostatic regulativeactivity in the body proper.With the distinction between affect, emotion, and cognition in hand, and the associated grounding of affect in bodily activity, I then survey evidence that bodily affect is also involved in perception and in paradigmatic cognitive processes such as attention and executive function. I argue that this relation isnot ‘merely’ casual. Instead, affect (grounded in fine-grained details of internal bodily activity) is partially constitutive of cognition, participating in cognitive processing and contributing to perceptualand cognitive phenomenology. Finally I review some work in evolutionary robotics which reaches asimilar conclusion, suggesting that the particular fine details of embodiment, such as molecular signalling between both neural and somatic cells matters to cognition. I conclude that cognition is‘properly embodied’ in that it is partially constituted by the many fine-grained bodily processesinvolved in affect (as demonstrated in the thesis) and plausibly by a wide variety of other fine-grained bodily processes that likewise tend to escape the net of contemporary cognitive science. (shrink)

To let humanoid robots behave socially adequate in a future society, we started to explore laughter as an important para-verbal signal known to influence relationships among humans rather easily. We investigated how the naturalness of various types of laughter in combination with different humanoid robots was judged, first, within a situational context that is suitable for laughter and, second, without describing the situational context. Given the variety of human laughter, do people prefer a certain style for a robot’s laughter? And (...) if yes, how does a robot’s outer appearance affect this preference, if at all? Is this preference independent of the observer’s cultural background? Those participants, who took part in two separate online surveys and were told that the robots would laugh in response to a joke, preferred one type of laughter regardless of the robot type. This result is contrasted by a detailed analysis of two more surveys, which took place during presentations at a Japanese and a German high school, respectively. From the results of these two surveys, interesting intercultural differences in the perceived naturalness of our laughing humanoids can be derived and challenging questions arise that are to be addressed in future research. (shrink)

Argumentation theory underwent a significant development in the Fifties and Sixties: its revival is usually connected to Perelman's criticism of formal logic and the development of informal logic. Interestingly enough it was during this period that Artificial Intelligence was developed, which defended the following thesis (from now on referred to as the AI-thesis): human reasoning can be emulated by machines. The paper suggests a reconstruction of the opposition between formal and informal logic as a move against a premise of an (...) argument for the AI-thesis, and suggests making a distinction between a broad and a narrow notion of algorithm that might be used to reformulate the question as a foundational problem for argumentation theory. (shrink)

This paper discusses a way to create social innovation around 2040. With such innovation, social restrictions that are regarded as being inevitable in the current society can be eliminated. First, it is necessary to determine how to approach the innovation. Symbiotic technology is one of the promising technologies for achieving social innovation. It is the fusion of scientific technology and socio-technology. Its elemental technologies are classified into two categories: technologies for converging the real and cyber worlds and those for integrating (...) hetero-systems. This paper describes examples of those technical categories and introduces the challenges of the first step toward social innovation. (shrink)