In its forty years of existence, Artificial Intelligence has suffered both from the exaggerated claims of those who saw it as the definitive solution of an ancestral dream — that of constructing an intelligent machine-and from its detractors, who described it as the latest fad worthy of quacks. Yet AI is still alive, well and blossoming, and has left a legacy of tools and applications almost unequalled by any other field-probably because, as the heir of Renaissance thought, it represents a (...) possible bridge between the humanities and the natural sciences, philosophy and neurophysiology, psychology and integrated circuits-including systems that today are taken for granted, such as the computer interface with mouse pointer and windows. This writing describes a few results of AI that have modified the scientific world, as well as the way a layman sees computers: thetechnology of programming languages, such asLISP-witness the unique excellence of academic departments that have contributed to them-thecomputing workstations-of which our modern PC is but a vulgarised descendant-theapplications to the educational field-e.g., the realisation of some ideas of genetic epistemology-and tointerdisciplinary philosophy-such as Hofstadter's associations between the arts and mathematics-and the use ofAI techniques in music and musicology. All this has led to a generalisation of AI towards Negrotti's overallTheory of the Artificial, which encompasses further specialisation such asartificial reality, artificial life, and applications ofneural networks among others. (shrink)

In their enthusiasm for programming, computational linguists have tended to lose sight of what humansdo. They have conceived of conversations as independent of sound and the bodies that produce it. Thus, implicit in their simulations is the assumption that the text is the essence of talk. In fact, unlike electronic mail, conversations are acoustic events. During everyday talk, human understanding depends both on the words spoken and on fine interpersonal vocal coordination. When utterances are analysed into sequences of word-based forms, (...) however, these prosodic aspects of language disappear. Therefore, to investigate the possibility that machines might talk, we propose acommunion game that includes this interpersonal patterning. Humans and machines would talk together and, based on recordings of them, a panel would appraise the relevant merit of each machine's simulation by how true to life it sounded. Unlike Turing's imitation game, the communion game overtly focuses attention, not on intelligence, but on language. It is designed to facilitate the development of social groups of adaptive robots that exploit complex acoustic signals in real time. We consider how the development of such machines might be approached. (shrink)

History and the modern sciences are characterized by what is sometimes called a “methodological naturalism” that disregards talk of divine agency. Some religious thinkers argue that this reflects a dogmatic materialism: a non-negotiable and a priori commitment to a materialist metaphysics. In response to this charge, I make a sharp distinction between procedural requirements and metaphysical commitments. The procedural requirement of history and the sciences—that proposed explanations appeal to publicly-accessible bodies of evidence—is non-negotiable, but has no metaphysical implications. The metaphysical (...) commitment is naturalistic, but is both a posteriori and provisional, arising from the fact that formore than 400 years no proposed theistic explanation has been shown capable ofmeeting the procedural requirement. I argue that there is nothing to prevent religious thinkers from seeking to overturn this metaphysically naturalistic stance. But in order to do so they would need to show that their proposed theistic explanations are the best available explanations of a range of phenomena. Until this has been done, the metaphysical naturalism of history and the sciences remains defensible. (shrink)

Most Artificial Intelligence theories of language either assume a syntactic component which serves as “front end” for the rest of the system, or else reject all attempts at distinguishing modules within the comprehension system. In this paper we will present an alternative which, while keeping modularity, will account for several puzzles for typical “syntax first” theories. The major addition to this theory is a “marker passing” (or “spreading activation”) component, which operates in parallel to the normal syntactic component.

This paper puts forward a general framework for thought about human information processing. It is intended to avoid some of the problems of pipeline or stage models of function. At the same time it avoids the snare of supposing a welter of indefinitely many separate processes. The approach is not particularly original, but rather represents the common elements or presuppositions in a number of modern theories. These presuppositions are not usually explicit, however, and making them so reduces the danger of (...) slipping back into earlier modes of thought.The key point is to distinguish between persisting representations and the processes that translate one representation into another. Various classes or groups of persisting representations can be distinguished by the experimental treatments that interfere with them. In particular, there now seem to be several kinds of short-term or temporary storage, different from each other as well as from longterm memory; the translating processes also have several different modes or kinds. A particularly important aspect of the current position is that a model of this general type no longer requires some external agent to direct and control long sequences of behaviour. (shrink)

