粗代数研究

在粗糙集的代数方法研究中,一个重要的方面是从粗糙集的偶序对((下近似集,上近似集()表示入手,通过定义偶序对的基本运算,从而构造出相应粗代数,并寻找能够抽象刻画偶序对性质的一般代数结构.其中最有影响的粗代数分别是粗双Stone代数、粗Nelson代数和近似空间代数,它们对应的一般代数结构分别是正则双Stone代数、半简单Nelson代数和预粗代数.通过建立这些粗代数中算子之间的联系,证明了:(a) 近似空间代数可转化为半简单Nelson代数和正则双Stone代数;(b) 粗Nelson代数可转化为预粗代数和正则双Stone代数;(c) 粗双Stone代数可化为预粗代数和半简单Nelson代数,从而将3个不同角度的研究统一了起来.     

粗糙集代数与蕴涵格

在粗糙集的代数刻画方面,一个重要方法是在偶序对〈R（X）,R（X）〉构成的集合中通过定义基本运算寻找刻画偶序对所成集合的代数结构。其中,最有影响的代数结构是正则双Stone代数和Nelson代数。本文从偶序对〈T（X）,R（X）〉构成的集合入手,通过定义蕴涵运算证明了偶序对〈R（X）,R（X）〉所成集合构成蕴涵格,讨论了粗蕴涵格与
正则双Stone代数的关系。本文的讨论可为粗糙逻辑和粗糙推理奠定基础。     

基于Lukasiewicz三角模及其剩余蕴涵的模糊粗糙集

讨论基于Lukasiewicz三角模及其剩余蕴涵的模糊粗糙集模型,研究了相应模糊粗糙集的代数性质,证明了自反模糊关系下该模型中的下近似集构成一个模糊拓扑,且上、下近似算子恰为其闭包及内部算子。     

粗糙集代数与FI代数

讨论了粗糙集代数与FI代数的关系以及由粗糙集代数构造FI代数的方法。粗糙集本身具有格结构,证明了在适当选取蕴含算子之后,粗糙集代数就成为FI代数。     

粗糙集代数与BL代数

讨论粗糙集代数与BL代数的关系以及由粗糙集代数构造BL代数的方法。粗糙集代数本身具有格结构,证明了在适当选取蕴涵算子之后,粗糙集代数就成为BL代数。     

Lukasiewicz逻辑值上下文无关语言的代数刻画

提出了基于Lukasiewicz逻辑的下推自动机(l-VPDA)的概念,从代数角度研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用模糊状态构造,证明了任意以终状态方式接受模糊语言的l-VPDA与状态转移为经典函数且具有l值模糊终状态的l-VPDA间的相互等价性;并证明任意以空栈方式接受模糊语言的l-VPDA与状态转移除一步转移为模糊的以外,其余都是经典函数的l-VPDA是相互等价的;详细研究了l-值模糊上下文无关语言的代数和层次刻画,以及对于正则运算的封闭性。     

粗糙集与BCK代数

粗糙集的代数刻画是粗糙集理论中研究的一个重要方向,在偶序对构成的集合中定义了二元运算*,证明了序偶对构成的集合构成了一个有界BCK代数,给出了基本的性质,为粗糙逻辑和粗糙推理奠定了基础。     

粗糙集代数与BR0代数

讨论粗糙集代数与BR0代数的关系,以及由粗糙集代数构造BR0代数的方法.借助近似代数的原子及同余关系,证明了在适当选取蕴涵算子及余运算之后,粗糙集代数就成为BR0代数.     

软I-代数

将I-代数与软集相结合,提出了新概念软I-代数,并研究了它的基本代数性质,证明了两个软I-代数同构当且仅当它们的基础软集同构。     

区间集上的格蕴涵代数、FI-代数、MV-代数的研究

区间集是一个新的重要的研究方向,在近似推理、模糊控制等领域中有着广泛的应用。在区间集上,重新定义了区间蕴涵今,构造了格蕴涵代数,讨论了格蕴涵代数的一系列性质。同时在区间集上也重新定义了可换FI-代数和MV-代数,证明了格蕴涵代数、FI-代数和MV-代数3种不同的代数系统是等价的。     

Hazard Algebras

We introduce algebras capable of representing, detecting, identifying, and counting static and dynamic hazard pulses that can occur in the worst case on any wire in a gate circuit. These algebras also permit us to count the worst-case number of signal changes on any wire. This is of interest to logic designers for two reasons: each signal change consumes energy, and unnecessary multiple signal changes slow down the circuit operation. We describe efficient circuit simulation algorithms based on our algebras and illustrate them by several examples. Our method generalizes Eichelberger's ternary simulation and several other algebras designed for hazard detection.     

N-可分效应代数

引入了N-可分效应代数的定义,证明了N-可分效应代数是区间效应代数且N-可分效应代数可嵌入到可分效应代数中.     

赋范格H蕴涵代数和模糊格H蕴涵代数

在范数的条件下扩充了格H蕴涵代数的概念,即赋范格H蕴涵代数,并讨论一些性质。然后将模糊集合论运用于赋范格H蕴涵代数,给出了模糊赋范格H蕴涵代数的定义,得到了一些基本性质。通过使用两个赋范格H蕴涵代数之间的映射定义了赋范格H蕴涵代数同态,且得到了一些性质。最后得到了在赋范格H蕴涵代数中的数列对于蕴涵距离是有界的结论。     

粗糙本体构建的格-树转化方法

粗糙本体是处理不精确性信息的一种基础性工具,其存在形式是由粗糙概念和粗糙关系构成的树形结构。粗糙本体的具体形式因为参与构建的领域专家的不同而呈现多样性,然而同样也是由粗糙概念和粗糙关系构成的粗糙概念格却具有结构上的惟一性。粗糙本体的构建因而可以利用格和树的组成与结构的相似性,构建粗糙概念格,转化生成粗糙本体。探讨了格-树转化方法的实现步骤:构建粗糙概念格;聚类粗糙概念格中的粗糙概念生成粗糙概念树;转化粗糙概念树为粗糙本体。构建实例阐释了格-树转换方法的具体应用。     

粗糙逻辑的计量化研究

将计量化方法引入到粗糙逻辑的研究当中,在一种典型的粗糙逻辑LR中引入了公式的粗糙真度概念。在此基础上,提出了公式之间的粗糙相似度、粗糙伪距离等概念,得到了粗糙逻辑度量空间。在粗糙度量空间中提出了两种不同的粗糙近似推理模式。这一结果实现了粗糙集与计量逻辑学这两种不同的处理近似问题理论的融合,同时对进一步丰富基于粗糙集的近似推理有一定启示。     

概念格的粗糙性质研究

研究由粗糙集形式的概念格,定义粗糙形式背景、粗糙概念,给出它们的性质,借助蕴涵算子研究上、下近似运算在粗糙形式背景中讨论了粗糙Galois连接.     

Algebras for Agent Norm-Regulation

An abstract architecture for idealized multi-agent systems whose behaviour is regulated by normative systems is developed and discussed. Agent choices are determined partially by the preference ordering of possible states and partially by normative considerations: The agent chooses that act which leads to the best outcome of all permissible actions. If an action is non-permissible depends on if the result of performing that action leads to a state satisfying a condition which is forbidden, according to the norms regulating the multi-agent system. This idea is formalized by defining set-theoretic predicates characterizing multi-agent systems. The definition of the predicate uses decision theory, the Kanger–Lindahl theory of normative positions, and an algebraic representation of normative systems.