基于非常规模态逻辑的主体意图

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

Agent Intention Based on Nonstandard Modal Logic

Proposes an agent intention theory based on nonstandard modal logic. When resolving side effect problem, the theory introduces the concept of scenario to interpret the semantic meaning of intention operator and uses new inference rules to replace the old ones. In order to describe relations between intentions, the theory first categorizes intentions into three classes: primary intention, relative intention and atom intention. Then it constructs the three classes of intentions into a tree. Relation operations are introduced together with their semantic meaning. Along with the intention tree, the paper also proposes the concept of intention power as an innate characteristic of the agent intention. Use of intention power can help the agent to improve greatly its dynamic efficiency.