-
题名Z-相容连续Domain及其相关性质
- 1
-
-
作者
赵京
卢涛
-
机构
淮北师范大学数学科学学院
-
出处
《绵阳师范学院学报》
2017年第5期18-21,共4页
-
基金
国家自然科学基金资助项目(11171156)
安徽省高校自然科学研究重点项目(KJ2015A064)
-
文摘
对一般子集系统Z,引入了Z-相容连续Domain的概念.在Z-相容连续Domain中引入Z-相容基和局部Z-相容基,利用Z-相容基和局部Z-相容基来刻画Z-相容连续Domain.并且给出了Z-相容连续Domain上的Z-相容Scott拓扑和Z-相容Lawson拓扑,讨论了它们之间的关系.
-
关键词
Z-相容连续Domain
Z-相容基
局部Z-相容基
Z-相容Scott拓扑
Z-相容Lawson拓扑
-
Keywords
Z - consistence continuous domain, Z - consistence base, local Z - consistence base, Z - consis- tence Scott topology, Z -consistence Lawson topology
-
分类号
O189
[理学—数学]
-
-
题名Z-相容连续Domain及其相关性质
- 2
-
-
作者
李冠宇
卢涛
-
机构
淮北师范大学数学科学学院
-
出处
《佳木斯大学学报（自然科学版）》
CAS
2017年第3期500-502,526,共4页
-
基金
国家自然科学基金资助项目(11171156))
安徽省高校自然科学研究重点项目(KJ2015A064)
-
文摘
对一般子集系统Z,引入了Z-相容连续Domain的概念.在Z-相容连续Domain中引入Z-相容基和局部Z-相容基,利用Z-相容基和局部Z-相容基来刻画Z-相容连续Domain.并且给出了Z-相容连续Domain上的Z-相容Scott拓扑和Z-相容Lawson拓扑,讨论了它们之间的关系.
-
关键词
Z-相容连续Domain
Z-相容基
局部Z-相容基
Z-相容Scott拓扑
Z-相容Lawson拓扑
-
Keywords
Z -consistently continuous domain
Z -consistently basis
local Z -consistently basis
Z -consistently Scott topology
Z. consistently Lawson topology
-
分类号
O189
[理学—数学]
-
-
题名基于逻辑视角的不完备形式背景上知识相容表示与推理
- 3
-
-
作者
张少霞
李德玉
翟岩慧
-
机构
山西财经大学信息学院
山西大学计算机与信息技术学院
计算智能与中文信息处理教育部重点实验室(山西大学)
-
出处
《计算机科学》
CSCD
北大核心
2024年第8期75-82,共8页
-
基金
国家自然科学基金(62072294)
山西省基础研究计划(202103021223303)
山西省重点实验室开放课题(CICIP2022006)。
-
文摘
形式背景中的信息不完备引起了知识的不相容性,即蕴涵在不完备形式背景的任一完备化形式背景不能同时成立。逻辑描述是从语义上进行知识表示、语构上制定语义协调推理规则的方法论。首先,从逻辑角度研究不完备数据上的知识相容语义表示,通过定义不完备实例刻画知识的合理性和相容性,并构造最紧致的相容集(相容规范基)。其次,语构上制定具有语义合理性、相容性和完备性的推理规则,从而避免知识推理过程中产生不相容知识和无效知识。最后,将逻辑研究结果运用在不完备形式背景上,引入两类蕴涵形式:↓↓-型蕴涵和↑↑-型蕴涵。这两类蕴涵兼具相容性且相对于可接受性蕴涵尺度更加严格,构造这两类蕴涵的相容规范基并验证其完备性和无冗余性。
-
关键词
不完备形式背景
知识相容性
知识表示
相容规范基
知识推理
-
Keywords
Incomplete formal context
Knowledge compatibility
Knowledge representation
Compatible canonical basis
Know-ledge reasoning
-
分类号
TP182
[自动化与计算机技术—控制理论与控制工程]
-
-
题名相容半连续格上的相容半基及局部相容半基
- 4
-
-
作者
卢涛
王娣
-
机构
淮北师范大学数学科学学院
-
出处
《模糊系统与数学》
CSCD
北大核心
2016年第2期152-155,共4页
-
基金
国家自然科学基金资助项目(11571175)
安徽省高校自然科学研究重点项目(KJ2015A064)
-
文摘
作为半连续格上半基和局部半基的推广,文章引入相容半连续格的相容半基及局部相容半基的概念。讨论了它们的基本性质,特别地,借助于相容半基与局部相容半基给出了相容半连续格的一些等价刻画。
-
关键词
相容半连续格
相容半基
局部相容半基
-
Keywords
Consistently Semicontinuous Lattices
Consistently Semi-basis
Locally Consistently Semi-basis
-
分类号
O153
[理学—数学]
-
