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
Journal ArticleDOI
MAPGEN: mixed-initiative planning and scheduling for the Mars Exploration Rover mission
Mitchell Ai-Chang,John L. Bresina,L. Charest,A. Chase,Jennifer Hsu,Ari K. Jonsson,Bob Kanefsky,Paul Morris,Kanna Rajan,Jeffrey Yglesias,B.G. Chafin,W.C. Dias,P.F. Maldague +12 more
TL;DR: MAPGEN is the first AI-based system to control a space platform on another planet's surface and discusses the issues arising from combining these tools in this mission's context.
Journal ArticleDOI
Model checking agent programming languages
TL;DR: This is the first comprehensive approach to the verification of programs developed using programming languages based on the BDI (belief-desire-intention) model of agency, and develops a specific layer of abstraction that maps the semantics of agent programs into the relevant model-checking framework.
Book
Using Runtime Analysis to Guide Model Checking of Java Programs
TL;DR: Two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java programs to generate a set of warnings which can be used to guide a model checker, thereby reducing the search space.
Journal ArticleDOI
Boolean satisfiability from theoretical hardness to practical success
Sharad Malik,Lintao Zhang +1 more
TL;DR: Satisfiability solvers can now be effectively deployed in practical applications and shown to be applicable to a wide range of problems.
Proceedings ArticleDOI
Model checking agentspeak
TL;DR: It is shown how ASF programs can be transformed into Prm, the model specification language for the Spin model-checking system, and whether or not multi-agent systems implemented in ASF satisfy specifications expressed as BDI logic formulæ is verified.
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.