基于本体的物品属性类人认知及推理

为了实现服务机器人对物品知识的类人认知和推理,以辅助机器人执行物品操作任务,提出基于属性的家庭物品语义知识库构建方法.通过对物品知识进行分类,使用视觉、类别、物理、功能、操作属性对物品知识进行系统化和条理化的描述,结合本体建模语言对物品知识进行建模;利用语义网络规则语言,制定针对物品属性的推理规则（包含视觉、类别、物理-功能、视觉-类别、类别-类别）,实现对物品属性的自主认知及推理.在实验室搭建的机器人物品操作仿真平台上验证了物品语义知识库对机器人操作物品的指导作用.对语义知识库的查询结果表明,机器人可以以统一的形式获取与物品相关的多种高层语义信息.     

基于路径排序算法的STEP知识推理技术研究

设计语义的形式化表达和推理是产品设计语义交换的关键。针对产品信息交换中设计语义知识挖掘需求,以STEP AP242为基础,构建产品三维几何信息与非几何信息语义关联的STEP知识图谱。在知识图谱的基础上,提出了基于路径排序算法的STEP特征知识推理技术。同时,结合基于三维产品信息可视的知识图谱平台实例进行论证。实现复合产品特征的推理以及STEP设计语义知识提取和交换。实证结果表明:所提方法能有效推理出产品信息中设计语义信息。     

ICAI系统中自动答疑策略与机制探讨

针对智能型教学课件（ICAI）中答疑子系统，提出了推理策略、解析机、推理机与知识的表达组织形式等设计构想。探讨了系统关于语义分析、知识管理、关联规则挖掘、行为跟踪等问题。简要地分析了解析机、推理机、知识库的工作原理和答案的演译过程。     

语义Web中本体推理研究

语义Web作为新一代Web正备受关注,本体作为语义Web的基石,在知识表示与知识推理方面发挥着重要作用。介绍了本体语言、描述逻辑以及二者之间的关系。对描述逻辑的语义推理机制以及推理机进行了分析。并以具体的本体构建为例,对构建过程中的推理判定进行了验证。     

审计专家系统与数据语义正确性判别

从审计领域的实例发，指出数据库的数据语义不但受到数据库完整的性的约束，而且受到数据库应用领域的特殊约束，并且把判断数据库是否满足特定领域的约束问题归为对数据库数据语义的判别，文中通过给出审计专家系统（Audit Expert System,AES)的实现方案，分析了审计领域对数据库的特殊约束，提出用规则组的知识表示方法来表达这些特殊约束，并给出了基于规则组的推理策略，使用规则组知识表示方法，缩小了选择可用知识的范围，有效地降低了算法的时间复杂度。     

一种基于模糊推理的专家系统的设计与实现

描述了一种基于模糊推理模型的专家系统。在本系统中知识采用了框架结构和模糊产生式规则相结合的表示形式,引进了模糊匹配和语义距离等方法进行模糊推理,实现了一种较为理想的不确定性推理。     

本体和规则在营销策略自动推理中的应用

针对市场营销中只能表达结构信息,无法表达语义信息的问题,研究本体和规则在营销策略自动推理中的应用。分析了采用不同营销策略时,建立本体应包括的领域知识;描述了基于本体和规则的营销策略自动推理方法;结合一个企业实例建立了本体,并进行了详细的描述。采用Logistic模型预测客户的潜在价值和进行客户细分,并运用关联规则挖掘捆绑销售策略。在此基础上建立规则文件,实现了营销策略的自动推理过程。     

一种基于模糊推理的专家系统的设计与实现

描述了一种基于模糊推理模型的专家系统。在本系统中知识采用了框架结构和模糊产生式规则相结合的表示形式，引进了模糊匹配和语义距离等方法进行模糊推理，实现了一种较为理想的小确定性推理。     

一种面向语义Web浏览器的基于规则的推理方法

讨论了语义Web浏览器环境下RDF数据推理与查询面临的若干挑战：动态性、可伸缩性、及时性和可信性.提出了一种基于前向链的规则推理方法,通过动态提取与查询相关的规则和事实来处理动态性和可伸缩性挑战.该方法通过MagicSets优化技术提高推理性能来满足及时性要求.提取的规则包含了本体公理转化而来的规则.为了提高推理结果的...     

基于语义知识的监控执行模式

为提高监控执行系统的智能性并实现操作模式从面向设备到面向用户的转变,提出基于语义知识的监控执行模型SKBSCM。该模型利用资源描述框架RDF描述数据,通过基于语义知识的规则推理,自动整合系统采集数据以及用户偏好信息,感知用户需求,并根据上下文生成系统解决方案。本文将SKBSCM模型应用于家居智能领域,一些日常生活的测试实验结果表明,该方法可大大改善用户的体验。     

设计与实现计算机推理软件的研究

计算机专家系统是计算机推理软件的典型代表．本文提出了一种设计与实现计算机推理软件的方法．该方法将领域理论、知识、经验转换成计算机能够存储、表示和应用的知识库,该知识库的内容通过知识转换器完成对知识的识别、分析、数据收集、编码处理、地址分配等,随后转换产生用于逻辑推理数据形式的知识规则库文件．在知识规则库文件的基础上建立一个独立的推理执行系统,它采用精确推理的方法,依据由知识转换器产生的知识规则库文件,实现相应的推理结构确定的逻辑控制,论述了计算机推理软件的设计思想、总体设计及其特点,并介绍了采用计算机编程语言的实现方法．     

基于SWRL和Jess构造语义Web规则及其对策分析

