Comparison to UMPRS
JAM and UMPRS have a common ancestry and, not surprisingly, are similar in a number of ways. The publicly available version of UMPRS15 has not changed much in the last several years while, in contrast, we have been active in adding functionality to JAM. As a result, JAM is significantly more advanced than UMPRS in several areas. In this section, we describe the key similarities and differences between UMPRS and JAM.
Similarities -
World Model: JAM and UMPRS have nearly identical belief representations.
-
Intention Structure: JAM and UMPRS have nearly identical Intention Structure structures and behavior.
-
Constructs: UMPRS’s achieve is JAM’s perform, and, assert, assign, atomic, do-while, execute, fact, load, or, post, retract, retrieve, test, unpost, update, when, while are all essentially identical.
-
Plans: All of the UMPRS plan fields exist within JAM plans (with some fields renamed).
-
Interpreter: JAM and UMPRS embody similar theories of intentionality (ala Bratman) in that their commitment to intentions results in reduced future computation, leads to future action to accomplish their intentions, and poses problems for future deliberation (i.e., subgoals).
-
Cyclic Functionality: The UMPRS CYCLE construct is similar to the JAM Observer construct.
-
Primitive Action Definition Similarities: Users can modify provided source-code files to implement primitive actions.
-
Built-In Functionality: Several simple helpful functions such as printing information, sleeping for a period of time, and removing plans from the agent’s plan library.
Differences -
Constructs: achieve has new, goal-theoretic semantics, maintain, do_all, do_any, parallel, wait.
-
Plans: conclude field for data-driven behavior, separation of true precondition (precondition field) from runtime condition (context field), effects field operates in normal execution mode compared to UMPRS’s special simulation mode, attributes field for metalevel reasoning.
-
Primitive Action Definition: JAM has a significantly improved method of accessing primitive functionality compared to UMPRS. JAM programmers can implement the PrimitiveAction interface or can use JAM’s ability to perform Java-based reflection.
-
Built-In Functionality: JAM provides mobility, metalevel reasoning, extra debugging support that UMPRS doesn’t provide.
REFERENCES
Bratman88:Plans
Michael Bratman, David Israel, and Martha Pollack. Plans and resource bounded practical reasoning. Computational Intelligence, volume 4, pages 349-355, 1988.
Cohen87:Intention
Philip R. Cohen, and Hector J. Levesque, "Intention = Choice + Commitment", Proceedings of the Sixth National Conference on Artificial Intelligence, Seattle, Washington, 410-415, July, 1987.
Fikes71:STRIPS
R. E. Fikes and N. J. Nilsson, "STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving, Artificial Intelligence Journal, Vol 2, pgs 189-208, 1971.
Georgeff87:Reactive
Michael Georgeff and Amy L. Lansky. Reactive Reasoning and Planning. In Proceedings of the Sixth National Conference on Artificial Intelligence, pages 677-682, Seattle, Washington, August 1987.
Georgeff86:Procedural
Michael P. Georgeff and Amy L. Lansky. Procedural Knowledge. Proceedings of the IEEE Special Issue on Knowledge Representation, 74(10):1383-1398, October 1986.
Gray97:Agent
R. S. Gray, D. Kotz, G. Cybenko, and D. Rus. Agent Tcl. In W. Cockayne and M. Zyda editors, Mobile Agents, Manning Publishing, 1997.
Huber93:UMPRS
Marcus J. Huber, Jaeho Lee, Patrick Kenny, and Edmund H.Durfee, UM-PRS Programmer and User Guide, The University of Michigan, Ann Arbor MI 48109, 1993. [Available at http://members.home.net/marcush/IRS]
Ingrand92:Architecture
Francois Ingrand, Michael Georgeff, and Anand Rao. An Architecture for Real-Time Reasoning and System Control. IEEE Expert, 7(6):34-44, December 1992.
Ingrand90:Managing
Francois. F. Ingrand and Michael P. Georgeff. Managing Deliberation and Reasoning in Real-Time AI Systems. In Proceedings of the 1990 DARPA Workshop on Innovative Approaches to Planning, Scheduling, and Control, pages 284-291, San Diego, CA, November 1990.
Lange98:Programming
Lange, Danny and Mitsuru Oshima, Programming and Deploying Java Mobile Agents with Aglets, ISBN: 0-201-32582-9, 1998.
Lee94:UMPRS
Jaeho Lee, Marcus J. Huber, Edmund H. Durfee, and Patrick G. Kenny. UM-PRS: An Implementation of the Procedural Reasoning System for Multirobot Applications. In Conference on Intelligent Robotics in Field, Factory, Service, and Space (CIRFFSS’94), pages 842-849, Houston, Texas, March 1994.
Lee94:Structured
Jaeho Lee and Edmund H. Durfee. Structured Circuit Semantics for Reactive Plan Execution Systems. In Proceedings of the Twelfth National Conference on Artificial Intelligence, pages 1232-1237, July, 1994.
Lee96:Structured
Lee, Jaeho, Structured Circuit Semantics, Ph.D. Thesis, Ann Arbor, MI, 1996.
Lee97:Explicit
Jaeho Lee. An Explicit Semantics for Coordinated Multiagent Plan Execution, Ph.D. dissertation, University of Michigan, 1997.
Myers97:User
User Guide for the Procedural Reasoning System, K. L. Myers, Technical Report, Artificial Intelligence Center, Technical Report, SRI International, Menlo Park, CA, 1997.
Myers97a:Act
The Act Editor User's Guide , K. L. Myers and D. E. Wilkins, Technical Report, Artificial Intelligence Center, SRI International, Menlo Park, CA, 1997
Myers97b:Act
K. L. Myers and D. E. Wilkins, "The Act Formalism", Version 2.2, SRI International Artificial Intelligence Center, Menlo Park, CA, September 1997.
Peine97:ARA
Peine H. “ARA – Agents for Remote Action”, in William Cockayne and Michael Zyda editors, Mobile Agents, Manning Publishing, 1997.
Wilkins95:Common
D. E. Wilkins and K. L. Myers, "A common knowledge representation for plan generation and reactive execution," Journal of Logic and Computation, vol. 5, number 6, pp. 731--761, December 1995
ACKNOWLEDGEMENTS
A number of individuals have submitted bug reports, fixes, and extensions that have resulted in improvements to the JAM distribution. We would like to acknowledge these people here.
Chip McVey from Johns Hopkins University’s Applied Physics Lab (JHU/APL) supplied several primitive functions for performing Lisp-like list manipulations (first, rest, last, etc.) on strings.
Martin Klesen from DFKI (Germany) provided feedback on a number of areas that resulted in bug fixes (rest primitive action), and functional and efficiency improvements (recvMessage primitive, parsing, error handling rather than exiting to facilitate embedding JAM within application code). In addition, Martin submitted a useful primitive function (unassign).
Robert Goldman, Kurt Krebsbach, X, and Y from Honeywell Inc. found a number of bugs, including the POST action (fixed) and mis-handling of variables in plan contexts when they are passed in as arguments in the goal specification (not fixed).
We would also like to acknowledge the support of the institution of JHU/APL, which sponsored some extensions under a DARPA (Defense Advanced Research Projects Agency) subcontract.
Share with your friends: |