Plans, Actions and Dialogues Using Linear Logic
Plans, Actions and Dialogues Using Linear Logic
复制标题
DOI：
10.1007/s10849-008-9079-0
复制
发表时间：
2009-04
期刊：
影响因子：
--
通讯作者：
L. Dixon;A. Smaill;Tracy Tsang
中科院分区：
文献类型：
--
作者：
L. Dixon;A. Smaill;Tracy Tsang
我们描述了如何使用直觉线性逻辑为代理提供统一的逻辑帐户来查找和执行计划。该帐户支持代理交互建模，包括对话；允许代理对意外事件和故障具有鲁棒性；并支持对代理规范的重要重用。该框架已经实施，并审议了若干案例研究。进一步的应用包括人机界面以及语义网中的代理交互。
We describe how Intuitionistic Linear Logic can be used to provide a unified logical account for agents to find and execute plans. This account supports the modelling of agent interaction, including dialogue; allows agents to be robust to unexpected events and failures; and supports significant reuse of agent specifications. The framework has been implemented and several case studies have been considered. Further applications include human–computer interfaces as well as agent interaction in the semantic web.