This paper puts forward a general framework for thought about human information processing. It is intended to avoid some of the problems of pipeline or stage models of function. At the same time it avoids the snare of supposing a welter of indefinitely many separate processes. The approach is not particularly original, but rather represents the common elements or presuppositions in a number of modern theories. These presuppositions are not usually explicit, however, and making them so reduces the danger of (...) slipping back into earlier modes of thought.The key point is to distinguish between persisting representations and the processes that translate one representation into another. Various classes or groups of persisting representations can be distinguished by the experimental treatments that interfere with them. In particular, there now seem to be several kinds of short-term or temporary storage, different from each other as well as from longterm memory; the translating processes also have several different modes or kinds. A particularly important aspect of the current position is that a model of this general type no longer requires some external agent to direct and control long sequences of behaviour. (shrink)

A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions and relational structures that (...) emerge from the latter in living systems. Thus, several relational theories of living systems can be represented by natural transformations of organismic, relational structures. The ascent of man and other living organisms through adaptation, is viewed in novel categorical terms, such as variable biogroupoid representations of evolving species. Such precise but flexible evolutionary concepts will allow the further development of the unifying theme of local-to-global approaches to highly complex systems in order to represent novel patterns of relations that emerge in super- and ultra-complex systems in terms of compositions of local procedures. Solutions to such local-to-global problems in highly complex systems with ‘broken symmetry’ might be possible to be reached with the help of higher homotopy theorems in algebraic topology such as the generalized van Kampen theorems (HHvKT). Categories of many-valued, Łukasiewicz-Moisil (LM) logic algebras provide useful concepts for representing the intrinsic dynamic ‘asymmetry’ of genetic networks in organismic development and evolution, as well as to derive novel results for (non-commutative) Quantum Logics. Furthermore, as recently pointed out by Baianu and Poli (Theory and applications of ontology, vol 1. Springer, Berlin, in press), LM-logic algebras may also provide the appropriate framework for future developments of the ontological theory of levels with its complex/entangled/intertwined ramifications in psychology, sociology and ecology. As shown in the preceding two papers in this issue, a paradigm shift towards non-commutative, or non-Abelian, theories of highly complex dynamics—which is presently unfolding in physics, mathematics, life and cognitive sciences—may be implemented through realizations of higher dimensional algebras in neurosciences and psychology, as well as in human genomics, bioinformatics and interactomics. (shrink)

A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions and relational structures that (...) emerge from the latter in living systems. Thus, several relational theories of living systems can be represented by natural transformations of organismic, relational structures. The ascent of man and other living organisms through adaptation, is viewed in novel categorical terms, such as variable biogroupoid representations of evolving species. Such precise but flexible evolutionary concepts will allow the further development of the unifying theme of local-to-global approaches to highly complex systems in order to represent novel patterns of relations that emerge in super- and ultra-complex systems in terms of compositions of local procedures. Solutions to such local-to-global problems in highly complex systems with ‘broken symmetry’ might be possible to be reached with the help of higher homotopy theorems in algebraic topology such as the generalized van Kampen theorems (HHvKT). Categories of many-valued, Łukasiewicz-Moisil (LM) logic algebras provide useful concepts for representing the intrinsic dynamic ‘asymmetry’ of genetic networks in organismic development and evolution, as well as to derive novel results for (non-commutative) Quantum Logics. Furthermore, as recently pointed out by Baianu and Poli (Theory and applications of ontology, vol 1. Springer, Berlin, in press), LM-logic algebras may also provide the appropriate framework for future developments of the ontological theory of levels with its complex/entangled/intertwined ramifications in psychology, sociology and ecology. As shown in the preceding two papers in this issue, a paradigm shift towards non-commutative, or non-Abelian, theories of highly complex dynamics—which is presently unfolding in physics, mathematics, life and cognitive sciences—may be implemented through realizations of higher dimensional algebras in neurosciences and psychology, as well as in human genomics, bioinformatics and interactomics. (shrink)

