Monitoring agents using declarative planning

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2821, Issue , 2003, Pages 646-660

  Dix, Jürgen ^a   Eiter, Thomas ^b   Fink, Michael ^b   Polleres, Axel ^b   Zhang, Yingqian ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Knowledge representation; Multi agent systems; Planning

Indexed keywords

COMPUTER SIMULATION; KNOWLEDGE REPRESENTATION; MONITORING; ONLINE SEARCHING; PLANNING; PROBLEM SOLVING; PROGRAM DEBUGGING; ARTIFICIAL INTELLIGENCE; INTELLIGENT AGENTS;

AGENT COLLABORATION; DECLARATIVE PLANNING; PROGRAM AGENTS; SIMULATION TOOLS; ACTION SEQUENCES; ACTION THEORY; AGENT MONITORING; MONITORING AGENTS; OFFLINE TESTING; ONLINE MONITORING;

MULTI AGENT SYSTEMS;

EID: 9444284280     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-39451-8_47     Document Type: Conference Paper

References (18)

1. M. Devaney and A. Ram. Needles in a haystack: Plan recognition in large spatial domains involving multiple agents. In Proc. AAAI-98, pp. 942-947, 1998.
2. J. Dix, U. Kuter, and D. Nau. HTN planning in answer set programming. Tech. Rep. CS-TR-4332, CS Dept., Univ. Maryland, 2002. Submitted to Theory and Practice of Logic Programming.
3. J. Dix, H. Munoz-Avila, and D. N. and Lingling Zhang. Theoretical and empirical aspects of a planner in a multi-agent environment. In G. Ianni and S. Flesca, editors, Proc. European Conference on Logic and AI (JELIA '02), LNCS 2424, pp. 173-185. Springer, 2002.
4. K system. Artificial Intelligence, 144(1-2):157-211, 2003.
5. T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres. A logic programming approach to knowledge-state planning: Semantics and complexity. ACM Transactions on Computational Logic, 2003. To appear.
6. T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres. Answer Set Planning under Action Costs. Journal of Artificial Intelligence Research, 2003. To appear.
7. K. Erol, J. A. Hendler, and D.S. Nau. UMCP: A sound and complete procedure for hierarchical task-network planning. In K. J. Hammond, editor, Proc. 2nd Int'l Conference on Artificial Intelligence Planning Systems (AIPS-94), pp. 249-254. AAAI Press, 1994.
8. R. E. Fikes and N. J. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2(3-4):189-208, 1971.
9. M. Ghallab, A. Howe, C. Knoblock, D. McDermott, A. Ram, M. Veloso, D. Weld, and D. Wilkins. PDDL - The Planning Domain Definition Language. Technical report, Yale Center for Computational Vision and Control, October 1998. Available at http://www.cs.yale.edu/pub/mcdermott/software/pddl.tar.gz.
10. G.D. Giacomo, R. Reiter and M. Soutchanski. Execution Monitoring of High-Level Robot Programs. In Principles of Knowledge Representation and Reasoning, pp. 453-465, 1998.
11. R. Goldman and M. Boddy. Expressive planning and explicit knowledge. In Proc. AIPS-96, pp. 110-117. AAAI Press, 1996.
12. S. S. Intille and A. F. Bobick. A framework for recognizing multi-agent action from visual evidence. In Proc. AAAI-99, pp. 518-525, 1999.
13. G. Kaminka, D.V.Pynadath, and M. Tambe. Monitoring deployed agent teams. In Proc. Fifth International Conference on Autonomous Agents (Agents-2001), pp. 308-315. ACM, 2001.
14. G. A. Kaminka and M. Tambe. Robust agent teams via socially-attentive monitoring. Journal of Artificial Intelligence Research, 12:105-147, 2000.
15. H. J. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R. B. Scherl. GOLOG: A Logic Programming Language for Dynamic Domains. Journal of Logic Programming, 31(1-3):59-83, 1997.
16. M. Luck, P. McBurney, C. Preist, and C. Guilfoyle. The Agentlink agent technology roadmap draft. Available at http://www.agentlink.org/roadmap/index. html, 2002.
17. V.S. Subrahmanian, P. Bonatti, J. Dix, T. Eiter, S. Kraus, F. Ozean, and R. Ross. Heterogeneous Agent Systems: Theory and Implementation. MIT Press, 2000.
18. M. Tambe. Tracking dynamic team activity. In Proc. AAAI-96, pp. 80-87, 1996.