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

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

变精度粗糙集模型及其应用研究

介绍了广义粗糙集模型和Ziarko变精度粗糙集模型,找出了它们的不足;借助引入的误差参数β(0≤β<0.5),给出了基于后继邻域的一般二元关系下变精度粗糙集模型的β上近似、β下近似、3边界和β负域的定义以及β近似质量和β粗糙性测度定义;详细讨论了β上、下近似算子的性质、该模型与其他粗糙集模型的关系以及一般二元关系下两种变精度粗糙集模型的关系;最后,举例说明了该模型在信息处理中的应用。     

广义系统的时滞依赖静态输出反馈控制

针对一类不确定线性广义时滞系统,给出了静态输出反馈控制器的设计方法.首先基于标称广义时滞系统的稳定条件,以受限线性矩阵不等式形式,给出闭环广义时滞系统正则、无脉冲且渐近稳定的充分条件,同时利用受限矩阵不等式的可行解给出静态输出反馈控制律的一个参数化表示;其次,利用矩阵的正交补,把求受限线性矩阵不等式的可行解问题转化为求严格线性矩阵不等式(LMIs)的可行解;最后应用数值实例说明了所给方法的有效性和正确性.     

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

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

MB89630系列单片机应用技巧及实例

文中简介了MB89630系列单片机的硬件概况，根据实际体会，叙述了该系列单片机硬件几个有特点的功能和使用技巧，也为尚不熟悉该系列单片机的有关工程技术人员提供一个单片机选型的参考，最后简介了一个应用实例。     

一阶逻辑公式相对真度的计算形式

对二值谓词逻辑中一阶公式关于有限解释的相对真度定义进行了简化,给出其计算形式。指出一阶非闭逻辑公式的相对真度只与其中自由出现的变元有关,而非只与其中的自由变元有关;证明可以增加公式中出现的变元个数,而不会改变公式的相对真度,从而可以依据相对真度的计算形式横向研究公式间的相对真度问题。     

基于格值逻辑系统LP(X)的α-归结域的代数结构

首先得到了与g不可α-归结的广义文字的集合D*_α (g)做成了∨-半群且也是一个序滤子;其次研究了由D*_α (g)所确定的一个新的代数结构D^f,D^f做成一个格滤子,并研究了D^f的一些相关性质;最后研究了由D^f所确定的代数结构κ(D),得到了κ(D)构成滤子并研究了κ(D)的结构。     

不同语言值集下的多属性群决策方法

针对属性权重、偏好信息集及专家权重取自不同的语言值集的群决策问题,给出了“程度”语言值集的选择准则,给出了转换函数,讨论了其性质,提出了不同语言值集下的多属性群决策方法。该方法不仅简洁、直观,而且在决策过程中不丢失任何信息,所得到的结果合理。实例验证了该方法的有效性和实用性。     

剩余格的T-模糊滤子与T-模糊同余关系

将t-模应用于模糊滤子和模糊同余上,引入剩余格的T-模糊滤子与T-模糊同余,并分别研究T-模糊滤子与T-模糊同余的性质与一些等价刻画;得到全体T-模糊滤子的集合与T-模糊同余的集合是同构;研究了由T-模糊滤子所诱导的商剩余格以及同态定理。这些理论在其他的逻辑代数系统仍然成立。     

基于集值映射的拟划分近似空间中近似算子

在含有缺省值的不完备性信息系统中,一部分对象无法确定的归入特定的类中,此时论域的邻域系统对于论域无法形成覆盖,只能形成论域的不完全划分。从概念上讲,对论域的不完全划分与对论域的覆盖都是对论域的拟划分的两个特例。作为基于覆盖的粗糙集模型的一种推广,将讨论基于拟划分的粗糙集模型中上下近似算子的若干性质,并且讨论了这个模型下近似算子的表示问题。