题  目：关于不确定规划的动态知识逻辑

时  间：12月4日（周五）10:00-11:30

地    点：哲学系2106

摘    要：本论文从动态知识逻辑的角度研究了不确定规划问题。将不确定规划问题转化为一种动态知识逻辑上的模型检测问题。本论文还考察了这种动态知识逻辑上的模型检测问题和可满足问题。