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.