Computation and Representation, Misc

The Algorithm described in this short paper is a simplified formal representation of consciousness that may be applied in the fields of Psychology and Artificial Intelligence. -/- Click on the download link to read full essay...

Information and Meaning are present everywhere around us and within ourselves. Specific studies have been implemented in order to link information and meaning: - Semiotics - Phenomenology - Analytic Philosophy - Psychology No general coverage is available for the notion of meaning. We propose to complement this lack by a systemic approach to meaning generation.

Information and meaning are present everywhere around us and within ourselves. Specific studies have been implemented to link information and meaning (Linguistic, Biosemiotic, Psychology, Psychiatry, Cognition, Artificial Intelligence... ). No general coverage is available for the notion of meaning. We propose to complement this lack by a system approach to meaning generation in an evolutionary background. That short paper is a summary of the system approach where a Meaning Generator System (MGS) based on internal constraint satisfaction has been introduced. The (...) MGS can be used for animals (with “stay alive” related constraints), for humans (with “look for happiness” type constraints) and for artificial agents with programmed constraints. Definitions for agency and autonomy are made available based on internal constraint satisfaction. Usage of the MGS with the Turing Test shows why today computers cannot think like humans do. The MGS also allows to introduces evolutionary scenarios for cognition, intentionality and self-consciousness, with an entry point to a human specific anxiety. Continuations are proposed. (shrink)

Can an AGI create a more intelligent AGI? Under idealized assumptions, for a certain theoretical type of intelligence, our answer is: “Not without outside help”. This is a paper on the mathematical structure of AGI populations when parent AGIs create child AGIs. We argue that such populations satisfy a certain biological law. Motivated by observations of sexual reproduction in seemingly-asexual species, the Knight-Darwin Law states that it is impossible for one organism to asexually produce another, which asexually produces another, and (...) so on forever: that any sequence of organisms (each one a child of the previous) must contain occasional multi-parent organisms, or must terminate. By proving that a certain measure (arguably an intelligence measure) decreases when an idealized parent AGI single-handedly creates a child AGI, we argue that a similar Law holds for AGIs. (shrink)

Le déficit d’explicabilité des techniques d’apprentissage machine (AM) pose des problèmes opérationnels, juridiques et éthiques. Un des principaux objectifs de notre projet est de fournir des explications éthiques des sorties générées par une application fondée sur de l’AM, considérée comme une boîte noire. La première étape de ce projet, présentée dans cet article, consiste à montrer que la validation de ces boîtes noires diffère épistémologiquement de celle mise en place dans le cadre d’une modélisation mathéma- tique et causale d’un phénomène (...) physique. La différence majeure est qu’une méthode d’AM ne prétend pas représenter une causalité entre les paramètres d’entrées et ceux de sortie. Après avoir proposé une clarification et une adaptation des notions d’inter- prétabilité et d’explicabilité telles qu’on les rencontre dans la littérature déjà abondante sur le sujet, nous montrons dans cet article l’intérêt de mettre en œuvre les distinctions épistémologiques entre les différentes fonctions épistémiques d’un modèle, d’une part, et entre la fonction épistémique et l’usage d’un modèle, d’autre part. Enfin, la dernière partie de cet article présente nos travaux en cours sur l’évaluation d’une explication, qui peut être plus persuasive qu’informative, ce qui peut ainsi causer des problèmes d’ordre éthique. (shrink)

Hahmottelen tässä artikkelissa tekoälyn historiaa varhaismodernin filosofian aikakaudella 1600–1700-luvuilla. Esittelemäni aiheet ovat hieman erillisiä toisistaan, mutta yhteistä niille on ajatus komputaatiosta tai automaatiosta, eräänlaisesta mekaanisesta laskemisesta tai toiminnasta, jota voi pitää tekoälyn varhaisena lähtökohtana. -/- On kuitenkin huomattava, että pelkkä komputaatio eli informaation käsittely sinänsä ei riitä tekoälylle – kaikkia näitä pyrkimyksiä leimaa tietynlainen epistemologinen optimismi: automatisoidun ajattelun avulla uskotaan saatavan enemmän laadukasta tietoa ja kenties myös uudenlaisia ajatuksia, kun ajatteluprosessi tulee sujuvammaksi. Tekoälyn varhaishistoria liittyy siis nimenomaan inhimillisen ajattelun mekanisoimiseen (...) ja uskoon siitä, että sen avulla voidaan lieventää ihmismielen rajoituksia ja ajatella paremmin. Yhteistä sekä tekoälyn että tietokoneen historialle on kuitenkin laskennan kehitys. (shrink)

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)

This article is a knowledge technology case study of DNAOS, a distributed platform for Knowledge Resource Entitlement, Modeling, Management, and Sharing (KREMMS). Some historical aspects of its design, development, and release are briefly discussed, after which the DNAOS technology is commented upon from the specific viewpoint of KREMMS. At the core of this platform is the conception of knowledge as a natural phenomenon, which conception is reflected in the ontology of this technology: Fundamental knowledge structures and structuring principles, believed to (...) be “natural,” including qualification, resources, and relationships, are considered theoretically and modeled computationally. Finally, with the help of images, the reader is briefly introduced to some DNAOS capabilities, touching on transaction, application, data, model, and interface. (shrink)

