群体决策的k－较多规则

本文给出求解群体决策的一个新的规则，即ｋ－较多规则，并且论证了它满足Ａｒｒｏｗ公理中的４个公理．     

关于命题演算公理系统独立性证明的注记

对数理逻辑中命题逻辑公理系统独立性证明做了探讨，给出了算术解释的一种规律，并应用这种规则证明了３个命题演算公理系统的独立性。     

基于间断区间的时态关系处理

定义了基于间断区间的时态的逻辑的公理，分离规则，证明等概念，特别，讨论了区间分离后的时态关系确定问题以及公理的完备性。     

群体决策中弱Pareto扩展规则的充要条件

从弱Pareto扩展规则的定义出发,验证了弱Pareto扩展规则满足阿罗公理中除传递性以外的其他公理,并给出了弱Pareto扩展规则所满足的充要条件,指出拟独裁性、匿名性、中立性、Pareto原则和完全性是使一集体选择规则成为弱Pareto扩展规则的充要条件。     

群体决策中k-偏差规则的排序法

提出了群体决策中的k-偏差规则,验证了其满足Arrow公理系中的四个公理并具备匿名性、中立性和非传递性等特征；为了排序,提出选择函数的概念,解决了不具备传递性的k-偏差规则的排序问题.     

一种不一致本体的可废止推理系统

利用可废止逻辑的非单调知识表示和推理能力、线性的计算复杂性和易于实现等优点,整合描述逻辑和可废止逻辑,提出了一种不一致本体的可废止推理系统（简称为DeRS）.DeRS使用描述逻辑定义的本体和可废止理论对领域问题进行混合建模,将TBox划分为最大的一致公理集和最小的不一致公理集,并进行初始化;然后利用转换算法,将一致公理集的公理和不一致公理集的公理分别映射为硬性规则和可废止规则,并添加到可废止理论中;最后利用新定义的可废止推理规则进行非单调可废止推理,由此解决了不一致本体的推理问题,弥补了描述逻辑在非单调性方面的不足.结果表明DeRS具有协调性、易处理性、可判定性、可靠性等基本性质.     

基于Vague关系数据模型的数据依赖

基于提出的Vague关系数据模型和Vague集之间的相似度量,研究了Vague关系数据库中的数据依赖问题,给出了Vague函数依赖(VFDs)和Vague多值依赖(VMVDs)的定义及其相应的推理规则.该规则类似于经典关系数据库中函数依赖和多值依赖的Armstrong公理系统,称之为Vague公理系统.并对Vague公理系统的有效性和完备性进行了证明.同时还给出了VFDs满意度的概念及计算VFDs满意度的公式.     

并发计算的元模型Ⅳ.公理化

在ｃｈｉ进程间互模拟格的基础上,利用Ｌ－互模拟的开刻划,给出所有４个Ｌ－互模拟等价诱导的同余关系的完全公理化系统。４个Ｌ－互模拟等价中最小的同余关系的公理系统,由强互模拟等价的公理系统与３条ｔａｕ规则构成,在此基础上,分别加入一条输出规则和／或其对偶形式,即得其他３个公理系统。     

与组合子B,C,I有关的BCI代数的新系统

1966年K.Is′eki教授引入了BCI代数的概念。本文仿照文献[3](它把BCK代数的公理归结为与组合子B,C和K相对应的三个公理),把BCI代数的公理归结为与组合子B,C和I(见[4]相对应的三个公理,从而得到一个更简单的DCI代数的新系统Y,我们还进一步把公理B换为相应的规则,从而又得等价的新系统Y~*.     

一种多主体信息交互的逻辑系统

通信信息系统CIS描述了多主体的信息表示和通信方法.这种系统是经典命题逻辑在多主体环境中的扩张.通过"泥孩问题"的推理展示了该形式系统的创建方法,多主体环境下的主体认知能力可以通过通信规则和公理加以描述,公共知识的刻画可以通过主体之间共享语言片段完成.由于针对不同的应用背景可以选择不同的公理和规则,该系统具有通用性.     

不完全信息群体决策的Borda数规则

对于不完全信息群体决策问题,建立了不完全信息Borda数规则,并研究它的性质和满足Arrow偏爱公理系的情况.在信息不完全的情况下,扩展了确定性下的Borda数规则.     

基于强Pareto原则的偏爱规则及其性质

基于强Pareto原则提出了一种新的偏爱规则,此种规则有Pareto原则的特性且构成序,成为SWF(社会福利函数),并且满足Arrow提出的3个公理:无限制定义域条件、Pareto原则和非独裁性.     

格化拓扑公理系统的简化

目的 简化格化拓扑中泛邻元系公理系统和网泛敛关系公理系统。方法对照一般拓扑学中邻域系公理理论和More-smith收敛理论，构造格化拓扑中泛邻元系和网泛敛关系的最基本的条件。结果泛邻元系公理系统原来的7条公理被简化成为5条，网泛敛关系公理系统原来的8条公理被简化成为5条。结论泛邻元系公理系统和网泛敛关系公理系统简化后，表述更清晰，应用更方便。     

纯蕴涵演算定理证明的两个能行过程

以不同于通常的根先证明搜索策略,从纯蕴涵演算的初始公理和初始规则出发,通过分析公理在定理证明中的作用和规律,可以得到两个实用的能行过程。这两个能行过程虽不是机械化的证明搜索程序,但有助于新程序的研发,并且可应用于数理逻辑的实际教学。     

群体决策的随机较多法

对于各决策个体可以作出随机偏爱排序判断的群体决策问题,给出一个群体对所有供选方案进行偏爱排序的随机型较多规则,检验了此规则满足随机偏爱公理的情况,并且进一步研究了它的两个理性性质.     

基于αk—较多规则的群体最优群

借助αk－较多序的概念,给出了一种多人决策的决策规则,称作αk-较多规则,利用该规则可对供选方案进行优选。并验证了它满足Arrow公理的一致性,独立性,非加强性和非独立性。还讨论了群体最优解的存在性条件。     

广义粗集的公理化

粗集理论在数据挖掘等领域得到了广泛的应用，对粗集理论进行推广可得到各种广义粗集。该文研究了广义粗集的多个公理组，证明了公理组中各公理的独立性，并给出了普通粗集理论的另一个公理组，它有4条相互独立的公理组成。     

代数结构与几何基础Ⅱ──域上的仿射几何和欧氏几何

在本文中我们将定义有序域上的仿射几何，并证明它满足Ｈｉｌｂｅｒｔ几何公理体系的结合公理，顺序公理和平行公理．然后我们定义Ｐｙｔｈａｇｏｒａｓ域上的欧氏几何，并证明它更满足合同合理．     

联合演算对传统直言推论的系统化

本文确定了联合演算的初始符号、形成规则、定义、公理和基本推理规则。以此为出发点，本文对传统直接推论和传统直言三段论作出系统化处理，证明传统对当关系的所有有效式、传统逻辑中的简单换位、传统换质法推理式、传统换质位法推理式、传统戾换法的全部有效式以及传统直言三段论二十四个有效式在本联合演算系统中都是定理。     

马丁公理的逻辑分析

讲座了公理集合论中马丁公理的若干问题，即：（１）什么是马丁公理；（２）马丁公理的等价命题；（３）马丁公理和连续统假设之间的关系；（４）马丁公理在现代数学中的作用。