%0 Journal Article
%T 换位原理与几个模态特征公式的有效性
%A 张宏 何华灿？
%J 计算机科学
%D 2006
%X 采用换位原理的推理规则能够使得多agent系统中关于其它agent的状况和行为的推理变得简明和清晰。本文探讨了几个正规模态特征公式的有效性与框架性质之间的关系，发现一些直观上成立的模态公式也是有条件成立的，并从模态逻辑和kripke可能世界语义的角度给出了文[1～3]中换位原理（pep）规则有效性的语义证明。
%K 特征公式有效性换位原理框架
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=22569231&flag=1