基于极性的非循环术语集调试

通过定义公理中概念的极性和极性冲突,用极性冲突模拟非循环ALC术语集中的语义冲突。在计算极小不可满足保持子集的计算过程中,利用极性冲突作为启发信息,选择更可能导致冲突的公理集合进行有效扩张和收缩。经过评测,在一般情况下,加入极性冲突信息的极小不可满足保持子集求解策略有较高的效率。     

基于极性的非循环术语集调试简

通过定义公理中概念的极性和极性冲突，用极性冲突模拟非循环ALC术语集中的语义冲突。在计算极小不可满足保持子集的计算过程中，利用极性冲突作为启发信息，选择更可能导致冲突的公理集合进行有效扩张和收缩。经过评测，在一般情况下，加入极性冲突信息的极小不可满足保持子集求解策略有较高的效率。     

一种不一致本体的可废止推理系统

利用可废止逻辑的非单调知识表示和推理能力、线性的计算复杂性和易于实现等优点,整合描述逻辑和可废止逻辑,提出了一种不一致本体的可废止推理系统（简称为DeRS）.DeRS使用描述逻辑定义的本体和可废止理论对领域问题进行混合建模,将TBox划分为最大的一致公理集和最小的不一致公理集,并进行初始化;然后利用转换算法,将一致公理集的公理和不一致公理集的公理分别映射为硬性规则和可废止规则,并添加到可废止理论中;最后利用新定义的可废止推理规则进行非单调可废止推理,由此解决了不一致本体的推理问题,弥补了描述逻辑在非单调性方面的不足.结果表明DeRS具有协调性、易处理性、可判定性、可靠性等基本性质.     

模糊本体结构及基于NGD的隶属度确定

本体能够形式化地描述特定领域的概念、术语及关系,但不能表达模糊的信息.为此将模糊描述逻辑应用在本体构建中,提出一个5元组的模糊本体模型,由概念集、角色集、实例集、模糊断言集和模糊关系集构成.基于Tableaux算法思想并结合算例,给出模糊本体模型推理问题的求解方法.针对模糊本体模型的隶属度计算问题,结合Google搜索,利用标准化谷歌距离(normalized Google distance,NGD)演算法,以实时且完全在线处理的方式计算关键词的相关性,并最终转化为模糊本体中的隶属度.     

基于灰色关联分析的储层含油气性气测解释方法

为了探讨储层含油气性评价的有效方法,将灰色关联分析用于储层含油气性气测解释.气测资料与储层含油气性具有较强的相关性,通过气测参数之间的相关分析,可以确定相对独立的储层含油气性气测解释参数.选取储层含油气性构造参考序列,把储层对应的气测参数当作比较序列,利用均权灰色关联分析求得不同气测参数与储层含油气性的关联度,进而确定待识别储层与已知含油气性储层加权灰色关联分析模型中不同气测参数的权重.将待识别储层对应的气测参数当作比较序列,利用加权灰色关联理论进行相关分析,得到待识别储层与已知含油气性储层的关联度,建立适当的隶属函数,并根据最大隶属度原则确定待识别储层的含油气性.分析结果表明,基于气测资料均权和加权灰色关联分析储层含油气性模式识别方法对数据量没有太高的要求,且计算方法简单,正判率高.     

基于灰色关联分析的储层含油气性气测解释方法

为了探讨储层含油气性评价的有效方法,将灰色关联分析用于储层含油气性气测解释.气测资料与储层含油气性具有较强的相关性,通过气测参数之间的相关分析,可以确定相对独立的储层含油气性气测解释参数.选取储层含油气性构造参考序列,把储层对应的气测参数当作比较序列,利用均权灰色关联分析求得不同气测参数与储层含油气性的关联度,进而确定待识别储层与已知含油气性储层加权灰色关联分析模型中不同气测参数的权重.将待识别储层对应的气测参数当作比较序列,利用加权灰色关联理论进行相关分析,得到待识别储层与已知含油气性储层的关联度,建立适当的隶属函数,并根据最大隶属度原则确定待识别储层的含油气性.分析结果表明,基于气测资料均权和加权灰色关联分析储层含油气性模式识别方法对数据量没有太高的要求,且计算方法简单,正判率高.     