The truth can be dangerous. It is because they realise this that the Roman Catholic Church forbid cremation. Cremation is, of course, theologically permissible, and in times of epidemic the Church allows it. But in normal times it is forbidden — Why? The reason is that the Church fears the influence of the image associated with it. It is difficult enough for the faithful to accept the notion of bodily resurrection after having seen a burial. But the image of the (...) whole body being consumed by flames and changing within a few minutes to a heap of ashes is an even more powerful apparent contradiction of the theological claim of bodily resurrection at the Day of Judgement. In short, instead of relying only on abstract theological argument, which very likely would not convince their flock in any case, the Church deals with this threat to faith by attacking the concrete image. (shrink)

The truth can be dangerous. It is because they realise this that the Roman Catholic Church forbid cremation. Cremation is, of course, theologically permissible, and in times of epidemic the Church allows it. But in normal times it is forbidden — Why? The reason is that the Church fears the influence of the image associated with it. It is difficult enough for the faithful to accept the notion of bodily resurrection after having seen a burial. But the image of the (...) whole body being consumed by flames and changing within a few minutes to a heap of ashes is an even more powerful apparent contradiction of the theological claim of bodily resurrection at the Day of Judgement. In short, instead of relying only on abstract theological argument, which very likely would not convince their flock in any case, the Church deals with this threat to faith by attacking the concrete image. (shrink)

This is a response to Jerry Fodor’s article, Fodor, J. (1980). "Methodological solipsism as a research strategy in cognitive psychology." Behavioral and Brain Sciences 3: 63-109.

After the setbacks suffered in the 1970s as a result of the ‘Lighthill Report’ (Lighthill, 1973), the science of Artificial Intelligence (AI) has undergone a dramatic revival of fortunes in the 1980s. But despite the obvious enormity and complexity of the problems tackled by AI, it still remains rather parochial in relation to the import of alternative though potentially fruitful ideas from other disciplines. With this in mind, the aim of the present paper is to utilise ideas from the sociology (...) of science in order to explore some current issues in AI and, in particular, the branch of expert systems.It is argued that the sociology of sciences shares a common focus of enquiry along with AI — namely, the nature of knowledge — and has a role to play in the understanding, design and future development of expert systems. (shrink)

Those who naturalize semantics concentrate on avoiding difficulties in getting the right sort of cause for the biological item which is to possess semantic properties (to be ?true of or to be ?about? some physical item). Using an analogy with sense?data, I argue that the real difficulties will be trying to get any proposed neural representation to be the right sort of effect of natural processes. The idea of a biological item which can be a semantic ?primitive? is as bankrupt (...) as the idea of a mental item which could be a perceptual ?primitive?. Eventually I propose a technique for finding naturalized representations without these problems. (shrink)

In this paper the author tries to disentangle some of the problems tied up in John Searle's famous Chinese-room-argument. In a first step to answer the question what it would be for a system to have not only syntax, but also semantics the author gives a brief account of the functioning of the language understanding systems (LUS) so far developed in the framework of AI research thereby making clear that systems like Winograd's SHRDLU are indeed doing little more than mere (...) number crunching. But things would be entirely different, the author argues, if the database of a LUS were built up by the system itself via some perceptual component-at least, if this perceptual component had the capacity to distinguish objects having a certain property F from objects which do not. For in this case the system could store an internal representation of the fact that the object has the property F in its database if and only if the object in fact has that property. And this would be a good basis for calling such a system a genuine LUS. But Searle has objected to a very similar account of J. Fodor that nothing could be further from true language understanding. The reason for this complaint seems to be that Searle holds the view that a true LUS must e.g., know that the word hamburgers refers to hamburgers and that he moreover claims that this knowledge must be explicit or that the system must be aware of the reference of hamburgers to hamburgers. The author argues that this is asking too much. For it seems plausible to say that a system is able to understand e.g., the word hamburger even if it has only implicit knowledge of the fact that hamburger refers to hamburgers in the sense that it has the capacity to tell hamburgers from non hamburgers and the capacity to bring the word hamburger together just with objects of the former kind. (shrink)

