CDT: A Tool for Agent Conversation Design
Mark Greaves, Heather K. Holmback, Jeffrey M. Bradshaw · 1998
The design, implementation, and verification of agent con-versations (i.e., multiagent sequences of language primitives which are intended to together achieve some goal) can be difficult and exacting, and often requires skills which agent developers do not possess. In this paper, we describe the ar-chitecture of a planned software tool that is designed to help developers with this task. Our proposed Conversation De-sign Tool (CDT) will be built as a set of extensions to an automatic theorem-proving framework, and so will be able to directly manipulate expressions in a variety of ACL se-mantics description languages. The CDT will also employ a variety of graphical representations, such as finite state ma-chine diagrams and Petri net diagrams, to facilitate reason-ing in certain specialized domains. Finally, the CDT will include a generative capability to automatically create con-versation policy configuration files for KAoS-architecture agents.