Michael P. Georgeff and Amy L. Lansky. Procedural knowledge. Technical Report 411, Artificial Intelligence Center, SRI International, January 1987. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Remote Agent: To Boldly Go Where No AI System Has Gone.. - Muscettola, Nayak.. (1998) (76 citations) (Correct)
....spacecraft model for both MI and MR. A configuration goal is a specification of a set of hardware and software configurations (or modes) More than one configuration can satisfy a configuration goal, corresponding 3 Similar concerns apply to other procedural execution systems, like PRS [37], RPL [46] Interrap [50] and Golog [43] Planner Executive Commands Monitored values State updates Goals Model Reconfig. cmds. Spacecraft MR MI Figure 11: Livingstone architecture diagram. Figure 12: Different configurations that achieve thrust. The circled valve has failed. to line and ....
Michael P. Georgeff and Amy L. Lansky. Procedural knowledge. Technical Report 411, Artificial Intelligence Center, SRI International, January 1987.
Goal Solving as Operational Semantics - Dershowitz (1995) (3 citations) (Correct)
....functional programming; assignment by unification and goal solving are borrowed from logic programming. One can, for instance, begin with a functional language like Lisp and add backtracking and unification. In fact, some early languages for Artificial Intelligence, like Planner [18] and Qlisp [40], had these facilities (and more) One can, alternatively, add set constructs to functional languages [22, 27, 33, and others] Or one can go in the opposite direction, starting with Prolog and adding function definitions. Such languages normalize terms before attempting unification, but do not ....
B. Michael Wilber. A Qlisp reference manual. Technical note 118, Artificial Intelligence Center, Stanford Research Institute, Menlo Park, CA, March 1976.
An Autonomous Spacecraft Agent Prototype - Pell, Bernard, Chien, Gat.. (1998) (39 citations) (Correct)
....recovery. An Autonomous Spacecraft Agent Prototype 21 Their architecture lacks a sophisticated diagnosis component and the ability to reason about concurrent temporal activity and tight resources. The Cypress [44] architecture combines a planning and an execution system (SIPE II [45] and PRS [18]) using a common representation called ACT [46] This serves as an example of a unified knowledge representation for use by heterogeneous architectural components, as we discussed in Section 4.8. Cypress is similar to NMRA, and unlike most other architectures, in that it makes use of a component ....
Michael P. Georgeff and Amy L. Lansky. Procedural knowledge. Technical Report 411, Artificial Intelligence Center, SRI International, January 1987.
The Remote Agent Executive: Capabilities to Support.. - Pell, Dorais.. (1998) (7 citations) (Correct)
....RAPS provides a tighter level of structuring, which simplifies tracing and potentially generation of action networks from planners. However, ESL provides better support for structured objects and language extension, both of which were crucial for our large software engineering project. PRS [ Georgeff and Lansky, 1987 ] and RPL [ McDermott, 1991 ] are similar languages that support general execution and agent construction. Interrap [ Muller and Pischel, 1994 ] and Golog [ Levesque et al. 1997 ] provide execution languages based on logic programming. Unlike most other general execution systems, TCA [ Simmons, ....
Michael P. Georgeff and Amy L. Lansky. Procedural knowledge. Technical Report 411, Artificial Intelligence Center, SRI International, January 1987.
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