隐式愿望及其形式化

隐式愿望的刻画是Agent理论研究中的一个重要课题.首先分析现有工作存在的问题,然后用逻辑语义学方法严格定义一种新的隐式愿望--pm-愿望后承,研究其主要性质并与相关工作进行比较,进而论证其合理性,包括符合直觉、有利于提高智能主体的自主性等等