以Family本体为样例,采用OWL开发平台Protégé及SWRL规则编辑器定义本体并构造语义Web规则,基于SWRLJessTab和JessTab将Jess规则引擎与OWL和SWRL集成,为语义Web提供基于规则的推理机制,实现知识库共享和规则的互操作。对出现的问题及对策进行了较深入的分析。     

本体与规则整合的推理方法研究及设计

在给出混合知识表示的基础上,提出基于Tableau演算的变种算法Model-Tableau,将其与以SLD原理为基础的Top-down算法混合,给出知识查询的推理方法设计。最后,给出了算法相关证明和系统原型。结果表明:该方案丰富了语义Web的知识表示能力,有效解决了由本体层和规则层结合所产生的查询推理问题。     

柔性制造系统故障诊断系统的智能知识获取

结合ＦＭＳ故障诊断专家系统的实际开发,针对故障诊断专家系统中的知识自动获取问题,提出了概念库的管理方式,设计了一种自学习系统,本文研究了学习模块的知识表达问题,提出了一种混合式的知识表达方式,即语义网络和模糊产生式规则相结合的方式,同时介绍了学习过程的搜索问题及推理策略。     

烧结过程异常状况诊断专家系统SPADES（Ⅱ）——关键技术

知识库构造和推理机设计是实现专家系统的关键技术,烧结过程异常诊断的知识具有模糊性、不确定性与因果性强,定性知识与定量知识并存的特点,采用模糊逻辑表达烧结过程信息的模糊特性,研究了表达烧结过程异常诊断知识的综合型知识表达方式,短文加的组织包括数据库、事实库、模型库和规则库。规则库中的规则根据用途不同分组存放,同组规则按优先级别排序,这样的知识组织方式为实现高效快速推理奠定了基础;SPADES系统的知识库具有管理与维护功能,知识学习采用专家指导学习方式;烧结过程异常诊断专家系统的推理机采用多级目标推理的混合推理机：总体目标推理采用过程化推理,按异常类型判断、异常原因分析、操作决策顺序进行;烧结过程异常状况的诊断采用模糊诊断确定假定异常集合,再通过反向推理验证假定异常集合中的无素,确定出现的异常类型;异常原因分析和操作决策采用正向推理,对于本系统中模糊规则的模糊性传递问题,采用基于研究因子法的不精确推理策略,以及基于模糊规则的模糊匹配方法。SPADES系统在生产现场的应用结果证明了本系统知识表达方式和推理机可以实现模糊知识的表达和高效推理。     

基于ALC的空间语义知识库

基于经典描述逻辑ALC,提出了空间语义知识的表示方法和可判定的推理算法。将空间关系表达为一类特殊的概念,空间关系的基本运算采用公理系统表达,空间约束满足问题求解和逻辑术语推理可以在同一个推理机下进行。首次实现了空间关系和语义知识相结合并且可判定的推理,同时支持多元空间关系结合推理。此前的同类方法都是不可判定的。理论分析、应用实例和相关工作对比均显示该方法解决了空间语义知识库的关键问题,具有一定的理论意义和应用价值。     

基于Jena的唐卡领域本体推理

考虑了唐卡的内涵和外延、分类边界、分类粒度以及各个类、实例之间的关系,采用Protégé平台构建了唐卡领域本体。在此基础上,导入推理规则库并创建了信息模型本体,基于Jena构建了适用于唐卡领域本体中的推理规则库,实现了唐卡领域本体中概念之间、实例之间间接关系和隐含关系的推理。最后,以唐卡中具有特殊意义的法器为例进行了推理和查询,验证了推理规则的有效性和合理性;以释迦牟尼为例查询了其直接描述和间接关系,从而实现了基于语义的唐卡知识库的查询。     

基于关系数据模型的知识存储与推理方法研究

在关系数据库的基础上,提出了将知识存储在关系数据表中的方法．基于该存储方法,提出了三个推理算法．并在推理结果中将知识的环境与语义一并处理．     

基于本体的轴类零件外圆工序尺寸参数的自动生成方法

针对轴类零件外圆工序尺寸参数人工选择的低效率和不确定性及相关工艺知识在异构CAPP系统间难以共享与传输的问题,提出了一种基于本体的轴类零件外圆工序尺寸参数的自动生成方法。根据轴类零件外圆工序尺寸参数生成过程涉及的设计特征分析、加工方案推理、工序尺寸参数选择等过程知识,构建由零件结构层、设计特征层、特征映射层及加工特征层组成的知识表示模型。利用网络本体语言OWL对知识模型进行本体表示,构建外圆工序尺寸参数生成的元本体模型。采用语义网规则语言SWRL构建与外圆工序尺寸参数生成过程相关的推理规则,设计了外圆工序尺寸参数的自动生成算法,利用Jess推理机实现了外圆工序尺寸参数的自动生成,并通过实例验证了该方法的可行性。     

一种融合专家和数据的综合知识建模框架

专家系统过分依赖于专家的知识,如何准确地获取专家知识成为系统工作的瓶颈,将历史数据和专家知识有效结合成为智能建模领域的一个难题.提出一个融合专家知识和历史数据的综合知识建模框架,首先利用简单的IF-THEN推理规则表示专家的经验知识,再基于历史数据设计一系列自动分析方法,通过聚类分析、规则提取、近似推理、规则调整等过程形成一个数据分析引擎,协助专家正确建立并优化知识模型,为领域专家提供一个将个人知识和数据抽取规则相融合的综合建模方法.