Action and planning in embedded agents
Robotics and Autonomous SystemsPublished 1 June 1990
Leslie Pack Kaelbling, Stanley J. Rosenschein
Citations193
SJR quartileQ1
SJR score1.17
SNIP1.99
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
The situated automata approach to agent design is reviewed and issues of planning and action in the situated-automata framework are explored.
Abstract
Embedded agents are computer systems that sense and act on their environments, monitoring complex dynamic conditions and affecting the environment in goal-directed ways. This paper briefly reviews the situated automata approach to agent design and explores issues of planning and action in the situated-automata framework.
Keywords
Computer Science
IEEE Journal on Robotics and AutomationA robust layered control system for a mobile robot
7,718 Citations1986Rodney A. Brooks
A new architecture for controlling mobile robots is described, building a robust and flexible robot control system that has been used to control a mobile robot wandering around unconstrained laboratory areas and computer machine rooms.
National Conference on Artificial IntelligenceAn analysis of time-dependent planning
778 Citations1988Thomas Dean, Mark Boddy
This paper presents a framework for exploring issues in time-dependent planning: planning in which the time available to respond to predicted events varies, and the decision making required to formulate effective responses is complex.
Universal plans for reactive robots in unpredictable environments
478 Citations1987Marcel Schoppers
This paper describes a new kind of plan, called a "universal plan", which can be synthesized automatically, yet generates appropriate behavior in unpredictable environments, and explicitly identifies predicates requiring monitoring at each moment of execution.
Elsevier eBooksTHE SYNTHESIS OF DIGITAL MACHINES WITH PROVABLE EPISTEMIC PROPERTIES
283 Citations1986Stanley J. Rosenschein, Leslie Pack Kaelbling
This paper describes how epistemic properties of synchronous digital machines can be analyzed, starting at the level of gates and delays, by modeling the machine's components as agents in a multi-agent system and reasoning about the flow of information among them.
New Generation ComputingFormal theories of knowledge in AI and robotics
170 Citations1985Stanley J. Rosenschein
This work contrasts this conception of what it means for a machine to know a proposition with another, the situated-automata approach, which seeks to analyze knowledge in terms of relations between the state of a machine and thestate of its environment over time using logic as a metalanguage in which the analysis is carried out.
International Joint Conference on Artificial IntelligencePlan synthesis: a logical perspective
102 Citations1981Stanley J. Rosenschein
A generalized notion of "progression" and "regression" of conditions through actions is developed, which leads to a bidirectional single - level planning algorithm that is easily extended to hierarchical planning.
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
100 Citations1986Joseph Y. Halpern
This volume consists of nineteen papers together with a few invited papers intended to provide an overview of the state of the art of the field of reasoning about knowledge to be a useful volume of extremely high-quality papers.
National Conference on Artificial IntelligenceGoals as parallel program specifications
99 Citations1988Leslie Pack Kaelbling
Gapps is designed for use in domains that require real-time response, that cannot be completely characterized by operator descriptions, and that allow multiple actions to be carried out in parallel.
Rex - A symbolic language for the design and parallel implementationof embedded systems
28 Citations1987Leslie Pack Kaelbling
Rex! a LISP-based language that has been used to implement a variety of mobile-robot control programs, satisfies these criteria and is a viable alternative for the implementation of embedded systems.
NASA Technical Reports Server (NASA)Integrating Planning and Reactive Control
10 Citations1989Stanley J. Rosenschein, Leslie Pack Kaelbling
This work modeling reactive control systems as state machines that map a stream of sensory inputs to a stream of control outputs shows that the distinction between planned and reactive behavior is largely in the eye of the beholder: systems that seem to compute explicit plans can be redescribed in situation-action terms and vice versa.