Episodic memory (memories of the personal past) and prospecting the future (anticipating events) are often described as mental time travel (MTT). While most use this description metaphorically, we argue that episodic memory may allow for MTT in at least some robust sense. While episodic memory experiences may not allow us to literally travel through time, they do afford genuine awareness of past-perceived events. This is in contrast to an alternative view on which episodic memory experiences present past-perceived events as mere (...) intentional contents. Hence, episodic memory is a way of coming into experiential contact with, or being again aware of, what happened in the past. We argue that episodic memory experiences depend on a causal-informational link with the past events being remembered, and that, assuming direct realism about episodic memory experiences, this link suffices for genuine awareness. Since there is no such link in future prospection, a similar argument cannot be used to show that it also affords genuine awareness of future events. Constructivist views of memory might challenge the idea of memory as genuine awareness of remembered events. We explain how our view is consistent with both constructivist and anti-causalist conceptions of memory. There is still room for an interpretation of episodic memory as enabling genuine awareness of past events, even if it involves reconstruction. (shrink)

Some may find an oxymoron in my title. But, my use of “instrumental” is to focus attention on the real instruments of science-pumps, dynamos and cyclotrons-and not the view that scientific theories are best understood as instruments. In what follows I characterize and argue for a kind of realism strongly wedded to what we do with scientific instruments, and divorced from what our theories may say about the entities manipulated by these instruments. My discussion owes much to Ian Hacking’s “Experimental (...) Argument for Realism” (Hacking 1983, ch. 16).The following fantasy might help give some idea of the view I am interested in. Suppose that the diskettes, which many people use in conjunction with a small computer, do not store information magnetically; in fact they store it “radioactively,” exactly how, is not relevant. IBM decided that many people in their target personal computer market would be put off by “nuclear diskettes.”. (shrink)

LAS is a program that acquires augmented transition network (ATN) grammars. It requires as data sentences of the language and semantic network representatives of their meaning. In acquiring the ATN grammars, it induces the word classes of the language, the rules of formation for sentences, and the rules mapping sentences onto meaning. The induced ATN grammar can be used both for sentence generation and sentence comprehension. Critical to the performance of the program are assumptions that it makes about the relation (...) between sentence structure and surface structure (the graph deformation condition), about when word classes may be formed and when ATN networks may be merged, and about the structure of noun phrases. These assumptions seem to be good heuristics which are largely true for natural languages although they would not be true for many nonnatural languages. Provided these assumptions are satisfied LAS seems capable of learning any context‐free language. (shrink)

There is no doubt that the model presented here is incomplete. Many important categories, particularly negation and the adverbials, have been entirely ignored, and the treatment of Tense and the affixes is certainly inadequate. It also remains to be seen how the many constructions that have been ignored here are to be accommodated within the framework that has been outlined. However, the fact that a standard categorial lexicon, plus the four rule schemata, seems to come close to exhaustively specifying the (...) main clause constructions of English, and also seems to explain a number of major constraints on transformations, encourages us to compare the theory with certain alternatives, and to examine its broader implications. (shrink)

Seven features which in practice seem to differentiate belief systems from knowledge systems are discussed. These are: nonconsensuality, “existence beliefs,” alternative worlds, evaluative components, episodic material, unboundedness, and variable credences. Each of these features gives rise to challenging representation problems. Progress on any of these problems within artificial intelligence would be helpful in the study of knowledge systems as well as belief systems, inasmuch as the distinction between the two types of systems is not absolute.

