论文部分内容阅读
构造一种基于非常规模态逻辑的理论描述主体意图.解决副作用问题时采用语义方法,引入场景的概念解释意图算子,并提出了新的公理.解决意图之间的关系问题时,将意图分为主要意图、相关意图以及原子意图3类,以树形结构表达意图间的关联.引入相关算子,并给出了语义解释.提出了意图强度的表达机制,将其作为意图的固有属性,大大提高了主体的动态效率.