Steven Shapiro, Yves Lespérance, Hector J. Levesque  Home/Search
Context Related
| toronto.edu/pub/cogro...AAAIfall95.ps.Z toronto.edu/~cogrobo/AAAIfall95.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.yorku.ca/~lespe...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we use an extended version of the situation calculus to formalize goals and rational action. We then use these notions and a definition of ability (Lesp'erance et al. 1995b) to show that an agent that is acting rationally will achieve its goals when it is able to do so. 1 Introduction This paper describes work on rational action that arose from our efforts to create an explicit representation of the goals of agents in the situation calculus. The utility of an explicit... (Update)
Context of citations to this paper: More
...results about REQUEST, because we have not provided a formalization of goals and intentions. Such a formalization is developed in [28, 29]. In the next section, we show that the simple communication tools specified above are sufficient for developing interesting applications....
.... typically involve sensing [Levesque96] Earlier work on agent centered representations [LL95] has also been incorporated in our framework [SLL95]. In another project, we are developing tools based on CONGOLOG for modeling business and organizational processes [YML96] In...
Cited by: More
Rational Action in Agent Programs with Prioritized Goals - Sardina, Shapiro (2003) (Correct)
Temporal Representation and Reasoning in Artificial.. - Chittaro, Montanari (2002) (Correct)
Natural Actions, Concurrency and Continuous Time in the Situation .. - Reiter (1996) (Correct)
Active bibliography (related documents): More All
0.5: Reasoning about Noisy Sensors and Effectors in the.. - Bacchus, Halpern.. (1998) (Correct)
0.5: Speech Act Theory and Epistemic Planning - Ramsay (Correct)
0.3: Reasoning about Physical Systems with the Situation Calculus - Kelley (1995) (Correct)
Similar documents based on text: More All
0.3: On Ability to Autonomously Execute Agent Programs with .. - Sardina, De Giacomo.. (Correct)
0.3: Knowledge Equivalence in Combined Action Theories - Petrick, Levesque (2002) (Correct)
0.3: The Situation Calculus with Sensing and Indexical Knowledge - Scherl, Levesque (1995) (Correct)
Related documents from co-citation: More All
8: The frame problem and knowledge producing actions - Scherl, Levesque - 1993
7: The frame problem in the situation calculus: a simple solution (context) - Reiter - 1991
6: ADL: Exploring the middle ground between STRIPS and the situation calculus (context) - Pednault - 1989
BibTeX entry: (Update)
Steven Shapiro, Yves Lesperance, and Hector J. Levesque. Goals and rational action in the situation calculus --- a preliminary report. In Working Notes of the AAAI Fall Symposium on Rational Agency: Concepts, Theories, Models, and Applications, Cambridge, MA, November 1995. To appear. http://citeseer.ist.psu.edu/shapiro95goals.html More
@inproceedings{ shapiro95goals,
author = "Steven Shapiro and Yves Lesp\'erance and Hector J. Levesque",
title = "Goals and Rational Action in the Situation Calculus---{A} Preliminary Report",
booktitle = "Working Papers of the {AAAI} Fall Symposium on Rational Agency: Concepts, Theories, Models, and Applications",
publisher = "American Association for Artificial Intelligence",
address = "Menlo Park, California",
editor = "Michael Fehling",
pages = "117--122",
year = "1995",
url = "citeseer.ist.psu.edu/shapiro95goals.html" }
Citations (may not include all citations):399 Intention is choice with commitment (context) - Cohen, Levesque - 1990
178 ADL: Exploring the middle ground between STRIPS and the situ.. (context) - Pednault - 1989
127 State constraints revisited - Lin, Reiter - 1994
60 The case for domain-specific frame axioms (context) - Haas - 1987
30 A logical approach to high-level robot programming -- a prog.. (context) - Lesp'erance, Levesque et al. - 1994
28 A representationalist theory of intention - Konolige, Pollack - 1993
22 Monotonic solution to the frame problem in the situation cal.. (context) - Schubert - 1990
14 Foundations of a logical approach to agent programming (context) - Lesp'erance, Levesque et al.
3 Some philosophical problems from the standpoint of artificia.. (context) - Logic, -- et al. - 1979
2 Ability and knowing how in the situation calculus (context) - Lesp'erance, Levesque et al.
2 A formal theory of knowledge and action (context) - Meltzer, Michie et al. - 1985
1 Control of the Physical World by Intelligent Agents (context) - Kuipers, ed - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.yorku.ca/~lesperan/publications.html): More
Reactivity in a Logic-Based Robot Programming Framework - Lespérance, Tam.. (1998) (Correct)
An Argument for Indexical Representations in Temporal.. - Lespérance.. (1994) (Correct)
Foundations of a Logical Approach to Agent Programming - Lespérance.. (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC