换位原理与几个模态特征公式的有效性

摘要：

采用换位原理的推理规则能够使得多Agent系统中关于其它Agent的状况和行为的推理变得简明和清晰.本文探讨了几个正规模态特征公式的有效性与框架性质之间的关系,发现一些直观上成立的模态公式也是有条件成立的,并从模态逻辑和Kripke可能世界语义的角度给出了文[1～3]中换位原理(PEP)规则有效性的语义证明.

关键词：特征公式、有效性、换位原理、框架

所属期刊栏目：33

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金60273087;北京市自然科学基金4032009

在线出版日期：2006-09-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：184-186,209