基于人机协同的潜在意图检测模型

潜在意图检测旨在通过意图主体行为推理意图主体的隐式意图,从而在更高的层面理解意图主体潜在的真实意图.提出了一种多领域数据环境下人机协同的潜在意图检测模型和技术框架.该意图检测模型扩展了动态意图表示形式DIS,能够适应多领域数据和交互式推理的意图表示需要.通过定义交互原语,确定了人机协同交互的语言规范.通过功能框架的设计,提供了潜在意图检测的技术实现途径.     

一种新的时段演算及其验证

在Pandya提出的CTL*[DC]逻辑的基础上,对其语法和语义进行扩展,并对路径长度进行限制,定义了一个新的逻辑CTL*[k-QDDC],它可应用于实时系统的描述和验证.给出了在Kripke结构中直接验证CTL*[k-QDDC]逻辑公式在某状态是否成真的基本算法.在某些假设下,也证明了CTL*[k-QDDC]中的某个逻辑运算符的验证问题是NP完全的,这就说明CTL*[k-QDDC]的验证问题至少是NP难的.