At its birth, a new scientific discipline is baptized with the names of the two parent disciplines, Science X and Science Y. Subsequently, usage tends to shorten this compound name by giving preference to one or the other of the constituting terms so that the new term is less disconcerting and novel. Take biophysics, for example. Is it more closely related to physics than to biology, or the other way round? Today this question seems naive but it did not appear (...) so a scarce thirty years ago, that is, at the beginning of the creative activity of the most, eminent scientists in the field of biophysics: it was then the subject of intense discussion. (shrink)

The paper explores the distinction between two doctrines, both of which inform theory construction in much of modern cognitive psychology: the representational theory of mind and the computational theory of mind. According to the former, propositional attitudes are to be construed as relations that organisms bear to mental representations. According to the latter, mental processes have access only to formal (nonsemantic) properties of the mental representations over which they are defined.The following claims are defended: (1) That the traditional dispute between (...) “rational” and “naturalistic” psychology is plausibly viewed as an argument about the status of the computational theory of mind. Rational psychologists accept a formality condition on the specification of mental processes; naturalists do not. (2) That to accept the formality condition is to endorse a version of methodological solipsism. (3) That the acceptance of some such condition is warranted, at least for that part of psychology which concerns itself with theories of the mental causation of behavior. This is because: (4) such theories require nontransparent taxonomies of mental states; and (5) nontransparent taxonomies individuate mental states without reference to their semantic properties. Equivalently, (6) nontransparent taxonomies respect the way that the organism represents the object of its propositional attitudes toitself, and it is this representation which functions in the causation of behavior.The final section of the paper considers the prospect for a naturalistic psychology: one which defines its generalizations over relations between mental representations and their environmental causes, thus seeking to account for the semantic properties of propositional attitudes. Two related arguments are proposed, both leading to the conclusion that no such research strategy is likely to prove fruitful. (shrink)

The paper explores the distinction between two doctrines, both of which inform theory construction in much of modern cognitive psychology: the representational theory of mind and the computational theory of mind. According to the former, propositional attitudes are to be construed as relations that organisms bear to mental representations. According to the latter, mental processes have access only to formal (nonsemantic) properties of the mental representations over which they are defined.The following claims are defended: (1) That the traditional dispute between (...) “rational” and “naturalistic” psychology is plausibly viewed as an argument about the status of the computational theory of mind. Rational psychologists accept a formality condition on the specification of mental processes; naturalists do not. (2) That to accept the formality condition is to endorse a version of methodological solipsism. (3) That the acceptance of some such condition is warranted, at least for that part of psychology which concerns itself with theories of the mental causation of behavior. This is because: (4) such theories require nontransparent taxonomies of mental states; and (5) nontransparent taxonomies individuate mental states without reference to their semantic properties. Equivalently, (6) nontransparent taxonomies respect the way that the organism represents the object of its propositional attitudes toitself, and it is this representation which functions in the causation of behavior.The final section of the paper considers the prospect for a naturalistic psychology: one which defines its generalizations over relations between mental representations and their environmental causes, thus seeking to account for the semantic properties of propositional attitudes. Two related arguments are proposed, both leading to the conclusion that no such research strategy is likely to prove fruitful. (shrink)

This volume is a collection of some of the most important philosophical papers by Peter Gärdenfors. Spanning a period of more than 20 years of his research, they cover a wide ground of topics, from early works on decision theory, belief revision and nonmonotonic logic to more recent work on conceptual spaces, inductive reasoning, semantics and the evolutions of thinking. Many of the papers have only been published in places that are difficult to access. The common theme of all the (...) papers is the dynamics of thought. Several of the papers have become minor classics and the volume bears witness of the wide scope of Gärdenfors’ research and of his crisp and often witty style of writing. The volume will be of interest to researchers in philosophy and other cognitive sciences. (shrink)