构造算子相关论文
本文对Disjunctive命题的模型进行了研究。文章首先从理论模型角度研究Disjunc- tive命题理论，引入F-抽象模型、并建立相关的理论T(......
本文分析了描述逻辑对不确定或不精确知识进行表示和推理的研究现状和存在的问题。针对目前粗描述逻辑不能处理数量约束构造算子的......
文中提出一个基于图基高层次图素的产品参数化设计方法，对图基及图基骨架的概念和定义作了阐述，讨论了图基的性质及其分类，提出了一系......
针对描述逻辑无法表示语义网中模糊和非单调知识的问题,在模糊描述逻辑f-SHOIQ基础上增加弱否定构造算子,提出模糊非单调的描述逻......
