Remote Agent: to boldly go where no AI system has gone before
Reads0
Chats0
TLDR
The Remote Agent is described, a specific autonomous agent architecture based on the principles of model-based programming, on-board deduction and search, and goal-directed closed-loop commanding, that takes a significant step toward enabling this future of space exploration.About:
This article is published in Artificial Intelligence.The article was published on 1998-08-01 and is currently open access. It has received 727 citations till now. The article focuses on the topics: Autonomous agent & Procedural reasoning system.read more
Citations
More filters
Advanced Diagnostics and Prognostics Testbed
Scott Poll,Ann Patterson-Hine,Joe Camisa,David Garcia,David N. Hall,Charles Lee,Ole J. Mengshoel,Christian Neukom,David Nishikawa,John Ossenfort,Adam Sweet,Serge Yentus +11 more
TL;DR: The Advanced Diagnostics and Prognostics Testbed at NASA Ames Research Center is described, to measure, evaluate, and mature diagnostic and prognostic health management technologies.
Book ChapterDOI
A structural characterization of temporal dynamic controllability
TL;DR: In this paper, a new analysis of temporal cycles is presented, which leads to an O(N4) algorithm for testing whether a temporal network is Dynamically Controllable, i.e., whether the temporal requirements are feasible under uncertain durations of some processes.
Proceedings ArticleDOI
Autonomous rovers for Mars exploration
TL;DR: In this paper, an on-board executive architecture that incorporates robust flexible operation, resource utilization, and failure recovery was designed for the Pathfinder mission, and ground tools were designed to produce and refine contingent schedules that take advantage of the onboard architecture's flexible execution characteristics.
Proceedings Article
Formal Analysis of the Remote Agent Before and After Flight
Klaus Havelund,Michael Lowry,Seungjoon Park,Charles Pecheur,John Penix,Willem Visser,Jon L. White +6 more
TL;DR: It is demonstrated that formal methods tools can find concurrency errors that indeed lead to loss of spacecraft functions, even for the complex software required for autonomy.
Journal ArticleDOI
Constraint satisfaction techniques in planning and scheduling
TL;DR: This paper introduces the main definitions and techniques of constraint satisfaction, planning and scheduling from the Artificial Intelligence point of view.
References
More filters
Journal Article
Maintaining knowledge about temporal intervals
TL;DR: An interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation, which is notable in offering a delicate balance between space and time.
Journal ArticleDOI
Maintaining knowledge about temporal intervals
TL;DR: In this paper, an interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation, which is notable in offering a delicate balance between time and space.
Intelligence without Representation
TL;DR: Brooks et al. as mentioned in this paper decompose an intelligent system into independent and parallel activity producers which all interface directly to the world through perception and action, rather than interface to each other particularly much.
Journal ArticleDOI
Intelligence without representation
TL;DR: Brooks et al. as discussed by the authors decompose an intelligent system into independent and parallel activity producers which all interface directly to the world through perception and action, rather than interface to each other particularly much.
Lecture Notes in Artificial Intelligence
P. Brezillon,P. Bouquet +1 more
TL;DR: The topics in LNAI include automated reasoning, automated programming, algorithms, knowledge representation, agent-based systems, intelligent systems, expert systems, machine learning, natural-language processing, machine vision, robotics, search systems, knowledge discovery, data mining, and related programming languages.