道路交通场景事件的语义解释方法

针对传统道路交通事件语义解释方法依赖于定量数学建模方法,且底层语义概念与高级事件表达之间存在语义鸿沟的问题,提出了基于动态描述逻辑框架的事件语义定性表达和推理新方法.首先,对静态道路场景信息进行分类标记,构建交通领域本体模型,给出了本体知识库实时修改算法;其次,基于动态描述逻辑的动作公理,提出了描述车辆运动变化的运动模式集,实现了对一定约束条件下车辆机动能力范畴的刻画;最后,将事件语义解释过程抽象简化为目标的实现过程,提出了子目标生成以及实现规则,达到了依据交通事件语义解释交通态势变化过程的目的.实验结果表明:领域本体知识库的定义明确,拥有统一的框架结构,便于理解,且具有通用性;动态描述逻辑良好的表达和推理能力增强了事件语义描述的可靠性,较好地解决了语义鸿沟问题.     

领域知识结构的形式化表示方法

在Perez总结的建立本体所需的5个基本元语(概念、关系、函数、公理和实例)的基础上,提出了基于知识本体的知识结构.知识结构将知识本体中除实例之外的概念、关系等抽象要素用知识元、知识关联和知识推理证明表示,更有利于描述知识本体的内涵.     

面向语义的元数据模型一致性检验

面向语义的元数据模型检验用于判断待建元数据在语义上是否一致．首先,借鉴本体的思想,利用描述逻辑建立了面向语义的元数据模型,它是一个7元组,包括术语集、实例集、术语定义集、实例声明集、属性分配集、术语注释集和术语约束集．然后,将元数据模型检验抽象为术语检验和实例检验2类问题．最后,对术语检验和实例检验的判定方法进行分析．研究表明,2类检验问题可分别细化为4类和2类子问题,这些子问题可以相互转换。     

基于模型的故障诊断专家系统测点优选策略

为了解决模型系统的测点有限时所产生的极小诊断的组合爆炸问题,提出了增加系统测点,获取观测信息,从而减少极小诊断的智能方法.首先,采用带有终止节点的集合枚举树形式化地表达计算过程,逐步生成所有的极小碰集(即极小诊断).然后,通过故障诊断综合信息量和相关性矩阵的引入,并逐步分解矩阵,找出测点优选策略.最后,利用新增观测信息和极小诊断去除规则,可以自主实现极小诊断的逐步减少,直至唯一的极小诊断的产生,即实现故障定位.实验结果表明,该专家系统程序容易编制,且效率较好,可以满足复杂被诊断对象的快速性和准确性的要求.     

自然推理系统P中的P∧Q■P

逻辑推理理论是计算机应用人才必备的重要基础理论之一.在自然推理系统P中,推理依据一般建立在包括P∧Q■P规则在内的多条公理式规则基础上.推理规则是不可逆行的单向过程,而在自然推理系统进行中,信息量只能减少,不可能增加.P∧Q■P恰好表现了信息量减少这一特征.因此,一切推理规则均以P∧Q■P为基础.     

基于本体概念图的web文档主题爬取探讨

提出了基于本体概念图的web文档的主题爬取,采用本体概念图构造主题层次图,赋予待爬取的URL对象以层次语义信息,按照语义相关性与重要性选择爬取URL对象,搜索属于特定语义相关主题的重要web文档的WWW子集。     

基于形式语义的Web服务交互模型

现有的W eb服务缺少明显的语义,W eb服务之间不能很好地理解其相互传递的消息,因而不能实行W eb服务的发现、调用和组合自动化。为此,提出一种基于形式语义的W eb服务交互模型。该方法通过定义W eb服务接口描述的词汇集以及词汇集之间映射规则,实现了开放和分布式环境下的W eb服务的语义交互。与已有的方法相比,该方法考虑了分布式本体的解释及可满足性问题,可自动根据W eb服务接口的描述因子进行分布式本体推理,解决了开放和分布式环境下W eb服务的语义交互问题。     

