John Searle's Speech Acts (1969) and Expression and Meaning (1979) developed a highly original and influential approach to the study of language. But behind both works lay the assumption that the philosophy of language is in the end a branch of the philosophy of the mind: speech acts are forms of human action and represent just one example of the mind's capacity to relate the human organism to the world. The present book is concerned with these biologically fundamental capacities, and, (...) though third in the sequence, in effect it provides the philosophical foundations for the other two. Intentionality is taken to be the crucial mental phenomenon, and its analysis involves wide-ranging discussions of perception, action, causation, meaning, and reference. In all these areas John Searle has original and stimulating views. He ends with a resolution of the 'mind-body' problem. (shrink)

After having defined the KARO logic for specifying intelligent agents in earlier work we now turn to the question how to realise agents specified in the KARO framework. To this end we look at agent programming languages that we have defined, and investigate how programs in these languages can be linked to the KARO logic.

We develop a conceptual and formal clarification of notion of surprise as a belief-based phenomenon by exploring a rich typology. Each kind of surprise is associated with a particular phase of cognitive processing and involves particular kinds of epistemic representations (representations and expectations under scrutiny, implicit beliefs, presuppositions). We define two main kinds of surprise: mismatch-based surprise and astonishment. In the central part of the paper we suggest how a formal model of surprise can be integrated with a formal model (...) of belief change. We investigate the role of surprise in triggering the process of belief reconsideration. There are a number of models of surprise developed in the psychology of emotion. We provide several comparisons of our approach with those models. (shrink)

We present a modal logic called (logic of intention and attempt) in which we can reason about intention dynamics and intentional action execution. By exploiting the expressive power of , we provide a formal analysis of the relation between intention and action and highlight the pivotal role of attempt in action execution. Besides, we deal with the problems of instrumental reasoning and intention persistence.

The Structure of Emotions argues that emotion concepts should have a much more important role in the social and behavioural sciences than they now enjoy, and shows that certain influential psychological theories of emotions overlook the explanatory power of our emotion concepts. Professor Gordon also outlines a new account of the nature of commonsense (or ‘folk’) psychology in general.

Emotions are viewed as having evolved through their adaptive value in dealing with fundamental life-tasks. Each emotion has unique features: signal, physiology, and antecedent events. Each emotion also has characteristics in common with other emotions: rapid onset, short duration, unbidden occurrence, automatic appraisal, and coherence among responses. These shared and unique characteristics are the product of our evolution, and distinguish emotions from other affective phenomena.

In this article we strive to provide a detailed and principled analysis of the role of beliefs in goal processing—that is, the cognitive transition that leads from a mere desire to a proper intention. The resulting model of belief-based goal processing has also relevant consequences for the analysis of intentions, and constitutes the necessary core of a constructive theory of intentions, i.e. a framework that not only analyzes what an intention is, but also explains how it becomes what it is. (...) We discuss similarities and differences between our approach and other standard accounts of intention, in particular Bratman’s planning theory. The aim here is to question and refine the conceptual foundations of many theories of intentional action: as a consequence, although our analysis is not formal in itself, it is ultimately meant to have deep consequences for formal models of intentional agency. (shrink)

In this paper we introduce a system S5U, formed by adding to the modal system S5 a new connective U, Up being read “probably”. A few theorems are derived in S5U, and the system is provided with a decision procedure. Several decidable extensions of S5U are discussed, and probability logic is related to plurality quantification.

What happens to our conception of mind and rational agency when we take seriously future-directed intentions and plans and their roles as inputs into further practical reasoning? The author's initial efforts in responding to this question resulted in a series of papers that he wrote during the early 1980s. In this book, Bratman develops further some of the main themes of these essays and also explores a variety of related ideas and issues. He develops a planning theory of intention. Intentions (...) are treated as elements of partial plans of action. These plans play basic roles in practical reasoning, roles that support the organization of our activities over time and socially. Bratman explores the impact of this approach on a wide range of issues, including the relation between intention and intentional action, and the distinction between intended and expected effects of what one intends. (shrink)

What are 'emotions'? This book offers a balanced survey of facts and theory.

Darwin discusses why different muscles are brought into action under different emotions and how particular animals have adapted for association with man.

Linking the process of rational decision making to emotions, an award-winning scientist who has done extensive research with brain-damaged patients notes the dependence of thought processes on feelings and the body's survival-oriented regulators. 50,000 first printing.

Appraisal theory has become one of the most active aproaches in the domain of emotion psychology. The appraisal process consists of the subjective evaluation that occurs during the individual's encounter with significant events in the environment, determining the nature of the emotional reaction and experience. The organism's interpretation of events and situations elicits and differentiates its emotional responses, although the exact processes involved and the limits of the theory are still a matter of debate and are currently the object of (...) active research. This volume is intended to become the primary source of information on appraisal for all those interested in emotion, from beginning graduate students to accomplished researchers in emotion psychology. (shrink)

Written in an outstandingly clear and lively style, this 1969 book provokes its readers to rethink issues they may have regarded as long since settled.

Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed ...

A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an (...) up-to-date and reliable guide essential for the student. (shrink)

One of the objectives of Artificial Intelligence has been the modelling of "human" characteristics, such as emotions, behaviour, conscience, etc. But in such characteristics we might find certain degree of contradiction. Previous work on modelling emotions and its problems are reviewed. A model for emotions is proposed using multidimensional logic, which handles the degree of contradiction that emotions might have. The model is oriented to simulate emotions in artificial societies. The proposed solution is also generalized for actions which might overcome (...) contradiction (conflictive goals in agents, for example.). (shrink)