This paper explores principles governing the rational balance among an agent's beliefs, goals, actions, and intentions. Such principles provide specifications for artificial agents, and approximate a theory of human action (as philosophers use the term). By making explicit the conditions under which an agent can drop his goals, i.e., by specifying how the agent is committed to his goals, the formalism captures a number of important properties of intention. Specifically, the formalism provides analyses for Bratman's three characteristic functional roles played (...) by intentions [7, 9], and shows how agents can avoid intending all the foreseen side-effects of what they actually intend. Finally, the analysis shows how intentions can be adopted relative to a background of relevant beliefs and other intentions or goals. By relativizing one agent's intentions in terms of beliefs about another agent's intentions (or beliefs'), we derive a preliminary account of interpersonal commitments. (shrink)

This book describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. The idea of knowledge bases lies at the heart of symbolic, or "traditional," artificial intelligence. A knowledge-based system decides how to act by running formal reasoning procedures over a body of explicitly represented knowledge—a knowledge base. The system is not programmed for specific tasks; rather, it is (...) told what it needs to know and expected to infer the rest. This book is about the logic of such knowledge bases. It describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. Assuming some familiarity with first-order predicate logic, the book offers a new mathematical model of knowledge that is general and expressive yet more workable in practice than previous models. The book presents a style of semantic argument and formal analysis that would be cumbersome or completely impractical with other approaches. It also shows how to treat a knowledge base as an abstract data type, completely specified in an abstract way by the knowledge-level operations defined over it. (shrink)

What is involved when a group of agents decide to do something together? Joint action by a team appears to involve more than just the union of simultaneous individual actions, even when those actions are coordinated. We would not say that there is any teamwork involved in ordinary automobile traffic, even though the drivers act simultaneously and are coordinated (one hopes) by the traffic signs and rules of the road. But when a group of drivers decide to do something together, (...) such as driving somewhere as a convoy, it appears that the group acts more like a single agent with beliefs, goals, and intentions of its own, over and above the individual ones. [more]. (shrink)

A central problem in applying logical knowledge representation formalisms to traditional robotics is that the treatment of belief change is categorical in the former, while probabilistic in the latter. A typical example is the fundamental capability of localization where a robot uses its noisy sensors to situate itself in a dynamic world. Domain designers are then left with the rather unfortunate task of abstracting probabilistic sensors in terms of categorical ones, or more drastically, completely abandoning the inner workings of sensors (...) to black-box probabilistic tools and then interpreting their outputs in an abstract way. Building on a first-principles approach by Bacchus, Halpern and Levesque, and a recent continuous extension to it by Belle and Levesque, we provide an axiomatization that shows how localization can be realized wrt a basic action theory, thereby demonstrating how such capabilities can be enabled in a single logical framework. We then show how the framework can also enable localization for multiple agents, where an agent can appeal to the sensing already performed by another agent and the knowledge of their relative positions to localize itself. (shrink)

This paper describes an approach for reasoning in a dynamic domain with nondeterministic actions in which an agent’s beliefs correspond to the simplest, or most plausible, course of events consistent with the agent’s observations and beliefs. The account is based on an epistemic extension of the situation calculus, a first-order theory of reasoning about action that accommodates sensing actions. In particular, the account is based on a qualitative theory of nondeterminism. Our position is that for commonsense reasoning, the world is (...) most usefully regarded as deterministic, and that nondeterminism is an epistemic phenomenon, arising from an agent’s limited awareness and perception. The account offers several advantages: an agent has a set of categorical beliefs, yet can deal with equally-likely outcomes or with outcomes of differing plausibility. The agent maintains as its set of contingent beliefs the most plausible, or simplest, picture of the world, consistent with its beliefs and actions it believes it executed; yet it may modify these in light of later information. (shrink)

Proceedings held May 1989. Topics include temporal logic, hierarchical knowledge bases, default theories, nonmonotonic and analogical reasoning, formal theories of belief revision, and metareasoning. Annotation copyright Book News, Inc. Portland, Or.

Most agents can acquire information about their environments as they operate. A good plan for such an agent is one that not only achieves the goal, but is also executable, i.e., ensures that the agent has enough information at every step to know what to do next. In this paper, we present a formal account of what it means for an agent to know how to execute a plan and to be able to achieve a goal. Such a theory is (...) a prerequisite for producing specifications of planners for agents that can acquire information at run time. It is also essential to account for cooperation among agents. Our account is more general than previous proposals, correctly handles programs containing loops, and incorporates a solution to the frame problem. It can also be used to prove programs containing sensing actions correct. (shrink)

Volume 25, Issue 1, February 2020, Page 105-107.

Some basic mathematical facts pertaining to " Catastrophe Theory" are sketched. The alleged applications to the social sciences are studied. Three representative models, due to E.C. Zeeman, are described in detail, and critically analyzed. The models are found to be vaguely formulated, to be based on false hypotheses, to lead to few nontrivial predictions. Moreover, most of those predictions do not agree with reality. Finally, the only nontrivial mathematical result used in these models - Thom 's theorem - is found (...) to be incorrectly applied. It is concluded that no justification exists for the claim that Catastrophe Theory can be applied to the social sciences. (shrink)

The aim of this paper is to explore the interaction between aesthetic properties and cognitive value in serial television. This study is based on a survey focused specifically on one television series: the second season of My Brilliant Friend, created by Saverio Costanzo. The survey was designed with the aim of getting respondents to express their perceptions of the relationship between the aesthetic qualities of the series and their assessment of it in cognitive terms. The responses obtained in the survey (...) offer a clear answer to the key question of concern for this article. The vast majority of respondents (more than 90% in almost all cases) believe that aesthetic and cognitive qualities mutually influence one another. Additionally the qualitative results invite us to further explore interactionism conceptually: the cognitive content is taken as a criterion for evaluating the season’s aesthetic value overall, suggesting a link between meaning and narrative form. (shrink)

To find more information about Rowman and Littlefield titles, please visit www.rowmanlittlefield.com.

This article draws on concepts from cognitive psychology to explore the significance of the narrative climax, focusing on the final climax of the series The Americans as a case study. Two aspects of the aesthetic experience are considered: the special intensity that climaxes elicit, and the diversity of the cognitive content they generate, which can include both aesthetic and non-aesthetic properties. The climax is experienced in a state of absorption triggered by a set of strategies of temporal prolongation related to (...) the main suspenseful moments and plotlines, to character engagement, and to the multiplot structure, involving the content of the narrative itself and the aesthetic qualities that define it. The source of this absorption during the climax lies in the interplay between emotion and cognition in a temporal process that may last for a whole series. To demonstrate this idea, this study identifies key narrative comprehension processes, drawing on the explanatory potential of mental model theory to clarify the importance of memory and interrelated inferential processes. The aim of this research is to contribute to explanations of the role of the climax in serialized television and other artistic works. (shrink)

This book posits an interconnection between the ways in which contemporary television serials cue cognitive operations, solicit emotional responses, and elicit aesthetic appreciation. The chapters explore a number of questions including: How do the particularities of form and style in contemporary serial television engage us cognitively, emotionally, and aesthetically? How do they foster cognitive and emotional effects such as feeling suspense, anticipation, surprise, satisfaction, and disappointment? Why and how do we value some serials while disliking others? What is it about (...) the particularities of serial television form and style, in conjunction with our common cognitive, emotional, and aesthetic capacities, that accounts for serial television's cognitive, socio-political, and aesthetic value, and its current ubiquity in popular culture? This book will appeal to postgraduates and scholars working in television studies as well as film studies, cognitive media theory, media psychology, and the philosophy of art. (shrink)

The subjective effects and therapeutic potential of the shamanic practice of journeying is well known. However, previous research has neglected to provide a comprehensive assessment of the subjective effects of shamanic-like journeying techniques on non-shamans. Shamanic-like techniques are those that demonstrate some similarity to shamanic practices and yet deviate from what may genuinely be considered shamanism. Furthermore, the personality traits that influence individual susceptibility to shamanic-like techniques are unclear. The aim of the present study was, thus, to investigate experimentally the (...) effect of shamanic-like techniques and a personality trait referred to as "ego boundaries" on subjective experience including mood disturbance. Forty-three non-shamans were administered a composite questionnaire consisting of demographic items and a measure of ego boundaries (i.e., the Short Boundary Questionnaire; BQ-Sh). Participants were randomly assigned to one of three conditions: listening to monotonous drumming for 15 minutes coupled with one of two sets of journeying instructions; or sitting quietly with eyes closed for 15 minutes. Participants' subjective experience and mood disturbance were retrospectively assessed using the Phenomenology of Consciousness Inventory (PCI) and the Profile of Mood States-Short Form, respectively. The results indicated that there was a statistically significant difference between conditions with regard to the PCI major dimensions of visual imagery, attention and rationality, and minor dimensions of imagery amount and absorption. However, the shamanic-like conditions were not associated with a major reorganization of the pattern of subjective experience compared to the sitting quietly condition, suggesting that what is typically referred to as an altered state of consciousness effect was not evident. One shamanic-like condition and the BQ-Sh subscales need for order, childlikeness, and sensitivity were statistically significant predictors of total mood disturbance. Implications of the findings for the anthropology of consciousness are also considered. (shrink)

Written by an emigrant French aristocrat turned farmer, the Letters from an American Farmer posed the famous question `What, then, is the American, this new man?', as the new nation took shape before the eyes of the world. Addressing some of American literature's most pressing concerns and issues of identity, the Letters celebrates personal determination, freedom from institutional oppression and the largeness and fertility of the land, and also raises darker and more symbolic elements, particularly slavery. This is the only (...) critical edition available of what is regarded as the first ever work of American literature. (shrink)

The paper presents an exploration of conceptual issues that have arisen in the course of investigating speed-up and slowdown phenomena in small Turing machines, in particular results of a test that may spur experimental approaches to the notion of computational irreducibility. The test involves a systematic attempt to outrun the computation of a large number of small Turing machines (3 and 4 state, 2 symbol) by means of integer sequence prediction using a specialized function for that purpose. The experiment prompts (...) an investigation into rates of convergence of decision procedures and the decidability of sets in addition to a discussion of the (un)predictability of deterministic computing systems in practice. We think this investigation constitutes a novel approach to the discussion of an epistemological question in the context of a computer simulation, and thus represents an interesting exploration at the boundary between philosophical concerns and computational experiments. (shrink)