隐喻的关联性分析

会话含意理论对于隐喻解释有局限性,应从认知语用学的角度,利用关联理论来分析隐喻。隐喻是随意言谈,隐喻的理解是一个明示-推理的语言交际过程,在此过程中,听话人通过处理一系列语境假设来找出话语最佳相关性的解释。     

多领域仿真模型分治求解策略

提出了一种分治求解策略,即在仿真模型规模分解基础上建立耦合块依赖图和序列表,对各耦合块建立相应的求解块,通过遍历耦合块序列表并调用相应求解块,可获得仿真模型的数值解.考虑到参数变动下的重复仿真,对耦合块依赖图进行分层处理,生成对应于变动参数集的变动子图;通过施加虚根节点将变动子图转化成最小求解树结构.因此,对变动参数集的不同参数值进行重复仿真只需层次遍历最小求解树,再调用相应求解块即可.该方法可大幅度提高复杂模型的多次仿真求解效率,特别适用于后续的模型实验和参数优化.     

多值滤子及其应用

研究了模糊集理论中的一个基本问题：什么是多值滤子？利用模糊幂集固有的模糊偏序，通过给出滤子公理的多值解释，对该问题给出了一个新的回答.此外,作为多值滤子的一个应用,用它刻画了强Ω拓扑.     

基于图模型的RDF/RDFS本体抽取方法

为了提高RDF/RDFS本体中特定领域知识的利用效率,提出了一种从源本体中抽取出特定领域本体的算法.将RDF/RDFS本体抽象为图模型;根据RDFS推理规则生成RDFS本体图模型的闭包;应用图理论构建抽取算法,生成以特定领域术语词典中概念为节点的子图,得到所需的领域本体.抽取结果表明,该方法对于RDF层次的领域本体抽取有良好的适用性,可快速有效地构建特定领域本体.     

基于本体的汽轮发电机组故障诊断知识建模

针对目前汽轮发电机组故障诊断领域知识术语复杂、系统异构、知识表示不完备以及共享和重复使用困难等问题,依据故障诊断需求,采用基于本体的知识表示方法,提出了一种适用于汽轮发电机组故障诊断领域的本体构建方法和知识表示模型.在解析了汽轮发电机组故障知识特性的前提下,定义了其本体概念、属性、关系、实例和公理,为知识表示提供了明确的形式化规格说明,并借助Protégé_4.3构建了包含汽轮发电机组的故障类型、故障特征、故障原因和维修策略等故障诊断领域本体,设计了一致性检验的算法.在此基础上,在SQI机械故障综合模拟实验台上模拟汽轮发电机组故障,通过FaCT++推理机实现本体知识推理测试.结果表明基于本体的汽轮发电机组故障诊断知识模型是可行的.     

基于动态描述逻辑的语义Web服务PE匹配算法

将基于描述逻辑断言构成的PE描述公理的有限集合看作一个本体知识库,因此有关PE的语义匹配问题就转化到两个基于描述逻辑的本体知识库之间的逻辑蕴含判定问题,然后将逻辑蕴含推理问题转化为本体库的可满足性检测问题,并通过可判的扩展算法解决,同时对匹配结果进行有意义的排序及分类.所提方法与现有方法相当的情况下,具有更高的查全率,能够更好地区分匹配结果.     

关联理论视角下的高中英语阅读词汇教学

阅读理解是一种语言交际活动,是交际互动的过程;阅读是解读作者意图的推理过程,阅读的目的是寻求最佳关联信息,推知交际意图。本文从当前高中英语阅读教学的现状出发,总结了传统的阅读教学模式的局限性,把关联理论应用于高中英语阅读教学中的词汇层面,从认知语境中选择最佳关联的假设,尝试找出词义最佳相关性的解释。