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)

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)

Noam Chomsky and Frances Egan argue that David Marr’s computational theory of vision is not intentional, claiming that the formal scientific theory does not include description of visual content. They also argue that the theory is internalist in the sense of not describing things physically external to the perceiver. They argue that these claims hold for computational theories of vision in general. Beyond theories of vision, they argue that representational content does not figure as a topic within formal computational theories (...) in cognitive science. I demonstrate that Chomsky’s and Egan’s claims about Marr’s theory are false. Marr’s computational theory contains a mathematical theory of visual content, based on empirical psychophysical evidence. It also contains mathematical descriptions of distal physical surfaces and objects, and of their optic projection to the perceiver. Much computational research on vision contains these types of intentional and externalist components within the formal, mathematical, theories. Chomsky’s and Egan’s claims demonstrate inadequate study and understanding of Marr’s work and other research in this area. Computational theories of vision, by containing empirically based mathematical theories of visual content, to this extent present naturalizations of semantics. (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.

The concept of joint action is at the core of numerous diverse research topics, including philosophical explorations of social action, studies of human dialogue, human-computer interaction, computer-supported collaborative work, multiagent systems, distributed artificial intelligence, distributed simulation, and contract law. It is therefore remarkable that so central a concept has received so little detailed analysis, in comparison with studies of individuals. However, in recent years, the study of joint action has begun to undergo more intense scrutiny, primarily from philosophers and researchers (...) in artificial intelligence. These two disciplines often address similar topics but with different motivations, methodologies, tools, and criteria for success. Although this paper is inspired by philosophical work, it is squarely motivated by the concerns of building intelligent systems that are capable of collaborative behavior, either with a user, or with other such systems. Still, we hope that the paper sheds light on philosophical issues, and treats the subject of joint action at a sufficiently precise level to be illuminating of problems that any philosophical account needs to confront. (shrink)

_Contents:_ Translator's Introduction_ Selected Bibliography Note on the Text _ The Vocation of Man__ Preface Book One: Doubt Book Two: Knowledge Book Three: Faith.

We claim that adjustable parameters play a crucial role in building and applying simulation models. We analyze that role and illustrate our findings using examples from equations of state in thermodynamics. In building simulation models, two types of experiments, namely, simulation and classical experiments, interact in a feedback loop, in which model parameters are adjusted. A critical discussion of how adjustable parameters function shows that they are boon and bane of simulation. They help to enlarge the scope of simulation far (...) beyond what can be determined by theoretical knowledge, but at the same time undercut the epistemic value of simulation models. (shrink)

Contents \t\t\t\t\t \tTRANSLATOR'S INTRODUCTION \t\t1 \t \tNOTE ON THE TRANSLATION \t\t39 \t OBSERVATIONS ON THE FEELING OF THE BEAUTIFUL AND SUBLIME \t\t\t\t\t \tSECTION ONE: \t\t\t\t \t\tOf the Distinct Objects of the Feeling of the Beautiful and Sublime \t\t45 \tSECTION TWO: \t\t\t\t \t\tOf the Attributes of the Beautiful and Sublime.

Aim of the lectures -- Early Brahmanical literature -- Panini's grammar -- A passage from the Chandogya Upanisad -- The structures of languages -- The Buddhist contribution -- Vaisesika and language -- Verbal knowledge -- The contradictions of Nagarjuna -- The reactions of other thinkers -- Sarvastivada Samkhya -- The Agamasastra of Gaudapada -- Sankara -- Kashmiri Saivism -- Jainism -- Early Vaisesika -- Critiques of the existence of a thing before its arising -- Nyaya -- Mimamsa -- The Abhidharmakosa (...) bhasya of Vasubandhu -- The Abhidharmasamuccaya of Asanga and its bhasya -- Bhartrhari -- The problem of negation -- Dignaga and verbal knowledge -- The Bodhisattvabhumi -- Prajnakaragupta -- Indian thinkers and the correspondence principle -- Appendix. The Mahaprajnaparamitasastra and the Samkhya tanmatras. (shrink)

This chapter explores the ideological dimension of dehumanization in the context of National Socialism, focusing on the connection between concepts of humanity and dehumanizing images. NS regarded itself as a political revolution, realizing a new concept of humanity. Nazi ideologues undergirded the self-understanding of NS by developing racist anthropologies. I examine two major strands of Nazi ideology, focusing on their diverging strategies of dehumanization, and arguing that they were dependent on different anthropological frameworks. Richard Walther Darré held a naturalistic concept (...) of humanity and advanced biologistic forms of dehumanization. Alfred Rosenberg developed a dualistic anthropology that combined metaphysical and natural features. He dehumanized certain groups of people by reducing them to being human in a natural sense only. Moreover, I aim to show that the key motifs of these racist worldviews were prevalent in the scientific and philosophical debates on anthropology in early-twentieth-century Germany. I thus explore the general orientation of both the naturalistic and the anti-naturalistic strand in anthropological thought, unfold the animalizing tendencies of these views, and emphasize their conformity with the key motifs of Nazi ideology. The case of NS should thus exemplify the dehumanizing potential of anthropological theories. (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)

Pars 1. Contemplativa -- Pars 2. Activa.

Philosophers and historians have long been suspicious of modal and counterfactual claims. I argue, however, that historians often legitimately use modal and counterfactual claims for a variety of purposes. They help identify causes, and hence help explain events in history. They are used to defend judgments about people, and to highlight the importance of particular events. I defend these uses of modal claims against two arguments often used to criticize modal reasoning, using the philosophy of science to ground the truth (...) of modal claims. This analysis puts several important points into perspective, including how certain we can be about our claims about what might have been, and the role that determinism plays in those claims. The proper analysis of modality shows, I argue, that counterfactual claims are legitimate and important, if often uncertain, and that issues of determinism are irrelevant to the modal claims used in historical analysis. (shrink)

Episodic memory has been analyzed in a number of different ways in both philosophy and psychology, and most controversy has centered on its self-referential,autonoeticcharacter. Here, we offer a comprehensive characterization of episodic memory in representational terms and propose a novel functional account on this basis. We argue that episodic memory should be understood as a distinctive epistemic attitude taken toward an event simulation. In this view, episodic memory has a metarepresentational format and should not be equated with beliefs about the (...) past. Instead, empirical findings suggest that the contents of human episodic memory are often constructed in the service of the explicit justification of such beliefs. Existing accounts of episodic memory function that have focused on explaining its constructive character through its role in future-oriented mental time travel do justice neither to its capacity to ground veridical beliefs about the past nor to its representational format. We provide an account of the metarepresentational structure of episodic memory in terms of its role in communicative interaction. The generative nature of recollection allows us to represent and communicate the reasons why we hold certain beliefs about the past. In this process, autonoesis corresponds to the capacity to determine when and how to assert epistemic authority in making claims about the past. A domain where such claims are indispensable are human social engagements. Such engagements commonly require the justification of entitlements and obligations, which is often possible only by explicit reference to specific past events. (shrink)

The philosophy of Christian Wolff is regarded to represent one of the most important schools of thought of the 18th century Enlightenment. The influence of this philosophy was based on a network of followers and disciples who propagated Wolff s work in the scholarly community and defended it against critics. This book, for the first time, explores the role of Ernst Christoph von Manteuffel. As imperial count, minister in the Cabinet of Poland Saxony and an agent of the Court of (...) Vienna, he was the decisive figure who initiated this network and led it for more than one and a half decades until his death in 1749. ". (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)

Human adults possess the extraordinary ability to produce mental imagery about a wide variety of non-occurrent events. We can, for example, simulate the perception of different places, different times, different possibilities, or others’ perspectives. Findings from cognitive psychology, neuropsychology, and cognitive neuroscience suggest that all of these capacities rely on the same neuro-cognitive mechanism: episodic simulation. This ability produces mental imagery by constructively recombining elements of past experiences to simulate event representations. However, if episodic simulation indeed produces mental imagery, it (...) remains unclear how the non-imagistic aspects of its outputs become cognitively determined. In this article, I argue that there are (at least) four such non-imagistic ‘dimensions’ of episodic simulation: specificity, temporal orientation, subjectivity, and factuality. Further, I propose an account of the mechanisms which might be responsible for determining where a given output of episodic simulation falls within this dimensional space. According to this view, episodic simulation relies on propositional ‘scope-operators’ either deployed as inputs to the simulation process itself or produced by post-hoc monitoring processes operating over its outputs. This view has consequences for how we should view the operation, development, and evolution of episodic simulation. (shrink)

Designing and building complex artifacts like simulation models often rely on the strategy of modularity. My main claim is that the validation of simulation models faces a challenge of holismHolism because modularityModularity tends to erode over the process of building a simulation model. Two different reasons that fuel the tendency to erosion are analyzed. Both are based on the methodologyMethodology of simulation, but on different levels. The first has to do with the way parameter adjustment works in simulation; the second (...) comes from how different groups of software programmers work together. The chapter will conclude by drawing lessons about how holism challenges the validation of simulation and by discussing a corollary to conformational holism: the boundary between validation and verification tends to become blurred, thus undermining a strategy that insists on keeping them separate. (shrink)

Der dritte Band der Studienausgabe enthält die beiden zentralen Vorlesungen der praktischen Philosophie Fichtes aus der späten Berliner Zeit, die Rechtslehre von 1812 und die Sittenlehre von 1812. Ihnen vorangestellt sind die >Vorlesungen über die Bestimmung des Gelehrten, die Fichte im Sommersemester 1811 gehalten hat. Aufbauend auf der Bestimmung der wissenschaftlichen und philosophischen Erkenntnis in seinen Einleitungsvorlesungen in die Philosophie (s. Band I und II), zeigt Fichte hier, was das Wesen des Wissenschaftlers bzw. des Gelehrten ausmacht, seine spezifische Aufgabe und (...) seine sittliche Verantwortung in der Welt. - Fichtes Rechtslehre wird streng nach der Handschrift ohne weitergehende Ergänzungen wiedergegeben; so lassen sich die Unterschiede zur Grundlage des Naturrechts von 1796 bei aller Strukturähnlichkeit deutlich erkennen. - Ganz im Sinne der späten Wissenschaftslehre als Lehre der Erscheinung des Absoluten geht die Sittenlehre 1812 von einem höchsten Grundsatz aus, dem absoluten Bilden, das als oberstes Ideal, in Fichtes Terminologie als Begriff, erscheint. Die Analyse des Satzes Der Begriff sey Grund der Welt. (shrink)