【摘 要】
：
AUL(Arrow Update Logic)是一个刻画多主体的信念变化的动态逻辑。AUL通过更新模型中的可及关系来刻画行为对主体信念造成的影响。但是,在AUL中信息对所有主体都是公开的,因
【基金项目】
：
This work is supported by the Fundamental Research Funds for the Central Universities 63202061 and 63202926,The author thanks an anonymous referee for the helpful feedback on the text.
论文部分内容阅读
AUL(Arrow Update Logic)是一个刻画多主体的信念变化的动态逻辑。AUL通过更新模型中的可及关系来刻画行为对主体信念造成的影响。但是,在AUL中信息对所有主体都是公开的,因此AUL无法刻画在秘密宣告的情况下主体信念状态的变化。本论文在AUL的基础上进行扩充,得到一个新的动态逻辑系统PAUL(Private Arrow Update Logic)。所有基于事实的宣告都可以被PAUL刻画,无论该宣告是公开的还是秘密的。同时,本论文还给出了PAUL的语义图,并证明了PAUL是可判定的。
其他文献
模态和谓词逻辑中的演绎后承有多种定义方式。虽然其中多数是等价的,但它们有各自的优缺点。通过在公理系统中区分两类规则,我们给出了一种定义演绎后承的新方法。该方法不仅
目的研究中药蒸气浴对脑梗死后肌张力增高及踝关节功能改善的临床疗效。方法选取收治的80例脑梗死后肌张力增高及踝关节功能异常的患者为研究对象,将80例患者进行分组,按照入
目的探讨静脉留置针的临床应用及护理。方法总结静脉留置针血管选择、穿刺、固定封管方法及置管期间的护理。结果 660例患者穿刺成功638例（占96.66%）,失败22例（占3.34%）。结论静
目的探讨对社区高血压患者实施护理干预的临床价值。方法将我院所辖社区高血压患者100例随机分为观察组和对照组各50例，对照组进行常规社区治疗，观察组在对照组的护理基础上进
目的探讨总结新生儿血小板减少症的病因、临床特点、治疗及预后。方法对我院新生儿科2006年3月—2011年1月收治的新生儿血小板减少症68例患儿的临床资料进行回顾性分析。结果