扩展描述罗辑ALC~ 到谓词逻辑的转换研究初探

首先介绍了描述逻辑ALC ,描述逻辑ALC 是在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个体实例集和一般数量约束构造器对其进行了扩展,并给出了ALC 的语法和语义,对ALC 的完备性进行了讨论,谓词逻辑是比较经典的知识表示方法,然后探讨了描述逻辑ALC 到谓词逻辑的转换,给出了描述逻辑ALC 到谓词逻辑的转换思想．     

循环ALC~+的固定点存在性研究

分析了循环ALC+的语法及语义特征,指出循环ALC+-TBox具有固定点语义的充分非必要条件,并进行了证明,讨论了其固定点模型存在需满足的一些条件,并给出了一个实例应用.     

Cloud-ALC:描述逻辑ALC的不确定扩展

描述逻辑是本体的重要表示方式,但只能处理严格的确定性知识,并不能处理自然界中广泛存在的不确定知识。通过对最基本的描述逻辑ALC进行扩展,提出了能够处理不确定知识的基于云模型不确定描述逻辑Cloud-ALC,给出了Cloud-ALC的语法和语义及其蕴涵推理关系。实例分析说明Cloud-ALC可以为扩展本体描述语言以能够处理不确定知识提供语义支持。     

大学生对概念图态度的问卷调查

对大学生关于物理知识概念图的态度进行了问卷调查 ,并对结果进行了分类介绍 .调查表明 :学生认为概念图有好处 ,但制作概念图较困难 ,学生很喜欢发给他们教师制作好的概念图 ,并依据概念图讲解概念图的制作思路 ,认为教师的概念图更全面、清晰、准确、更有逻辑性、结构更合理 ,有利于自己对物理知识的理解和复习巩固知识 .从调查中发现学生并没有真正认识到概念图与解答物理习题的正确关系 .教师在开始使用概念图时 ,要循序渐进 ,概念图占用时间不要太长 ,制作概念图还不能取代传统的习题演练方式 ,两者应相互补充     

模态描述逻辑的模型

本文主要讨论描述逻辑ALC的模态扩充,介绍扩充后所得的模态描述逻辑MALC 的语法与语义,然后定义了模态描述逻辑的不交并模型、生成子模型的模型构造方法,并且证明他们具有的性质.     

基于概念图的自然语言处理中的语义研究与应用

目的探讨自然语言处理中的语义研究的必要性和概念图的优势及特点。方法阐述基于概念图进行语义研究的步骤及关键技术。结果基于概念图进行语义研究能进一步提高自然语言理解的水平,改善现有语义分析技术对句子的理解程度,具有一定的理论和应用价值。结论概念图的研究与应用必将对语义研究起到积极的作用。     

Vague ALC(D):一种基于vague集的模糊描述逻辑

针对普通的模糊描述逻辑使用单个隶属度无法准确表示不精确知识,而且描述逻辑是在抽象层次上描述知识,对实体的数值信息缺乏强有力的表达手段的问题,提出了一种基于vague集并结合具体域的模糊描述逻辑——vague ALC(D).介绍了用隶属度区间来表示模糊知识的vague集,给出了vague ALC(D)的语法和语义,指出了它的推理问题,同时也给出了相应的tableaux算法.vague ALC(D)能够更准确地表示和推理含有数值信息的模糊知识,增强了模糊描述逻辑的表达能力和推理能力.     

概念图知识表示的推理方法

主要讨论概念图与一阶逻辑的关系，提出一种基于概念图的知识系统的推理方法，该方法在概念图上进行演绎推理。     

交互概念图及应用

良好的知识表示形式能方便问题的求解。文中将用于刻画复杂对象结构的概念图知识表示方法推广为主动语义网络,引入复制功能体,删除功能体,在关系节点中增加主端口标识,给出了交互概念图及相应的交互概念图语言的定义,通过示例给出了交互概念图的良好表示能力。     

概念图教学策略在电力电子技术课程中的应用

用概念图来描述电力电子技术课程的主要内容及其内在联系,对于课程知识的整合、概念的理解具有重要作用。概念图教学策略在电力电子技术课程中的应用应结合学生知识储备、学习习惯、课程内容,探索概念图教学模式,能有效整合、梳理逻辑线索,浓缩知识结构,构建立体知识网络,提升学生自学能力、思维能力和自我反思能力。     

关于Ore的一个定理的简单证明

令G（V,E）是简单图,Ore研究了不相邻两点情况的哈密尔顿连通图。本中,我们进一步研究较好条件的长为2点的哈密尔顿连通图情况。结果不仅比Ore的好而且证明方法更加简单。     

扩展产生式规则知识表示方法

通过对现有知识表示方法进行分析，指出了产生式规则和概念图表示方法在自然语言理解中存在的问题，提出了扩展产生式规则知识表示方法，并对该规则的推理机制和具体实现进行了讨论．扩展产生式规则表示方法是将产生式规则的前提、结论和处理分别用概念图表示，是一种混合知识表示方法．它既保持了产生式规则的模块性，又揭示了自然语言中的深层次关系，与自然语言形成自然映射。通过分析表明，扩展产生式规则的总体性能要优于传统的产生式规则。并且特别适合于自然语言理解中的知识表示．该规则已应用于网络故障诊断专家系统的自然语言接口设计中．     

单群的点传递图的GI-性质

针对点传递图的同构问题,类似于Babai关于Cayley图为CI图的充分必要条件,给出了点传递图为GI-图的判别准则,并研究了单群的点传递图的GI-性质.     

一个概念图编辑工具的设计与实现

分析了一个基于ｐｒｏｌｏｇ语言的概念图编辑工具的设计思想与实现方法。具体研究了显示图与线性图相互转换的问题，为概念结构知识表示方法的应用提供了方便。     

电动小车自动变道环境感知系统

构建了电动小车自动变道环境感知系统.介绍了自动变道实车平台和转向系统结构改造方案,并设计了低成本、可靠的环境感知方案.对于同车道前车,采用加权融合算法对24 Ghz毫米波雷达和前视摄像头进行数据融合,通过实车采集,拟合了两种传感器在不同距离上的理想权重曲线,提高了环境感知的精度和稳定性.最后通过避障变道工况的试验,验证了自动变道环境感知系统的适用性.     

3度非对称的点传递图的性质

设X为3度连通的简单无向图,X称为具有非平凡点稳定子群的非对称的点传递图,若X的全自同构群A在X的顶点集合上作用是传递的,而且X的任意顶点在A中的稳定子群在该点的邻域上的作用是非传递的、非平凡的.本文考察了这种图,我们给出了这类图的一些性质.     

一类新的联图的优美标号算法

研究了一类新的联图的优美标号和优美性,通过构造算法求得了这类联图所有的优美标号,构造性地给出了它们的优美标号算法,并且给出了它们都是优美图的严格的数学证明,从而得到了这类联图具有优美标号算法并且都是优美图等结论.