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

• 作者: 何华灿 张宏
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 特征公式 有效性 换位原理 框架
• 年，卷（期）: 2006,（8）
• 所属期刊栏目: 人工智能与图像处理技术
• 页码范围: 184-186,209
• 页数: 4页
• 分类号: TP3
• 字数: 5629字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2006.08.047

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何华灿	西北工业大学计算机学院	181	1581	19.0	32.0
2	张宏	西北工业大学计算机学院	19	189	9.0	13.0