格值一阶逻辑LF(X)中的α-语义归结方法

自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。语义归结是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。为了提高基于格蕴涵代数的格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理。首先给出了格值一阶逻辑系统中的α-语义归结概念和α-语义归结演绎概念,接着讨论了格值一阶逻辑系统的α-语义归结方法,并证明了其可靠性和条件完备性,最后通过实例说明了其有效性。     

MSP问题NP完全性研究

针对文献[1,2]提出的MSP问题,研究了MSP问题与着色问题、子图同构问题的对应关系,揭示了MSP问题所反映的NP完全问题的共性;分析了MSP问题的相变现象,为文献[1,2]提出的多项式时间算法框架的测试提供了难例产生方法。     

差距催生勇气

魏云生知道在欧美诸国和日本这样的发达国家面前,国内的很多“第一”都显得名不正,气不足。这是差距使然,非一人一司之力可改之。即使如此,应该跟进的还是得跟进,要做的还是得做。最近几天,黄非鸿老把新买的苹果5S手机放在手上把玩儿,有一天晚上在那儿倒通讯录就折腾到半夜,跟人聊天,不出五句话,必须归结到这手机上,甚至别人借去看一眼都一脸肉痛的表情。魏云生忍了他几天后,终于按捺不住,劈头盖脸地冲他来了一通：“你没完没了了？那是手机,是拿来用的,你看你那样儿,跟娶了个媳妇儿似的。有点儿出息好不好？”     

Output regulation for a class of uncertain nonlinear systems with nonlinear exosystems and its application

In this paper, we consider the global robust output regulation problem for a class of uncertain nonlinear systems with nonlinear exosystems. By employing the internal model approach, we show that this problem boils down to a global robust stabilization problem of a time-varying nonlinear system in lower triangular form, the solution of which will lead to the solution of the global robust output regulation problem. An example shows the effectiveness of the proposed approach.     

算子动态模糊逻辑系统及其归结研究

主要讨论了一种只包含动态模糊算子和动态模糊文字的算子动态模糊逻辑系统,介绍了该系统的逻辑性质,在系统中定义了其λ-归结。     

软件的未来

一言以蔽之,整个软件工程史——甚至可能包括其未来——可归结为抽象水平的不断提高。 当今的软件密集型系统（software- intensive system）有一系列共同特征：它们通常都相当复杂、分散部署、并发协作,同时还在持续不断地演化。不仅如此,这类系统大多不是孤立的,系统之中嵌系统,单个系统不过是其中一个元素而已。它们为与其他系统进行协作而存在,与之协作的系统往往由其他组织在不同时间开发,且以不同速率各自发生着变化。     

格值命题逻辑系统中广义文字的正规性

基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性。广义文字是该系统中α-归结自动推理的核心概念,是α-归结中的最基本单元。公式的正规性是α-归结原理中保持完备性的重要条件,其语义性质是公式形式的重要反映。从语义角度研究了广义文字的正规性,给出了两种典型正规公式F1→F2和(F1→F2)'的真值情况。为讨论广义文字的形式及其α-可归结性提供了理论基础。     

用吴方法求解可满足性问题(Ⅱ)--实验研究

本文使用随机3-SAT实例模型,对算法变换思想指导下设计的吴方法求解可满足性问题的算法进行了实验,并与语义归结、支持集归结和DP算法进行了对比.     

删除策略的相容性

本文给出关于删除策略相容性的几个结果，对相同谓词符号配用锁的子句集，锁归结和删除策略联用完备，对正文字锁大于负文字锁的Ｈｏｒｎ集，正单元锁归和删降策略联用完备，输入锁结与删除策略联用完备，配锁Ｈｏｒｎ集上输入半锁归结和删除联用完备的，标准Ｈｏｒｎ集上正单元强有序归结和删除策略联用完备，强有序输入归结和删除策略联用完备。     

百变PC：延续指尖的快乐

“我们希望有一种PC设计，可以让人们在家里一眼看勤就想把它放在客厅正中间，而不是把它塞到其他什么东西的后面。”微软曾经这样描述它的PC的设计思想。 这种思想我们可以归结为“未来PC将成为一种生活化的家居设备，而不是简单的娱乐，工作工具。”