This paper argues that AI follows classical versions of epistemology in assuming that the identity of the knowing subject is not important. In other words this serves to `delete the subject''. This disguises an implicit hierarchy of knowers involved in the representation of knowledge in AI which privileges the perspective of those who design and build the systems over alternative perspectives. The privileged position reflects Western, professional masculinity. Alternative perspectives, denied a voice, belong to less powerful groups including women. Feminist (...) epistemology can be used to approach this from new directions, in particular, to show how women''s knowledge may be left out of consideration by AI''s focus on masculine subjects. The paper uncovers the tacitly assumed Western professional male subjects in two flagship AI systems, Cyc and Soar. (shrink)

Digital media is getting smarter. Home electrical goods are getting smarter. This article explores how one aspect of content is beginning to reflect this—digital advertising. It is becoming increasingly important for advertisers to target consumers as individuals and in communities of interest rather than by demographic. This article explores the impact of smart systems and artificial intelligence (AI) on advertising and examines different approaches to creating intelligent and smart content and how behaviour is fast becoming the guiding principle for new (...) content forms. (shrink)

Fundamental assumptions behind qualitative modelling are critically considered and some inherent problems in that modelling approach are outlined. The problems outlined are due to the assumption that a sufficient set of symbols representing the fundamental features of the physical world exists. That assumption causes serious problems when modelling continuous systems. An alternative for intelligent system building for cases not suitable for qualitative modelling is proposed. The proposed alternative combines neural networks and quantitative modelling.

The power of some new entrants to the music industry derives from their position as brokers in computer-mediated environments. Brokers act instrumentally to exploit their position within a network which, in turn, depends on their ability to build and sustain links (and, in computer-mediated environments, hyperlinks). Bricolage in computer-mediated entrepreneurship refers to the intuitive manipulation of resources in order to achieve (perhaps tacit) goals. Without careful stewardship of the new intellectual wealth thus created, bricolage may profit neither the individual nor (...) the wider community. (shrink)

Fifty years before the present volume appeared, artificial intelligence (AI) and cognitive science (Cogsci) emerged from a couple of small-scale academic encounters on the East Coast of the United States. Wedded together like Siamese twins, these nascent research programs appeared to rest on some general assumptions regarding the human mind, and closely connected methodological principles, which set them at such a distance from phenomenology that no contact between the two approaches seemed conceivable. Soon however contact was made, in the form (...) of a head-on critique of the AI/Cogsci project mostly inspired by arguments from phenomenology. For a while, it seemed like nothing would come of it: AI/Cogsci bloomed while the small troop of critical phenomenologists kept objecting. Then AI and Cogsci went their separate ways. AI underwent a deep transformation and all but surrendered to the phenomenological critique. Cogsci meanwhile pursued the initial program with a far richer collection of problems, concepts and methods, and was for a long time quite unconcerned by suggestions and objections from phenomenology. The last decade and half has seen a remarkable reversal: on the one hand, a few cognitive scientists have been actively pursuing the goal of reconciliating Cogsci, whether empirically or foundationally, with some of the insights procured by phenomenology; on the other, many cognitive scientists and philosophers of mind who think of themselves as, respectively, mainstream and analytic, and have no or little acquaintance with, and often little sympathy for, phenomenology, have been actively pursuing research programs geared toward some of the key issues identified by phenomenological critics of early AI/Cogsci. It might seem then as if those critics were now vindicated. But while these new directions are undoubtedly promising, it is not yet clear that phenomenology and Cogsci can be truly reconciled. Some suspect that Cogsci must distort beyond recognition those phenomenological themes it means to weave into its fabric, while phenomenology may be losing touch with its roots by tuning onto the logic of Cogsci which is, after all, an empirical science. To the present writer, it is far too early for anything like a verdict, as the task of clarifying the issues and gaining a much deeper understanding of the issues on both sides has barely begun. But whatever emerges from this exploration will probably have deep consequences for both Cogsci and philosophy.. (shrink)

Traditional teaching pedagogy has the young learning from the old. To improve learning in a business environment, generational differences have been identified as being potential barriers between people. There is a growing realisation that technology can be used to bridge the gap between young and old using reverse mentoring. Moving beyond the confines of using reverse intergenerational learning as a tool for only learning new IT has not yet gained general acceptance in the wider business environment. Surely this represents a (...) missed opportunity. (shrink)

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)

Artificial intelligence (AI) impacts society and an individual in many subtler and deeper ways than machines based upon the physics and mechanics of descriptive objects. The AI project involves thus culture and provides scope to liberational undertakings. Most importantly AI implicates human ethical and attitudinal bearings. This essay explores how previous authors in this journal have explored related issues and how such discourses have provided to the present world a roadmap that can be followed to engage in discourses with ethical (...) and aesthetic implications of contemporary cognitive sciences. (shrink)

Paper published on author's website available at http://www.garybanham.net/PAPERS_files/Artificial%20Life%20and%20the%20Inhuman%20Condition.pdf.

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)

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)

Given free information and unlimited processing power, should decision algorithms use as much information as possible? A formal model of the decision-making environment is developed to address this question and provide conditions under which informationally frugal algorithms, without any information or processing costs whatsoever, are optimal. One cause of compression that allows optimal algorithms to rationally ignore information is inverse movement of payoffs and probabilities (e.g., high payoffs occur with low probably and low payoffs occur with high probability). If inversely (...) related payoffs and probabilities cancel out, then predictors that correlate with payoffs and consequently condition the probabilities associated with different payoffs will drop out of the expected-payoff objective function, severing the link between information and optimal action rules. Stochastic payoff processes in which rational ignoring occurs are referred to as compressed environments, because optimal action depends on a reduced-dimension subset of the environmental parameters. This paper considers benefits and limitations of economic models versus other methods for studying links between environmental structure and the real-world success of simple decision procedures. Different methods converge on the normative proposition of ecological rationality, as opposed to axiomatic rationality based on informational efficiency and internal consistency axioms, as a superior framework for comparing the effectiveness of decision strategies and prescribing decision algorithms in application. (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)

Under shift, caused for example by eye movement, or by relative movement of the subject or object of perception, the cortical representation undergoes very large changes in “size” and “shape.” Space-variance of cortical representation rules out models that fundamentally require linear interpolation between shifted patterns (e.g., Edelman's model) or rigid shift of an invariant retinal stimulus corresponding to shift at the cortex (e.g., the shifter theory of van Essen). Recently, a computational solution of “quasi-shift” invariance for space-variant mappings has been (...) constructed (Bonmassar & Schwartz 1997a; 1997b). (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)

In this paper, the concept of Human-Centred Technology will be described with regard to the different dimensions of workplace, groupwork and networks and in terms of the frameworks of both society and the natural environment. These different aspects of Human-Centred Systems will be illustrated by a series of case studies representing several European countries. The report covers a wide range of research fields. The emphasis is on technology: the roles of control and information technology in enterprises today — including issues (...) of applying AI — and the strategies of designing and implementing technology taking into account the specific aspects which characterize human-centred systems. (shrink)

Bill Joy’s deep pessimism is now famous. Why the Future Doesn’t Need Us, his defense of that pessimism, has been read by, it seems, everyone—and many of these readers, apparently, have been converted to the dark side, or rather more accurately, to the future-is-dark side. Fortunately (for us; unfortunately for Joy), the defense, at least the part of it that pertains to AI and robotics, fails. Ours may be a dark future, but we cannot know that on the basis of (...) Joy’s reasoning. On the other hand, we ought to fear a good deal more than fear itself: we ought to fear not robots, but what some of us may do with robots. (shrink)

This paper is a modified version of my acceptance lecture for the 1986 SPL-Insight Award. It turned into something of a personal credo -describing my view of  the nature of AI  the potential social benefit of applied AI  the importance of basic AI research  the role of logic and the methodology of rational construction  the interplay of applied and basic AI research, and  the importance of funding basic AI. These points are knitted together by (...) an analogy between AI and structural engineering: in particular, between building expert systems and building bridges. (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)

We examine the relationship between systems and their users from the knowledge discovery perspective. Recently knowledge discovery in databases has made important progress, but it may also bring some potential problems to database design, such as issues related to database security, because an unauthorised user may derive highly sensitive knowledge from unclassified data. In this paper we point out that there is a need for a comprehensive study on knowledge discovery in human-computer symbiosis. Borrowing terms from algorithm design and artificial (...) intelligence literature, we propose a notion called database-user adversarial partnership. We point out that this notion is general enough to cover various knowledge discovery and security of issues related to databases and their users. Furthermore, we point out the notion of database-user adversarial partnership can be further generalised into system-user adversarial partnership. Opportunities provided by knowledge discovery techniques and potential social implications are also discussed. (shrink)

This paper presents a conceptual framework for the study of social intelligence in a real-life environment. It is focussed on the dialogue organisation in argumentation, in particular how our understanding of dialogue phenomena in mediated communication may help us to support natural interaction in classroom debates. Dialogue organisation is explored in terms of the cohesive structure of dialogue that emerges as the result of information maintenance and change, specified locally by the adjacency pair and turn-taking, and globally by topic threads. (...) We give a descriptive analysis of their interplay in real chat debates, based on lexical chains of repeated words in an attempt to clarify what feedback participants in the debate require in order to reflect on their contributions to the debate. We then show how this analysis can be used as a basis for conceptual design of a feedback adviser tool to automatically search for topics in student chat debates. Much of the data used in our analysis has been generated as part of the SCALE project SCALE (Internet-based intelligent tool to support collaborative argumentation-based learning in secondary schools) – EU Framework V project. focussed on specifying tools for computer supported argumentation in the classroom. (shrink)

The paper describes supportive actions for users of NC machine tools. From the technical point of view, this comprises new input/output media for interaction with the machine as well as new software tools for help systems. From the organisational point of view, concepts for group work are to be supported and a methology for participation of users in the development process is suggested. A software tool for job order planning is presented which combines organisational and technical aspects. One of the (...) aims of the research reported here, is to explore options of systems which keep the human expert in the loop of shopfloor production. (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)

A case study is presented of the development of computer-based support tools for power engineers in the electricity supply industry. The objective was to develop an expert system to support witching schedule production. A user-centred approach was followed which led the user community to conclude that a switching schedule production assistant (SSPA) was required which would leave control with the power engineer. Prototype systems were developed and evaluated in user trials which revealed that a significant and more general purpose tool (...) would be a computer generated electricity network display that the engineers could manipulate. The paper concludes that the process of enabling users to evaluate alternative forms of technology can facilitate the development systems that are useful, acceptable and usable. (shrink)

This article reviews the strengths and limitations of five major paradigms of medical computer-assisted decision making (CADM): (1) clinical algorithms, (2) statistical analysis of collections of patient data, (3) mathematical models of physical processes, (4) decision analysis, and (5) symbolic reasoning or artificial intelligence (Al). No one technique is best for all applications, and there is recent promising work which combines two or more established techniques. We emphasize both the inherent power of symbolic reasoning and the promise of artificial intelligence (...) and the other techniques to complement each other. Keywords: Diagnosis, Computer Assisted Decision Making, Artificial Intelligence * Current address: Intelligenetics, 124 University Avenue, Palo Alto, CA. 94301, U.S.A. ** Dr. Shortliffe is a Henry J. Kaiser Family Foundation Faculty Scholar in General Internal Medicine and recipient of research career development award LM0048 from the National Library of Medicine. CiteULike Connotea Del.icio.us What's this? (shrink)

The properties of Turing’s famous ‘universal machine’ has long sustained functionalist intuitions about the nature of cognition. Here, I show that there is a logical problem with standard functionalist arguments for multiple realizability. These arguments rely essentially on Turing’s powerful insights regarding computation. In addressing a possible reply to this criticism, I further argue that functionalism is not a useful approach for understanding what it is to have a mind. In particular, I show that the difficulties involved in distinguishing implementation (...) from function make multiple realizability claims untestable and uninformative. As a result, I conclude that the role of Turing machines in philosophy of mind needs to be reconsidered. (shrink)

In the philosophy of mind, the controversy between realists and antirealists often concerns the logical form of sentences embedded in attitude reports. Antirealists believe that such sentences refer to psychological states; realists believe that they refer to situations or states of the world. In this essay, it is shown how these two modes of semantic representation are associated with different approaches to the computational modeling of cognitive processes. I put forward a normative account of methodology in artificial intelligence that reconciles (...) realism and antirealism, and suggest that my account sheds light on the problem of representing the logical form of attitude reports. (shrink)

The objective of this essay is to provide the beginning of a principled classification of some of the ways space is intelligently used. Studies of planning have typically focused on the temporal ordering of action, leaving as unaddressed questions of where to lay down instruments, ingredients, work-in-progress, and the like. But, in having a body, we are spatially located creatures: we must always be facing some direction, have only certain objects in view, be within reach of certain others. How we (...) manage the spatial arrangement of items around us is not an afterthought: it is an integral part of the way we think, plan, and behave. The proposed classification has three main categories: spatial arrangements that simplify choice; spatial arrangements that simplify perception; and spatial dynamics that simplify internal computation. The data for such a classification is drawn from videos of cooking, assembly and packing, everyday observations in supermarkets, workshops and playrooms, and experimental studies of subjects playing Tetris, the computer game. This study, therefore, focuses on interactive processes in the medium and short term: on how agents set up their workplace for particular tasks, and how they continuously manage that workplace. (shrink)

Uses of stored skill-models to accelerate simulator-based real-time training in a control skill are discussed. A real-time coach must deliver advice at three levels: (1) what to do next, (2) what to watch for, and (3) what went wrong. Human learning and machine learning results are presented using different screen representations of a pole-and-cart balancing task.

We argue that the concepts of mechanism and autonomy appear to be antagonistic when autonomy is conflated with agency. Once these concepts are disentangled, it becomes clearer how autonomy emerges from complex forms of control. Subsequently, current biomimetic strategies tend to focus on homeostatic regulatory systems; we propose that research in AI and robotics would do well to incorporate biomimetic strategies that instead invoke models of allostatic mechanisms as a way of understanding how to enhance autonomy in artificial systems.

In the near future, our life will normally be surrounded with fairly complicated artifacts, enabled by the autonomous robot and brain–machine interface technologies. In this paper, we argue that what we call the responsibility flaw problem and the inappropriate use problem need to be overcome in order for us to benefit from complicated artifacts. In order to solve these problems, we propose an approach to endowing artifacts with an ability of socially communicating with other agents based on the artifact-as-a-half-mirror metaphor. (...) The idea is to have future artifacts behave according to the hybrid intention composed of the owner’s intention and the social rules. We outline the approach and discuss its feasibility together with preliminary work. (shrink)

Is deduction of use in application to our everyday problems? Aristotle said that in practical matters we cannot use a strictly deductive attitude: "we must be content...in speaking about things which are only for the most part true, with premises of the same kind, to reach conclusions that are no better" (Nic.Eth.I,4 - my underlining). We may content ourselves with conclusions which - according to the usual views - are not true; but what happens when we realize that such conclusions (...) bring us into contradiction with some of our deepest beliefs? We have to pursue our search of rationality in the most compelling manner, and this effort forces us to express our background beliefs in order to check what may be wrong with that. In this paper I will give two classical examples, one form the history of cinema and another from the history of artificial intelligence: in comparing these two examples I claim that logical compulsion - the deep need for convention - is highly valuable where feelings are not enough. (shrink)

It is well known that people from other disciplines have made significant contributions to philosophy and have influenced philosophers. It is also true (though perhaps not often realized, since philosophers are not on the receiving end, so to speak) that philosophers have made significant contributions to other disciplines and have influenced researchers in these other disciplines, sometimes more so than they have influenced philosophy itself. But what is perhaps not as well known as it ought to be is that researchers (...) in other disciplines, writing in those other disciplines' journals and conference proceedings, are doing philosophically sophisticated work, work that we in philosophy ignore at our peril. Work in cognitive science and artificial intelligence (AI) often overlaps such paradigmatic philosophical specialties as logic, the philosophy of mind, the philosophy of language, and the philosophy of action. This special issue offers a sampling of research in cognitive science and AI that is philosophically relevant and philosophically sophisticated. (shrink)

In the Fall of 1983, I offered a junior/senior-level course in Philosophy of Artificial Intelligence, in the Department of Philosophy at SUNY Fredonia, after returning there from a year’s leave to study and do research in computer science and artificial intelligence (AI) at SUNY Buffalo. Of the 30 students enrolled, most were computerscience majors, about a third had no computer background, and only a handful had studied any philosophy. (I might note that enrollments have subsequently increased in the Philosophy Department’s (...) AI-related courses, such as logic, philosophy of mind, and epistemology, and that several computer science students have added philosophy as a second major.) This article describes that course, provides material for use in such a course, and offers a bibliography of relevant articles in the AI, cognitive science, and philosophical literature. (shrink)

Lexical semantics has become a major research area within computational linguistics, drawing from psycholinguistics, knowledge representation, computer algorithms and architecture. Research programmes whose goal is the definition of large lexicons are asking what the appropriate representation structure is for different facets of lexical information. Among these facets, semantic information is probably the most complex and the least explored.Computational Lexical Semantics is one of the first volumes to provide models for the creation of various kinds of computerised lexicons for the automatic (...) treatment of natural language, with applications to machine translation, automatic indexing, and database front-ends, knowledge extraction, among other things. It focuses on semantic issues, as seen by linguists, psychologists, and computer scientists. Besides describing academic research, it also covers ongoing industrial projects. (shrink)

Pioneer approaches to Artificial Intelligence have traditionally neglected, in a chronological sequence, the agent body, the world where the agent is situated, and the other agents. With the advent of Collective Robotics approaches, important progresses were made toward embodying and situating the agents, together with the introduction of collective intelligence. However, the currently used models of social environments are still rather poor, jeopardizing the attempts of developing truly intelligent robot teams. In this paper, we propose a roadmap for a new (...) approach to the design of multi-robot systems, mainly inspired by concepts from Institutional Economics, an alternative to mainstream neoclassical economic theory. Our approach intends to sophisticate the design of robot collectives by adding, to the currently popular emergentist view, the concepts of physically and socially bounded autonomy of cognitive agents, uncoupled interaction among them and deliberately set up coordination devices. (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)

We study the computational complexity of reciprocal sentences with quantified antecedents. We observe a computational dichotomy between different interpretations of reciprocity, and shed some light on the status of the so-called Strong Meaning Hypothesis.

Computational models can aid in the development of philosophical views concerning the structure and growth of scientific knowledge. In cognitive psychology, computational models have proved valuable for describing the structures and processes of thought and for testing these models by writing and running computer programs using the techniques of artificial intelligence. Similarly, in the philosophy of science models can be developed that shed light on the structure, discovery, and justification of scientific theories. This paper briefly describes a computational model of (...) problem solving and learning that has been used to simulate several kinds of scientific reasoning. (shrink)

In current philosophical research the term 'philosophy of social action' can be used - and has been used - in a broad sense to encompass the following central research topics: 1) action occurring in a social context; this includes multi-agent action; 2) joint attitudes (or "we-attitudes" such as joint intention, mutual belief) and other social attitudes needed for the explication and explanation of social action; 3) social macro-notions, such as actions performed by social groups and properties of social groups such (...) as their goals and beliefs; 4) social norms and social institutions (see Tuomela, 1984, 1995). The theory of social action understood analogously in a broad sense would then involve not only philosophical but all other relevant theorizing about social action. Thus, in this sense, such fields of Artificial Intelligence (AI) as Distributed AI (DAI) and the theory of Multi-Agent Systems (MAS) fall within the scope of the theory of social action. DAI studies the social side of computer systems and includes various well-known areas ranging from Human Computer Interaction, Computer-Supported Cooperative Work, Organizational Processing, Distributed Problem Solving to Simulation of Social Systems and Organizations. Even if I am a philosopher with low artificial intelligence I will below try to say something about what the scope of DAI should be taken to be on conceptual and philosophical grounds. (In the later sections of the paper the central notion of joint intention will be the main topic - in order to illustrate how philosophers and DAI-researchers approach this issue.) Let us now consider the relationship between philosophy - especially philosophy of social action - and DAI. Both are concerned with social matters and in this sense seem to have a connection to social science proper. What kinds of questions should these areas of study be concerned with? In principle, ordinary social science should study all aspects of social life (in various societies and cultures), try to describe it and create general theories to explain it. (shrink)