Vor einigen, Jahren habe ich den Punkt erreicht, an dem ich normalerweise aus dem Titel eines Buches oder zumindest aus den Kapiteltiteln erzähle, welche philosophischen Fehler gemacht werden und wie häufig. Bei nominell wissenschaftlichen Arbeiten können diese weitgehend auf bestimmte Kapitel beschränkt sein, die philosophisch werden oder versuchen, allgemeine Schlussfolgerungen über die Bedeutung oder langfristige-Bedeutung des Werkes zuziehen. Normalerweise sind die wissenschaftlichen Fakten jedoch großzügig mit philosophischem Kauderwelsch darüber, was diese Tatsachen bedeuten, verwogen. Die klaren Unterscheidungen, die Wittgenstein vor etwa (...) 80 Jahren zwischen wissenschaftlichen Fragen und deren Beschreibungen durch verschiedene Sprachspiele beschrieb, werden selten berücksichtigt, so dass man abwechselnd von der Wissenschaft begeistert und von ihrer inkohärenten Analyse bestürzt ist. So ist es mit diesem Band. Wenn man einen Geist mehr oder weniger wie unseren erschaffen soll, braucht man eine logische Struktur für Rationalität und ein Verständnis der beiden Denksysteme (Dual-Prozess-Theorie). Wenn man darüber philosophieren will, muss man die Unterscheidung zwischen wissenschaftlichen Faktenfragen und der philosophischen Frage verstehen, wie Sprache im streitigen Kontext funktioniert und wie man die Fallstricke von Reduktionismus und Scientismus vermeiden kann, aber Kurzweil ist, wie die meisten Verhaltensstudenten, weitgehend ahnungslos. Er ist verzaubert von Modellen, Theorien und Konzepten und dem Erklärungsdrang, während Wittgenstein uns gezeigt hat, dass wir nur beschreiben müssen, und dass Theorien, Konzepte usw. nur Wege der Verwendung von Sprache (Sprachspiele) sind, die nur einen Wert haben, da sie einen klaren Test haben (klare Wahrheitsmacher, oder wie John Searle (der berühmteste Kritiker der AI) gerne sagt, klare Bedingungen der Zufriedenheit (COS). Ich habe versucht, in meinen jüngsten Schriften damit einen Anfang zu machen. Wer aus der modernen zweisystems-Sichteinen umfassenden, aktuellen Rahmen für menschliches Verhalten wünscht, kann mein Buch "The Logical Structure of Philosophy, Psychology, Mindand Language in Ludwig Wittgenstein and John Searle' 2nd ed (2019) konsultieren. Diejenigen,die sich für mehr meiner Schriften interessieren, können 'Talking Monkeys--Philosophie, Psychologie, Wissenschaft, Religion und Politik auf einem verdammten Planeten --Artikel und Rezensionen 2006-2019 3rd ed (2019) und Suicidal Utopian Delusions in the 21st Century 4th ed (2019) und andere sehen. (shrink)

몇 년전, 저는 보통 책의 제목이나 적어도 장 제목에서 어떤 종류의 철학적 실수를 저지르고 얼마나 자주 알 수 있는지 를 알 수 있는 지점에 도달했습니다. 명목상 과학적 작품의 경우, 이들은 크게 철학적 왁스 또는 의미 또는 긴에 대한 일반적인 결론을 그리려는 특정 장으로 제한 될 수있다-작업의기간 의의. 그러나 일반적으로 사실의 과학적 문제는 이러한 사실이 무엇을 의미하는지에 관해서는 철학적 횡설수설과 관대하게 얽혀있다. Wittgenstein이 약 80 년 전에 과학 문제와 다양한 언어 게임에 의한 설명 사이에 설명 한 명확한 차이점은 거의 고려되지 않으므로 (...) 과학에 의해 번갈아 열광하고 일관되지 않은 분석에 의해 실망합니다. 그래서이 볼륨입니다. 우리처럼 마음을 만들려면 합리성을 위한 논리적 구조와 두 가지 사상 체계(이중 프로세스 이론)에 대한 이해가 필요합니다. 이것에 대해 철학적으로 생각한다면, 사실의 과학적 문제와 언어가 문제의 맥락에서 어떻게 작동하는지에 대한 철학적 문제, 그리고 환원주의와 사이언티즘의 함정을 피하는 방법의 차이를 이해해야하지만, 커즈와일은 대부분의 행동 학생들처럼 대체로 단서가 없다. 그는 모델, 이론, 개념, 그리고 설명 하는 충 동에 의해 매료, Wittgenstein 우리가 설명 하는 데 필요한 것을 보여 주었다 하는 동안, 그리고 이론, 개념 등, 그들은 명확한 테스트 (명확한 진실 제작자, 또는 존 Searle (AI의 가장 유명한 비평가)를 좋아하는, 명확한 조건(명확한 진실 제작자)를 가지고 있는 한, 가치있는 언어 (언어 게임)를 사용하는 단지 방법입니다. 나는 나의 최근 글에서 이것에 대한 시작을 제공하기 위해 시도했다. 현대 의 두 시스템 보기에서인간의 행동에 대한 포괄적 인 최신 프레임 워크를 원하는 사람들은 내 책을 참조 할 수 있습니다'철학의 논리적 구조, 심리학, 민d와 루드비히 비트겐슈타인과 존 Searle의언어' 2nd ed (2019). 내 글의 더 많은 관심있는 사람들은 '이야기 원숭이를 볼 수 있습니다-철학, 심리학, 과학, 종교와 운명 행성에 정치 - 기사 및 리뷰 2006-2019 3 rd 에드 (2019) 및 21st 세기 4번째 에드 (2019) 및 기타에서 자살 유토피아 망상. 또한, AI/로봇 공학의 '사실' 계정에서 평소와 같이 그는 우리의 개인 정보 보호, 안전, 심지어 다른 저자 (Bostrum, 호킹등)에서 눈에 띄는 사회의 증가 '안드로이드화'에서 심지어 생존에 매우 실제 위협에 시간을 제공하지 않습니다, 그래서 나는 '좋은'안드로이드, 휴머노이드, 인공 지능 (AI), 인공 지능의 매우 자살 유토피아 망상에 대한 몇 가지 의견을 합니다. 저는 전자, 로봇 공학 및 AI의 기술적 발전이 사회에 중대한 변화를 초래할 것이라는 점을 당연하게 생각합니다. 그러나, 나는 유전 공학에서 오는 변경은 우리가 우리가 누구인지 완전히 바꿀 수 있게 해 줄 것이기 때문에 적어도 크고 잠재적으로 훨씬 더 크다고 생각합니다. 그리고 우리의 유전자 또는 다른 원숭이의 유전자를 수정하여 슈퍼 스마트 / 슈퍼 강한 종을 만드는 것이 가능할 것입니다. 다른 기술과 마찬가지로, 저항하는 모든 국가는 뒤에 남아있을 것입니다. 그러나 대규모로 바이오봇이나 초인간을 구현하는 것이 사회적, 경제적으로 실현 가능할까요? 그리고 그렇다 하더라도 인구 과잉, 자원 고갈, 기후 변화, 그리고 아마도 중국을 통치하는 일곱 사회경로의 독재적 통치에 의한 산업 문명의 파괴를 막기 위해 경제적, 사회적으로, 는 가능성이없어 보인다. 그래서, 이 볼륨의 철학적 실수를 무시하고, 과학에만 우리의 관심을 지시, 우리가 여기에 있는 것은 기본 생물학, 심리학 및 인간의 생태학, 미국과 세계를 파괴하는 동일한 망상을 파악하는 실패에 뿌리를 둔 또 다른 자살 유토피아 망상입니다. 나는 세계가 구원 될 수있는 원격 가능성을 볼 수 있지만, AI / 로봇 공학, CRISPR, 또는 신마르크스주의, 다양성과 평등에 의해. (shrink)

Alcuni anni fa, ho raggiunto il punto in cui di solito posso dire dal titolo di un libro, o almeno dai titoli dei capitoli, quali tipi di errori filosofici saranno fatti e con quale frequenza. Nel caso di opere nominalmente scientifiche queste possono essere in gran parte limitate a determinati capitoli che sono filosofici o cercanodi trarre conclusioni generali sul significato o sul significato a lungoterminedell'opera. Normalmente però le questioni scientifiche di fatto sono generosamente intrecciate con incomprodellami filosofici su ciò (...) che questi fatti significano. Le chiare distinzioni che Wittgenstein ha descritto circa 80 anni fa tra le questioni scientifiche e le loro descrizioni da parte di vari giochi linguistici sono raramente prese in considerazione, e quindi si è alternativamente stupiti dalla scienza e costerghi per la sua analisi incoerente. Così è con questo volume. Se si vuole creare una mente più o meno come la nostra, è necessario avere una struttura logica per la razionalità e la comprensione dei due sistemi di pensiero (teoria del doppio processo). Se si vuole filosofare su questo, bisogna capire la distinzione tra le questioni scientifiche di fatto e la questione filosofica di come funziona il linguaggio nel contesto in questione, e di come evitare le insidie del riduzionismo e dello scientismo, ma Kurzweil, come la maggior parte degli studenti di comportamento, è in gran parte all'oscuro. Egli è incantato da modelli, teorie e concetti, e dalla voglia di spiegare, mentre Wittgenstein ci ha mostrato che dobbiamo solo descrivere, e che le teorie, i concetti, ecc., sono solo modi di usare il linguaggio (giochi linguistici) che hanno valore solo nella misura in cui hanno un test chiaro (clear truthmakers, o come John Searle (il critico più famoso di AI) ama dire, chiare condizioni di soddisfazione (COS)). Ho cercato di dare un inizio su questo nei miei scritti recenti. Coloro che desiderano un quadro aggiornato completo per il comportamento umano dalla moderna vista a due systems possono consultare il mio libro 'La struttura logica della filosofia, psicologia, mente e il linguaggio in Ludwig Wittgenstein e John Searle' 2nd ed (2019). Coloro che sono interessati a più dei miei scritti possono vedere 'Talking Monkeys--Filosofia, Psicologia, Scienza, Religione e Politica su un Pianeta Condannato--Articoli e Recensioni 2006-2019 3rd ed (2019) e Suicidal Utopian Delusions in the 21st Century 5th ed (2019) . (shrink)

In this volume, a range of high-profile researchers in philosophy of mind, philosophy of cognitive science, and empirical cognitive science, critically engage with Clark's work across the themes of: Extended, Embodied, Embedded, Enactive, and Affective Minds; Natural Born Cyborgs; and Perception, Action, and Prediction. Daniel Dennett provides a foreword on the significance of Clark's work, and Clark replies to each section of the book, thus advancing current literature with original contributions that will form the basis for new discussions, debates and (...) directions in the discipline. (shrink)

Alguns anos atrás, cheguei ao ponto onde eu normalmente pode dizer a partir do título de um livro, ou pelo menos a partir dos títulos do capítulo, que tipos de erros filosóficos serão feitas e com que freqüência. No caso de obras nominalmente científicas, estas podem ser largamente restritas a certos capítulos que enceram filosóficos ou tentam tirar conclusões gerais sobre o significado ou significado a longo prazo do trabalho. Normalmente entretanto as matérias científicas do fato são misturado generosa com (...) o jargão filosófico a respeito do que estes fatos significam. As distinções claras que Wittgenstein descreveu cerca de 80 anos atrás entre questões científicas e suas descrições por vários jogos de linguagem são raramente levados em consideração, e assim um é alternadamente impressionados pela ciência e desanimado por sua incoerente Análise. Assim é com este volume. -/- Se alguém é para criar uma mente mais ou menos como a nossa, é preciso ter uma estrutura lógica para a racionalidade e uma compreensão dos dois sistemas de pensamento (teoria do processo dual). Se uma delas é filosofar sobre isso, é preciso entender a distinção entre questões científicas de fato e a questão filosófica de como a linguagem funciona no contexto em questão, e de como evitar as armadilhas do reducionismo e do cientismo, mas Kurzweil, como mais estudantes de comportamento, é em grande parte c sem noção. Ele está encantado com modelos, teorias e conceitos, e o impulso de explicar, enquanto Wittgenstein nos mostrou que só precisamos descrever, e que as teorias, conceitos etc, são apenas maneiras de usar a linguagem (jogos de linguagem) que têm valor apenas na medida em que eles têm uma clara teste (claro que os verdadeiros, ou como John Searle (crítico mais famoso da AI) gosta de dizer, claro condições de satisfação (COS)). Eu tentei fornecer um começo nisto em meus escritos recentes. -/- Aqueles que desejam um quadro até à data detalhado para o comportamento humano da opinião moderna dos dois sistemas consultar meu livros Falando Macacos 3ª Ed (2019), A Estrutura Lógica da Filosofia, Psicologia, Mente e Linguagem em Ludwig Wittgenstein e John Searle 2a Ed (2019), Suicídio Pela Democracia,4aEd(2019), Entendendo as Conexões entre Ciência, Filosofia, Psicologia, Religião, Política e Economia Artigos e Análises 2006-2019 (2019), Ilusões Utópicas Suicidas no 21St século 5a Ed (2019), A Estrutura Lógica do Comportamento Humano (2019), e A Estrutura Lógica da Consciência (2019) y outros. (shrink)

The neural vehicles of mental representation play an explanatory role in cognitive psychology that their realizers do not. In this paper, I argue that the individuation of realizers as vehicles of representation restricts the sorts of explanations in which they can participate. I illustrate this with reference to Rupert’s (2011) claim that representational vehicles can play an explanatory role in psychology in virtue of their quantity or proportion. I propose that such quantity-based explanatory claims can apply only to realizers and (...) not to vehicles, in virtue of the particular causal role that vehicles play in psychological explanations. (shrink)

The paper introduces an extension of the proposal according to which conceptual representations in cognitive agents should be intended as heterogeneous proxytypes. The main contribution of this paper is in that it details how to reconcile, under a heterogeneous representational perspective, different theories of typicality about conceptual representation and reasoning. In particular, it provides a novel theoretical hypothesis - as well as a novel categorization algorithm called DELTA - showing how to integrate the representational and reasoning assumptions of the theory-theory (...) of concepts with the those ascribed to the prototype and exemplars-based theories. (shrink)

In this paper we identify and characterize an analysis of two problematic aspects affecting the representational level of cognitive architectures (CAs), namely: the limited size and the homogeneous typology of the encoded and processed knowledge. We argue that such aspects may constitute not only a technological problem that, in our opinion, should be addressed in order to build arti cial agents able to exhibit intelligent behaviours in general scenarios, but also an epistemological one, since they limit the plausibility of the (...) comparison of the CAs' knowledge representation and processing mechanisms with those executed by humans in their everyday activities. In the fi nal part of the paper further directions of research will be explored, trying to address current limitations and future challenges. (shrink)

This paper presents a theoretical study of the binary oppositions underlying the mechanisms of natural computation understood as dynamical processes on natural information morphologies. Of special interest are the oppositions of discrete vs. continuous, structure vs. process, and differentiation vs. integration. The framework used is that of computing nature, where all natural processes at different levels of organisation are computations over informational structures. The interactions at different levels of granularity/organisation in nature, and the character of the phenomena that unfold through (...) those interactions, are modeled from the perspective of an observing agent. This brings us to the movement from binary oppositions to dynamic networks built upon mutually related binary oppositions, where each node has several properties. (shrink)

In this article we present an advanced version of Dual-PECCS, a cognitively-inspired knowledge representation and reasoning system aimed at extending the capabilities of artificial systems in conceptual categorization tasks. It combines different sorts of common-sense categorization (prototypical and exemplars-based categorization) with standard monotonic categorization procedures. These different types of inferential procedures are reconciled according to the tenets coming from the dual process theory of reasoning. On the other hand, from a representational perspective, the system relies on the hypothesis of conceptual (...) structures represented as heterogeneous proxytypes. Dual-PECCS has been experimentally assessed in a task of conceptual categorization where a target concept illustrated by a simple common-sense linguistic description had to be identified by resorting to a mix of categorization strategies, and its output has been compared to human responses. The obtained results suggest that our approach can be beneficial to improve the representational and reasoning conceptual capabilities of standard cognitive artificial systems, and –in addition– that it may be plausibly applied to different general computational models of cognition. The current version of the system, in fact, extends our previous work, in that Dual-PECCS is now integrated and tested into two cognitive architectures, ACT-R and CLARION, implementing different assumptions on the underlying invariant structures governing human cognition. Such integration allowed us to extend our previous evaluation. (shrink)

In this paper, the role of the environment and physical embodiment of computational systems for explanatory purposes will be analyzed. In particular, the focus will be on cognitive computational systems, understood in terms of mechanisms that manipulate semantic information. It will be argued that the role of the environment has long been appreciated, in particular in the work of Herbert A. Simon, which has inspired the mechanistic view on explanation. From Simon’s perspective, the embodied view on cognition seems natural but (...) it is nowhere near as critical as its proponents suggest. The only point of difference between Simon and embodied cognition is the significance of body-based off-line cognition; however, it will be argued that it is notoriously over-appreciated in the current debate. The new mechanistic view on explanation suggests that even if it is critical to situate a mechanism in its environment and study its physical composition, or realization, it is also stressed that not all detail counts, and that some bodily features of cognitive systems should be left out from explanations. (shrink)

In this paper, I show how semantic factors constrain the understanding of the computational phenomena to be explained so that they help build better mechanistic models. In particular, understanding what cognitive systems may refer to is important in building better models of cognitive processes. For that purpose, a recent study of some phenomena in rats that are capable of ‘entertaining’ future paths (Pfeiffer and Foster 2013) is analyzed. The case shows that the mechanistic account of physical computation may be complemented (...) with semantic considerations, and in many cases, it actually should. (shrink)

As it emerged from philosophical analyses and cognitive research, most concepts exhibit typicality effects, and resist to the efforts of defining them in terms of necessary and sufficient conditions. This holds also in the case of many medical concepts. This is a problem for the design of computer science ontologies, since knowledge representation formalisms commonly adopted in this field (such as, in the first place, the Web Ontology Language - OWL) do not allow for the representation of concepts in terms (...) of typical traits. The need of representing concepts in terms of typical traits concerns almost every domain of real world knowledge, including medical domains. In particular, in this article we take into account the domain of mental disorders, starting from the DSM-5 descriptions of some specific disorders. We favour a hybrid approach to concept representation, in which ontology oriented formalisms are combined to a geometric representation of knowledge based on conceptual space. As a preliminary step to apply our proposal to mental disorder concepts, we started to develop an OWL ontology of the schizophrenia spectrum, which is as close as possible to the DSM-5 descriptions. (shrink)

Subjective probability plays an increasingly important role in many fields concerned with human cognition and behavior. Yet there have been significant criticisms of the idea that probabilities could actually be represented in the mind. This paper presents and elaborates a view of subjective probability as a kind of sampling propensity associated with internally represented generative models. The resulting view answers to some of the most well known criticisms of subjective probability, and is also supported by empirical work in neuroscience and (...) behavioral psychology. The repercussions of the view for how we conceive of many ordinary instances of subjective probability, and how it relates to more traditional conceptions of subjective probability, are discussed in some detail. (shrink)

This chapter argues that Simon anticipated what has emerged as the consensus view about human cognition: embodied functionalism. According to embodied functionalism, cognitive processes appear at a distinctively cognitive level; types of cognitive processes (such as proving a theorem) are not identical to kinds of neural processes, because the former can take various physical forms in various individual thinkers. Nevertheless, the distinctive characteristics of such processes — their causal structures — are determined by fine-grained properties shared by various, often especially (...) bodily related, physical processes that realize them. Simon’s apparently anti-embodiment views are surveyed and are shown to be consistent with his many claims that lend themselves to an embodied interpretation and that, to a significant extent, helped to lay the groundwork for an embodied cognitive science. (shrink)

This article addresses an open problem in the area of cognitive systems and architectures: namely the problem of handling (in terms of processing and reasoning capabilities) complex knowledge structures that can be at least plausibly comparable, both in terms of size and of typology of the encoded information, to the knowledge that humans process daily for executing everyday activities. Handling a huge amount of knowledge, and selectively retrieve it according to the needs emerging in different situational scenarios, is an important (...) aspect of human intelligence. For this task, in fact, humans adopt a wide range of heuristics (Gigerenzer & Todd) due to their “bounded rationality” (Simon, 1957). In this perspective, one of the requirements that should be considered for the design, the realization and the evaluation of intelligent cognitively-inspired systems should be rep- resented by their ability of heuristically identify and retrieve, from the general knowledge stored in their artificial Long Term Memory (LTM), that one which is synthetically and contextually relevant. This requirement, however, is often neglected. Currently, artificial cognitive systems and architectures are not able, de facto, to deal with complex knowledge structures that can be even slightly comparable to the knowledge heuris- tically managed by humans. In this paper I will argue that this is not only a technological problem but also an epistemological one and I will briefly sketch a proposal for a possible solution. (shrink)

Perception is a first-person internal sensation induced within the nervous system at the time of arrival of sensory stimuli from objects in the environment. Lack of access to the first-person properties has limited viewing perception as an emergent property and it is currently being studied using third-person observed findings from various levels. One feasible approach to understand its mechanism is to build a hypothesis for the specific conditions and required circuit features of the nodal points where the mechanistic operation of (...) perception take place for one type of sensation in one species and to verify it for the presence of comparable circuit properties for perceiving a different sensation in a different species. The present work explains visual perception in mammalian nervous system from a first-person frame of reference and provides explanations for the homogeneity of perception of visual stimuli above flicker fusion frequency, the perception of objects at locations different from their actual position, the smooth pursuit and saccadic eye movements, the perception of object borders, and perception of pressure phosphenes. Using results from temporal resolution studies and the known details of visual cortical circuitry, explanations are provided for (a) the perception of rapidly changing visual stimuli, (b) how the perception of objects occurs in the correct orientation even though, according to the third-person view, activity from the visual stimulus reaches the cortices in an inverted manner and (c) the functional significance of well-conserved columnar organization of the visual cortex. A comparable circuitry detected in a different nervous system in a remote species-the olfactory circuitry of the fruit fly Drosophila melanogaster-provides an opportunity to explore circuit functions using genetic manipulations, which, along with high-resolution microscopic techniques and lipid membrane interaction studies, will be able to verify the structure-function details of the presented mechanism of perception. (shrink)

In this paper a possible general framework for the representation of concepts in cognitive artificial systems and cognitive architectures is proposed. The framework is inspired by the so called proxytype theory of concepts and combines it with the heterogeneity approach to concept representations, according to which concepts do not constitute a unitary phenomenon. The contribution of the paper is twofold: on one hand, it aims at providing a novel theoretical hypothesis for the debate about concepts in cognitive sciences by providing (...) unexplored connections between different theories; on the other hand it is aimed at sketching a computational characterization of the problem of concept representation in cognitively inspired artificial systems and in cognitive architectures. (shrink)

Concept representation is still an open problem in the field of ontology engineering and, more generally, of knowledge representation. In particular, the issue of representing “non classical” concepts, i.e. concepts that cannot be defined in terms of necessary and sufficient conditions, remains unresolved. In this paper we review empirical evidence from cognitive psychology, according to which concept representation is not a unitary phenomenon. On this basis, we sketch some proposals for concept representation, taking into account suggestions from psychological research. In (...) particular, it seems that human beings employ both prototype-based and exemplar-based representations in order to represent non classical concepts. We suggest that a similar, hybrid prototype-exemplar based approach could also prove useful in the field of knowledge representation technology. Finally, we propose conceptual spaces as a suitable framework for developing some aspects of this proposal. (shrink)

This essay describes computational semantic networks for a philosophical audience and surveys several approaches to semantic-network semantics. In particular, propositional semantic networks are discussed; it is argued that only a fully intensional, Meinongian semantics is appropriate for them; and several Meinongian systems are presented.

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)

Many cognitive scientists, having discovered that some computational-level characterization f of a cognitive capacity φ is intractable, invoke heuristics as algorithmic-level explanations of how cognizers compute f. We argue that such explanations are actually dysfunctional, and rebut five possible objections. We then propose computational-level theory revision as a principled and workable alternative.

Understanding computation as “a process of the dynamic change of information” brings to look at the different types of computation and information. Computation of information does not exist alone by itself but is to be considered as part of a system that uses it for some given purpose. Information can be meaningless like a thunderstorm noise, it can be meaningful like an alert signal, or like the representation of a desired food. A thunderstorm noise participates to the generation of meaningful (...) information about coming rain. An alert signal has a meaning as allowing a safety constraint to be satisfied. The representation of a desired food participates to the satisfaction of some metabolic constraints for the organism. Computations on information and representations will be different in nature and in complexity as the systems that link them have different constraints to satisfy. Animals have survival constraints to satisfy. Humans have many specific constraints coming in addition. And computers will compute what the designer and programmer ask for. We propose to analyze the different relations between information, meaning and representation by taking an evolutionary approach on the systems that link them. Such a bottom-up approach allows starting with simple organisms and avoids an implicit focus on humans, which is the most complex and difficult case. To make available a common background usable for the many different cases, we use a systemic tool that defines the generation of meaningful information by and for a system submitted to a constraint [Menant, 2003]. This systemic tool allows to position information, meaning and representations for systems relatively to environmental entities in an evolutionary perspective. We begin by positioning the notions of information, meaning and representation and recall the characteristics of the Meaning Generator System (MGS) that link a system submitted to a constraint to its environment. We then use the MGS for animals and highlight the network nature of the interrelated meanings about an entity of the environment. This brings us to define the representation of an item for an agent as being the network of meanings relative to the item for the agent. Such meaningful representations embed the agents in their environments and are far from the Good Old Fashion Artificial Intelligence type ones. The MGS approach is then used for humans with a limitation resulting of the unknown nature of human consciousness. Application of the MGS to artificial systems brings to look for compatibilities with different levels of Artificial Intelligence (AI) like embodied-situated AI, the Guidance Theory of Representations, and enactive AI. Concerns relative to different types of autonomy and organic or artificial constraints are highlighted. We finish by summarizing the points addressed and by proposing some continuations. (shrink)

In this article, after presenting the basic idea of causal accounts of implementation and the problems they are supposed to solve, I sketch the model of computation preferred by Chalmers and argue that it is too limited to do full justice to computational theories in cognitive science. I also argue that it does not suffice to replace Chalmers’ favorite model with a better abstract model of computation; it is necessary to acknowledge the causal structure of physical computers that is not (...) accommodated by the models used in computability theory. Additionally, an alternative mechanistic proposal is outlined. (shrink)

In the article, I propose that the body phantom is a phenomenal and functional model of one’s own body. This model has two aspects. On the one hand, it functions as a tacit sensory representation of the body that is at the same time related to the motor aspects of body functioning. On the other hand, it also has a phenomenal aspect as it constitutes the content of conscious bodily experience. This sort of tacit, functional and sensory model is related (...) to the spatial parameters of the physical body. In the article, I postulate that this functional model or map is of crucial importance to the felt ownership parameters of the body, which are themselves considered as constituting the phenomenal aspect of the aforementioned model. (shrink)

I review a widely accepted argument to the conclusion that the contents of our beliefs, desires and other mental states cannot be causally efficacious in a classical computational model of the mind. I reply that this argument rests essentially on an assumption about the nature of neural structure that we have no good scientific reason to accept. I conclude that computationalism is compatible with wide semantic causal efficacy, and suggest how the computational model might be modified to accommodate this possibility.

Introduction There are some exceptions, which we shall see below, but virtually all theories in psychology and cognitive science make use of the notion of representation. Arguably, folk psychology also traffics in representations, or is at least strongly suggestive of their existence. There are many different types of things discussed in the psychological and philosophical literature that are candidates for representation-hood. First, there are the propositional attitudes – beliefs, judgments, desires, hopes etc. (see Chapters 9 and 17 of this volume). (...) If the propositional attitudes are representations, they are person-level representations – the judgment that the sun is bright pertains to John, not a subpersonal part of John. By contrast, the representations of edges in V1 of the cerebral cortex that neuroscientists talk about and David Marr’s symbolic representations of “zero-crossings” in early vision (Marr 1982) are at the “sub-personal” level – they apply to parts or states of a person (e.g. neural parts or computational states of the visual system). Another important distinction is often made among perceptual, cognitive, and action-oriented representations (e.g. motor commands). Another contrast lies between “stored representations” (e.g. memories) and “active representations” (e.g. a current perceptual state). Related to this is the distinction between “dispositional representations” and “occurrent representations.” Beliefs that are not currently being entertained are dispositional, e.g. your belief that the United States is in North America - no doubt you had this belief two minutes ago, but you were not consciously accessing it until you read this sentence. Occurrent representations, by contrast, are active, conscious thoughts or perceptions. Which leads us to another important distinction: 1 between conscious and non-conscious mental representations, once a bizarre-sounding distinction that has become familiar since Freud (see Chapter 4 of this volume). I mention these distinctions at the outset to give you some idea of the range of phenomena we will be considering, and to set the stage for our central “problem of representation”: what is a mental representation, exactly, and how do we go about deciding whether there are any? We know there are public representations of various kinds: words, maps, and pictures, among others.. (shrink)

In this paper, we present a survey of the development of the technique of argument diagramming covering not only the fields in which it originated - informal logic, argumentation theory, evidence law and legal reasoning – but also more recent work in applying and developing it in computer science and artificial intelligence. Beginning with a simple example of an everyday argument, we present an analysis of it visualised as an argument diagram constructed using a software tool. In the context of (...) a brief history of the development of diagramming, it is then shown how argument diagrams have been used to analyze and work with argumentation in law, philosophy and artificial intelligence. (shrink)

A series of representations must be semantics-driven if the members of that series are to combine into a single thought: where semantics is not operative, there is at most a series of disjoint representations that add up to nothing true or false, and therefore do not constitute a thought at all. A consequence is that there is necessarily a gulf between simulating thought, on the one hand, and actually thinking, on the other. A related point is that a popular doctrine (...) - the so-called 'computational theory of mind' (CTM) - is based on a confusion. CTM is the view that thought-processes consist in 'computations', where a computation is defined as a 'form-driven' operation on symbols. The expression 'form-driven operation' is ambiguous, as it may refer either to syntax-driven operations or to morphology-driven operations. Syntax-driven operations presuppose the existence of operations that are driven by semantic and extra-semantic knowledge. So CTM is false if the terms 'computation' and 'form-driven operation' are taken to refer to syntax-driven operations. Thus, if CTM is to work, those expressions must be taken to refer to morphology-driven operations. CTM therefore fails, given that an operation must be semantics-driven if it is to qualify as a thought. CTM therefore fails on each possible disambiguation of the expressions 'formal operation' and 'computation,' and it is therefore false. (shrink)

Advancement in cognitive science depends, in part, on doing some occasional ‘theoretical housekeeping’. We highlight some conceptual confusions lurking in an important attempt at explaining the human capacity for rational or coherent thought: Thagard & Verbeurgt’s computational-level model of humans’ capacity for making reasonable and truth-conducive abductive inferences (1998; Thagard, 2000). Thagard & Verbeurgt’s model assumes that humans make such inferences by computing a coherence function (f_coh), which takes as input representation networks and their pair-wise constraints and gives as output (...) a partition into accepted (A) and rejected (R) elements that maximizes the weight of satisfied constraints. We argue that their proposal gives rise to at least three difficult problems. (shrink)

To move beyond vague platitudes about the importance of context in legal reasoning or natural language understanding, one must take account of ideas from artificial intelligence on how to represent context formally. Work on topics like prior probabilities, the theory-ladenness of observation, encyclopedic knowledge for disambiguation in language translation and pathology test diagnosis has produced a body of knowledge on how to represent context in artificial intelligence applications.

We try to show that there is no difference in principle between communicating a piece of information to a human and to a machine. The argumentation depends on the following theses: Communicating is transfer of information; information has propositional form; propositional form can be modelled as categorization; categorisation can be modelled in a machine; a suitably equipped machine can grasp propositional content designed for human communication. What I suggest is that the discussion should focus on the truth and precise meaning (...) of these statements. However, in case these statements are true it follows that: For any act of communication that successfully transfers a piece of information to a human, that act could also transfer that piece of information to a machine. (shrink)

Objections to AI and computational cognitive science are myriad. Accordingly, there are many different reasons for these attacks. But all of them come down to one simple observation: humans seem a lot smarter that computers -- not just smarter as in Einstein was smarter than I, or I am smarter than a chimpanzee, but more like I am smarter than a pencil sharpener. To many, computation seems like the wrong paradigm for studying the mind. (Actually, I think there are deeper (...) and darker reasons why AI, especially, is so often the brunt of polemics, see Dietrich, 2000.) But the truth is this: AI is making exciting progress, and will one day make a robot as intelligent as a person; indeed the robot will be conscious. And all this is because of another truth: the computational paradigm is the best thing to come down the pike since the wheel. (shrink)

According to the Computational/Representational Theory of Thought (CRTT ? Language of Thought Hypothesis, or LOTH), propositional attitudes, such as belief, desire, and the like, are triadic relations among subjects, propositions, and internal mental representations. These representations form a representational _system_ physically realized in the brain of sufficiently sophisticated cognitive organisms. Further, this system of representations has a combinatorial syntax and semantics, but the processes that operate on the representations are causally sensitive only to their syntax, not to their semantics. On (...) this approach, a first pass account of propositional attitudes is the following (cf. Field 1978: 37 and Fodor 1987: 17). (shrink)

This paper argues that the metarepresentational systems we posses are wide or extended, rather than individualistic. There are two basic ideas. The first is that metarepresentation inherits its width from the mental representation of its objects. The second is that mental processing often operates on internal and external symbols, and this suggests that cognitive systems extend beyond the heads that house them.

There is a prevalent notion among cognitive scientists and philosophers of mind that computers are merely formal symbol manipulators, performing the actions they do solely on the basis of the syntactic properties of the symbols they manipulate. This view of computers has allowed some philosophers to divorce semantics from computational explanations. Semantic content, then, becomes something one adds to computational explanations to get psychological explanations. Other philosophers, such as Stephen Stich, have taken a stronger view, advocating doing away with semantics (...) entirely. This paper argues that a correct account of computation requires us to attribute content to computational processes in order to explain which functions are being computed. This entails that computational psychology must countenance mental representations. Since anti-semantic positions are incompatible with computational psychology thus construed, they ought to be rejected. Lastly, I argue that in an important sense, computers are not formal symbol manipulators. (shrink)

This is an in-depth review of "The Embodied Mind: Cognitive Science and Human Experience" by Francisco Varela, Evan Thompson and Eleanor Rosch.