Collaborative Plans & Collaborative Communication Systems

随着计算机系统变得无处不在，越来越多的信息可以通过电子方式获得，计算机系统之间以及它们的用户之间的协作变得越来越重要。建立协作系统所需的基础理论和形式化的发展将具有深远的实际意义，并解决具有挑战性的计算机科学问题。协作的共享计划形式化（Grosz and Kraus, 1995; Grosz and Kraus, 1993）提供了一种行为能力和心理态度的规范，这些行为能力和心理态度是主体在相互参与协作活动时必须具备的。这种形式化将被扩展，通过指定更完整地处理一个命题所持有的意向态度的公理，发展出阐述部分计划的策略。此外，本文还设计了一个基于共享计划的协作通信系统，该系统既能证明协作模式对人机界面系统设计的价值，又能检验其形式化。拟议的研究将有助于计算机代理的发展，这些代理彼此之间及其用户之间完全协作；它还将使构建更加灵活和用户友好的界面成为可能。

As computer Systems become ubiquitous and more information becomes available electronically, it is increasingly important for computer systems to be able to collaborate with each other and their users. The develop ment of the underlying theories and formalization needed to build collaborative systems will have far- reaching practical import as well as addressing challenging computer science problems. The Shared Plan formalization of collaboration (Grosz and Kraus, 1995; Grosz and Kraus, 1993) provides a specification of the capabilities to act and mental attitudes that agents must have to participate in collaborative activities with one another. This formalization will be extended developing strategies for elabmrating partial plans by specifying axioms that treat more completely the attitude of intending that a proposition hold. In addition a collaborative communication system based on Shared Plans will be designed: this system will both demonstrate the value of a model of collaboration to the design of human-computer interface systems and test the formalization. The proposed research will contribute to the development of computer agents that are fully collaborative, with each other and their users; it will also enable the construction of more flexible and user-friendly interfaces.