%0 Journal Article
%T PEP Inferred from the Validities of Some Characteristic Formulas in Modal Logic
换位原理与几个模态特征公式的有效性
%A ZHANG Hong
%A HE Hua-Chan
%A
张宏
%A 何华灿
%J 计算机科学
%D 2006
%I
%X Position-Exchange-Principle(PEP) is described as an axiom scheme in Reasoning About Others(RAO) and regarded as a basic rule for agents to reason about knowledge of others in a multi-agent system. In this paper, relationships between some characteristic formulas in normal modal logic with their frames are discussed. It has been discovered that validities of the modal formulas are conditional even though some of them are intuitively valid. Finally, validities of two formulas of PEP proposed by papers 1 to 3 are proved by using of modal logic and Kripke's semantics of possible worlds.
%K Characteristic formulas
%K Validity
%K PEP
%K Frame
特征公式
%K 有效性
%K 换位原理
%K 框架
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=913E13143A32C018&yid=37904DC365DD7266&vid=27746BCEEE58E9DC&iid=5D311CA918CA9A03&sid=798FBE8DE1A255B1&eid=50BBDFAC8381694B&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=12