检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

集值信息系统的公理系统

引用

逻辑学研究 2022年第5期15卷 51-69页

作者：曹发生贵州民族大学民族文化与认知科学学院

自从波兰数学家Z.Pawlak建立信息表的逻辑系统以来,出现了各种信息系统及其逻辑的研究。集值信息系统在机器学习方面有着重要的应用,本文从一个具体的集值信息系统的例子引发出建立集值信息系统的公理系统必要性。首先借助相容性关系给... 详细信息

自从波兰数学家Z.Pawlak建立信息表的逻辑系统以来,出现了各种信息系统及其逻辑的研究。集值信息系统在机器学习方面有着重要的应用,本文从一个具体的集值信息系统的例子引发出建立集值信息系统的公理系统必要性。首先借助相容性关系给出模态算子的语义;然后给出集值信息系统的逻辑的语法和语义;最后建立集值信息系统的公理系统的公理和推理规则,并且利用传统方法证明集值信息系统的逻辑系统的可靠性和完全性。从逻辑本质上看,集值信息系统的逻辑系统就是一种多模态逻辑系统,它也给出多模态逻辑的非常完美的诠释。

关键词：集值信息系统过滤典范模型公理系统

在线全文

学校读者我要写书评

暂无评论

半分配同余簇主同余的研究

引用

福州大学学报（自然科学版） 2010年第3期38卷 309-311页

作者：曹发生王驹毕节学院数学系贵州毕节551700 广西师范大学计算机科学与信息工程学院广西桂林541004

分配同余簇是半分配同余簇的真子类,给出了半分配同余簇上的一个重要的相仿于分配同余簇上的结论.

关键词：有穷基主同余半分配同余簇

在线全文

学校读者我要写书评

暂无评论

循环ALCN-Tbox具有模型的条件

引用

计算机学报 2008年第1期31卷 16-23页

作者：曹发生余泉王驹蒋运承毕节学院逻辑与应用逻辑研究所黔南民族师范学院数学系广西师范大学计算机科学与信息工程学院广西桂林541004

分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone)的错误,并对该命题进行了修改,给出了循环ALCN-Tbox具有不动点模型(最小不动点模型和最大不动点模型)的条件.

关键词：循环ALCN—Tbox name symbol 最小不动点模型最大不动点模型 Tbox单调