Collaborative Plans & Collaborative Communication Systems

随着计算机系统变得无处不在，越来越多的信息可以通过电子方式获得，计算机系统之间及其用户之间的协作变得越来越重要。建立协作系统所需的基本理论和形式化的发展将具有深远的实际意义，并将解决具有挑战性的计算机科学问题。协作的共享计划正规化(Grosz和Kraus，1995；Grosz和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.