Download:
|
by Yves Lesperance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Ray Reiter, Richard B. Scherl
http://www.isi.edu/~marcu/papers/can-ai-magazine96.ps
Add To MetaCart
Abstract:
To build an agent that acts intelligently and can be given high-level instructions about what to do, one needs to give it a knowledge base containing information about its environment and capabilities, and methods for reasoning about the effects of its actions, revising its knowledge when it makes observations, and predicting the actions of other agents. This requires addressing the following knowledge representation issues: * Capturing the Prerequisites and Effects of Actions: A method is needed to represent succinctly the conditions under which actions can be performed (their prerequisites) and the conditions that they are expected to change (their effects). The "frame problem " concerns the effects of actions: how can they be specified without requiring one to stipulate explicitly the numerous conditions not affected by the action. * Perception and Other Knowledge-Producing Actions: For embodied
Citations
|
524
|
The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression
– Reiter
- 1991
|
|
404
|
GOLOG: A logic programming language for dynamic domains
– Levesque, Reiter, et al.
- 1997
|
|
122
|
Temporal Reasoning in the Situation Calculus
– Pinto
- 1994
|
|
114
|
Natural actions, concurrency and continuous time in the situation calculus
– Reiter
- 1996
|
|
90
|
The Frame Problem and Knowledge Producing Actions
– Scherl, Levesque
- 1993
|
|
85
|
A Logical Approach to High-Level Robot Programming - A Progress Report
– Lespérance, Levesque, et al.
- 1994
|
|
61
|
Foundations of a logical approach to agent programming
– Lesperance, Levesque, et al.
- 1996
|
|
47
|
Reasoning about noisy sensors in the situation calculus
– Bacchus, Halpern, et al.
- 1995
|
|
26
|
Indexical knowledge and robot action - a logical account
– Lespérance, Levesque
- 1995
|
|
20
|
Ability and knowing how in the situation calculus
– Lespérance, Levesque, et al.
- 2000
|
|
11
|
Goals and rational action in the situation calculus — a preliminary report
– Shapiro, Lespérance, et al.
- 1995
|
|
3
|
Reasoning about physical systems with the situation calculus
– Kelley
- 1996
|
|
1
|
What is planning in the presence of sensing? To appear in The
– Levesque
- 1996
|
|
1
|
GOLOG as an agent-programming language: Experiments in developing banking applications
– Ruhman
- 1996
|
|
1
|
The Situation Calculus with Sensing and Indexical Knowledge
– Scherl, Levesque, et al.
- 1995
|
|
1
|
Modelling the Organization: New Concepts and Tools for Re-Engineering, to appear
– Yu, Mylopoulos, et al.
- 1996
|
