Development of a Formal Theory of Agent-Based Computing for System Evaluation and System-Design Guidance

摘要

This report summarizes the research done on the DARPA-sponsored project on the Development of a Formal Theory 0 Agent-Based Computing for System Evaluation and System-Design Guidance, as part of the TASK program. The work was performed between September 2000 and September 2003, at the Artificial Intelligence Laboratory in the Department of Electrical Engineering and Computer Science at the University of Michigan. During the course of the project, significant advances have been made in the area of commitment strategies for autonomous agents, to enable such agents to manage sets of plans with rich temporal constraints in dynamic, uncertain environments. Specifically, we developed a set of computationally efficient techniques for both determining the consistency of sets of actions in order to decide whether or not newly introduced actions are compatible with existing commitments, and for merging new% commitments into sets of existing ones. We also developed strategies for modifying a set of commitments in response to a new, incompatible action. Finally, we applied these computational techniques to various applications of interest to the TASK effort, including e-commerce, a briefing agent, and autonomous unmanned vehicles.