期望效用理论的等价公理体系与公理的弱化

本文分析了 Von Neumann- Morgenstern的作为期望效用基础的理性行为公理体系及其等价公理体系的局限性 ,提出等价公理体系研究是公理弱化的一个途径 ,并具体分析了几个著名等价公理体系之间的关系 ,对公理体系中偏好关系的完全性假设的弱化作了讨论 。

P-半单BCI-代数的几组等价公理系

本文利用BCI -代数的某些基本性质和P -半单BCI -代数的等价特性 ,给出了P -半单BCI-代数的四组等价公理系

关于BCK／BCI－代数的几个等价公理系

分别给出ＢＣＫ－代数，蕴涵ＢＣＫ－代数，ＢＣＩ－代数及蕴涵ＢＣＩ－代数的一个等价公理系，说明了蕴涵ＢＣＩ－代数是蕴涵ＢＣＫ－代数的自然推广，亦说明了蕴涵性是“双Ｂ”代数的“固有属性”．

BCK代数的伴随代数(英文)

给出了BCK代数的一个等价公理 。

An Equivalent Form of the Dedekind Axiomand Its Application(Ⅱ)——Also on the unity of the Continuous Induction,the Mathem atical Induction and the Transfinite Induction

In this paper,a common characteristic of real number system and well ordered set is revealed and proved to be an equivalent form of the Dedekind Axiom or the Continuous Induction in R. Basing on it,we get the unified form of the mathematical induction,the transfinite induction and the continuous induction and generalize induction to totally ordered set that has the same characteristic.

An Equivalent Form of the Dedekind Axiomand Its Application(Ⅰ)——Also on theunity ofthe ContinuousInduction,theMathem aticalInduction and theTransfiniteInduction

In this paper,a common characteristic of real number system and well ordered set is revealed and proved to be an equivalent form of the Dedekind Axiom or the Continuous Induction in R. Basing on it,we get the unified form of the mathematical induction,the transfinite induction and the continuous induction and generalize induction to totally ordered set that has the same characteristic.

中医哮喘领域本体的构建

目的:利用本体的方式实现中医哮喘领域的知识的共建共享及推理。方法:通过对中医文献中"哮喘"相关知识的提取,基于斯坦福大学的七步法构建了"哮喘"的疾病本体,实现了哮喘相关知识的领域建模,建立了部分概念与概念间的关系约束及公理。结果:中医哮喘领域本体构建完成能够实现知识的共享以及简单的推理。共有类120个,实例425个,对象属性18个,其中反向属性6个,数值属性2个,等价类公理1个,子类公理138个,基本实现了对哮喘领域知识的语义化表达。结论:本体的构建在知识的共建、共享及未来知识库的语义检索、数据挖掘中具有一定的参考与应用价值。