命题动态逻辑的基本思想及其扩展系统

计算机的一切操作都是由程序控制的;人工智能不仅是计算机智能,而且是计算机的应用和技术的延伸;动态逻辑是关于程序的多模态逻辑,是能够对程序进行形式化推理的多个程序逻辑的总称;命题动态逻辑是动态逻辑的子系统和基础系统,可以表征程序和独立于计算论域命题之间的相互作用,在序列程序和系统的形式化表述和推理方面有着重要的作用,可以描述和验证程序的正确性、终止性、公平性、活性和等价性等性质;因此,命题动态逻辑是人工智能的基石。

基于并行处理环境的多类命题动态逻辑系统

本文提出了一个描述并行处理环境下程序动态特性的多类命题动态逻辑和多类结构，并使用ＭＰＤＬ描述了一个实际问题．本文使用了新算子Ｇｉｊ来描述并行程序间的关系．最后，本文简单地讨论了ＭＰＤＬ的一致性和完备性．

基于模型检测的命题动态逻辑规划

命题动态逻辑是对动作进行刻画和推理,并在此基础上进行规划求解的一种有效工具。PDL规划问题一般通过逻辑推演进行求解,其本质是将规划问题转化为PDL公式的可满足性问题,相应的推理复杂度为EXP-完全。与可满足性推理相对应,PDL模型检测问题具有多项式级别的时间复杂度。鉴于PDL模型检测的高效,对基于模型检测的PDL规划求解进行研究,从PDL规划语义的角度证明了PDL规划可以通过模型检测的方法求解,在这基础上给出基于模型检测的PDL规划算法,结合实例验证了算法的正确性。

Excel操作题动态命题系统的研究和实现

Excel不仅是大学生必修的一门公共基础课程——《计算机应用基础》中的重要内容,而且是全国计算机等级考试中上机考试的科目之一。这类考试不仅考察学生的理论知识,还要考察学生的动手操作能力,传统的纸质考试显然不能满足上述要求。具有自动出题的在线测试系统能够很好地解决上述问题,该文就Excel出题、考试等功能进行了分析和设计,并实现了系统模型。

多Agent的动态信念和知识推理

把命题动态逻辑PDL和模态逻辑S5进行融合后,得到的动态信念和知识的多主体逻辑(简称BDL),可以对动态认知信息进行推理。为此,一方面需要把PDL中的标准测试算子换成信息测试算子,从而把主体的隐性信息态度(信念或者知识)进行显性化;另一方面需要对抽象行动和具体行动进行区分,以表达多主体间的合作与团队协同。BDL逻辑及其一些扩张逻辑具有可靠性、完全性、有穷模型性质和可判定性。

基于逻辑的行动理论综述

行动理论是人工智能中重要的研究课题,是当前成为研究热点的智能主体和语义Web服务的理论基础。对行动理论的研究现状进行了总结。首先从采用的逻辑语言的角度将行动理论分为3类:基于谓词逻辑的行动理论、采用命题语言的行动理论、以及基于描述逻辑的行动理论;分别以情景演算、基于命题动态逻辑的行动理论和动态描述逻辑为例,对每种类型的行动理论进行了介绍,阐述了各类行动理论的特点。接下来对目前行动理论中存在的问题进行了分析,在此基础上提出了行动理论研究目前面临的若干挑战和机遇。

基于OBDD的Iteration-free CPDL判定算法

命题动态逻辑是一种应用模态逻辑,用于程序行为的推理。Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑。对于给定的Iteration-free CPDL公式集,方法是应用NCNF变换和FLAT规则对其进行预处理,并对公式集重构模型,然后将其转化为布尔函数,并利用OBDD来表示,从而调用已有的OBDD软件包进行可满足性判定。最终结合实例验证了算法的可行性及正确性。

基于CPDL模型检验的装配序列规划

模型检验的智能规划方法具有较高的求解效率,是当今通用智能规划研究的热点。由于模型检验的命题动态逻辑规划方法无法从拆卸角度求解规划问题,给出了含逆反动作的命题动态逻辑的符号模型检验算法,开发了CPDL符号化模型检验工具;针对一般智能规划问题中的机械装配序列规划问题,从装配体的拆卸出发,给出了基于CPDL模型检验技术的装配序列求解方法,并结合实例验证了该方法的可行性。

有关2013年国考申论备考分析

目前状况下,2012年各地公务员省考联考基本结束,有人欢喜有人忧,不管怎样,都要在已经结束的考试之中获得成功的经验或者失败的教训,这都将促进自身的进步。时下,2013年中央机关以及其直属机构公务员考试,即国考正如火如荼。通过对国考申论进行分析与研究,能够有效的把握命题方向与命题特点,具有很强的参照性,本文在结合具体例题的基础之上,就2013年国考申论进行一定程度的分析与研究。