An architectural approach to ensuring consistency in hierarchical execution

Journal of Artificial Intelligence Research

Volumn 19, Issue , 2003, Pages 355-398

  Wray, Robert E ^a   Laird, John E ^b  

^a SOAR TECHNOLOGY INC   (United States)

^b UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; KNOWLEDGE ENGINEERING; PROBLEM SOLVING;

AGENT KNOWLEDGE; DYNAMIC HIERARCHICAL JUSTIFICATION;

MULTI AGENT SYSTEMS;

EID: 8344232962     PISSN: 10769757     EISSN: 10769757     Source Type: Journal    
DOI: 10.1613/jair.1142     Document Type: Article

References (55)

1. Agre, P. E., & Horswill, I. (1997). Lifeworld analysis. Journal of Artificial Intelligence Research, 6, 111-145.
2. Alchourŕon, C. E., Gärdenfors, P., & Makinson, D. (1985). On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50(2), 510-530.
3. Allen, J. F. (1991). Time and time again. International Journal of Intelligent Systems, 6(4), 341-355.
4. Altmann, E. M., & Gray, W. D. (2002). Forgetting to remember: The functional relationship of decay and interference. Psychological Science, 13, 27-33.
5. Bresina, J., Drummond, M., & Kedar, S. (1993). Reactive, integrated systems pose new problems for machine learning. In Minton, S. (Ed.), Machine Learning Methods for Planning, pp. 159-195. Morgan Kaufmann, San Francisco, CA.
6. Dechter, R. (1990). Enhancement schemes for constraint processing: Backjumping, learning and cutset decomposition. Artificial Intelligence, 41, 273-312.
7. Doyle, J. (1979). A truth maintenance system. Artificial Intelligence, 12, 231-272.
8. Doyle, J. (1994). Reason maintenance and belief revision. In Gärdenfors, P. (Ed.), Belief Revision, pp. 29-51. Cambridge University Press, Cambridge, UK.
9. Eiter, T., & Gottlob, G. (1992). On the complexity of propositional knowledge base revision, updates, and counterfactuals. Artificial Intelligence, 57, 227-270.
10. th National Conference on Artificial Intelligence, pp. 1123-1128.
11. th National Conference on Artificial Intelligence, pp. 202-206.
12. Forbus, K. D., & deKleer, J. (1993). Building Problem Solvers. MIT Press, Cambridge, MA.
13. Forgy, C. L. (1979). On the Efficient Implementation of Production Systems. Ph.D. thesis, Computer Science Department, Carnegie-Mellon University.
14. Gärdenfors, P. (1988). Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge, MA.
15. Gärdenfors, P. (1992). Belief revision. In Pettorossi, A. (Ed.), Meta-Programming in Logic. Springer-Verlag, Berlin, Germany.
16. Gaschnig, J. (1979). Performance measurement and analysis of certain search algorithms. Tech. rep. CMU-CS-79-124, Computer Science Department, Carnegie-Mellon University, Pittsburgh, Pennsylvania.
17. Gat, E. (1991a). Integrating planning and reacting in a heterogeneous asynchronous architecture for mobile robots. SIGART BULLETIN, 2, 71-74.
18. Gat, E. (1991b). Reliable, Goal-directed Control of Autonomous Mobile Robots. Ph.D. thesis, Virginia Polytechnic Institute and State University, Blacksburg, VA.
19. th National Conference on Artificial Intelligence, pp. 677-682.
20. Graham, J., & Decker, K. (2000). Towards a distributed, environment-centered agent frame-work. In Wooldridge, M., & Lesperance, Y. (Eds.), Lecture Notes in Artificial Intelligence: Agent Theories, Architectures, and Languages VI (ATAL-99). Springer-Verlag, Berlin.
21. Hanks, S., Pollack, M., & Cohen, P. R. (1993). Benchmarks, test beds, controlled experimentation and the design of agent architectures. AI Magazine, 14, 17-42.
22. Hayes-Roth, B. (1990). An architecture for adaptive intelligent systems. In Workshop on Innovative Approaches to Planning, Scheduling and Control, pp. 422-432.
23. Jones, R. M., Laird, J. E., Neilsen, P. E., Coulter, K. J., Kenny, P., & Koss, F. V. (1999). Automated intelligent pilots for combat flight simulation. AI Magazine, 20(1), 27-41.
24. th International Joint Conference on Artificial Intelligence, pp. 82-88.
25. th National Conference on Artificial Intelligence, pp. 370-377.
26. th International Conference on Autonomous Agents, pp. 385-392.
27. Laird, J. E., Congdon, C. B., & Coulter, K. J. (1999). Soar user's manual version 8.2. Manual, Department of Electrical Engineering and Computer Science, University of Michigan, http://ai.eecs.umiuch.edu/soar/docs.html.
28. Laird, J. E., Newell, A., & Rosenbloom, P. S. (1987). Soar: An architecture for general intelligence. Artificial Intelligence, 33, 1-64.
29. th National Conference on Artificial Intelligence, pp. 1022-1029.
30. Laird, J. E., & Rosenbloom, P. S. (1995). The evolution of the Soar cognitive architecture. In Steier, D., & Mitchell, T. (Eds.), Mind Matters: Contributions to Cognitive and Computer Science in Honor of Allen Newell. Lawrence Erlbaum Associates, Hillsdale, NJ.
31. McDermott, D. (1991). A general framework for reason maintenance. Artificial Intelligence, 50, 289-329.
32. Mitchell, T. M., Allen, J., Chalasani, P., Cheng, J., Etzioni, O., Ringuette, M., & Schlimmer, J. C. (1991). Theo: A framework for self-improving systems. In VanLehn, K. (Ed.), Architectures for Intelligence, chap. 12, pp. 323-355. Lawrence Erlbaum Associates, Hillsdale, NJ.
33. th National Conference on Artificial Intelligence, pp. 1051-1058.
34. Nebel, B., & Koehler, J. (1995). Plan reuse versus plan generation: A theoretical and empirical analysis. Artificial Intelligence, 76, 427-454.
35. Newell, A. (1990). Unified Theories of Cognition. Harvard University Press, Cambridge, MA.
36. Paolucci, M., Shehory, O., Sycara, K. P., Kalp, D., & Pannu, A. (1999). A planning component for RETSINA agents. In Wooldridge, M., & Lesperance, Y. (Eds.), Lecture Notes in Artificial Intelligence: Agent Theories, Architectures, and Languages VI (ATAL-99), pp. 147-161, Berlin. Springer-Verlag.
37. Pearson, D. J., Huffman, S. B., Willis, M. B., Laird, J. E., & Jones, R. M. (1993). A symbolic solution to intelligent real-time control. Robotics and Autonomous Systems, 11, 279-291.
38. nd International Conference on Principles of Knowledge Representation and Reasoning, pp. 471-484.
39. Russell, S., & Norvig, P. (1995). Artificial Intelligence: A Modern Approach. Prentice Hall, Upper Saddle River, NJ.
40. th International Joint Conference on Artificial Intelligence, pp. 206-214.
41. th International Conference on Autonomous Agents, pp. 209-216.
42. th International Conference on Autonomous Agents, pp. 340-347.
43. Shoham, Y. (1993). Agent-oriented programming. Artificial Intelligence, 60(1), 51-92.
44. Simon, H. A. (1969). The Sciences of the Artificial MIT Press, Cambridge, MA.
45. Stallman, R. M., & Sussman, G. J. (1977). Forward reasoning and dependency-directed backtracking in a system for computer aided circuit analysis. Artificial Intelligence, 9(2), 135-196.
46. Sycara, K., Decker, K., Pannu, A., Williamson, M., & Zeng, D. (1996). Distributed intelligent agents. IEEE Expert, 11(6), 36-46.
47. Tambe, M. (1991). Eliminating Combinatorics from Production Match. Ph.D. thesis, Carnegie-Mellon University. (Also published as Technical Report CMU-CS-91-150, Computer Science Department, Carnegie Mellon University.).
48. Tambe, M., Johnson, W. L., Jones, R. M., Koss, F., Laird, J. E., Rosenbloom, P. S., & Schwamb, K. (1995). Intelligent agents for interactive simulation environments. AI Magazine, 16(1), 15-39.
49. th International Conference on Artificial Intelligence Planning Systems, pp. 171-180.
50. Wilkins, D. E., Myers, K. L., Lowrance, J. D., & Wesley, L. P. (1995). Planning and reacting in uncertain and dynamic environments. Journal of Experimental and Theoretical Artificial Intelligence, 7(1), 197-227.
51. Wooldridge, M. (2000). Reasoning about Rational Agents. MIT Press, Cambridge, MA.
52. Wray, R. E. (1998). Ensuring Reasoning Consistency in Hierarchical Architectures. Ph.D. thesis, University of Michigan. Also published as University of Michigan Technical Report CSE-TR-379-98.
53. th National Conference on Artificial Intelligence, pp. 928-935.
54. th National Conference on Artificial Intelligence, pp. 771-778.
55. Wray, R. E., Laird, J. E., Nuxoll, A., & Jones, R. M. (2002). Intelligent opponents for virtual reality trainers. In Proceedings of the Interservice/Industry Training, Simulation and Education Conference (I/ITSEC) 2002.