一个基于谓词逻辑的金融投资辅助决策系统

谓词演算作为一种智能表示的语言，箕优点是精确定义的形式语义，合理而完备的推理规则．使用谓词演算来进行知识的表示和推理，能代表实际应用中的许多问题．现就基于谓词逻辑的金融投资辅助决策系统加以分析与研究．     

基于本体和规则的物流知识表示与推理

为了解决物流领域相关概念的共享和信息集成问题,研究了物流配送过程中相关知识的表示以及基于知识的推理．应用本体论方法分析配货规则,使用本体中表示的概念和属性制定配货规则库．运用Jena推理子系统,对本体和配货规则进行推理,开发了一套基于本体和规则的自动配货系统．由于本体是共享概念模型明确的、形式化的规范描述,可以利用本体强大的语义表达能力、本体所描述的共享知识以及自动推理机制,实现物流企业之间以知识集成为基础的业务集成．     

多语种自然语言生成系统中的语言模型

介绍了在多语种自然语言生成系统中如何用统一的模型来表示各种语种的语言知识。本文将语言知识分为语义资源和语法资源两个部分。前者通过Ｓｃｈｅｍａ和优化规则确定文本的内容;后者根据子结构类,句法规则和词典确定文本的具体形式。该模型以复杂特征集为语言知识的载体,将表示抽象语义的数据扩展为生成不同语种文本所需的语言资源。     

一种家庭服务机器人的环境语义认知机制

为提高机器人对家庭环境的语义认知能力,提出了一种环境语义认知模型.基于卷积神经网络提取场景类别和物品语义信息,实现环境的上下文语义理解;采用语义解析器解析语义信息,进而以结构化的方法表征知识,并将其存入本体知识库.同时基于语义网规则语言(SWRL)推理规则挖掘出其隐藏知识,实现知识库的扩展;以服务任务为驱动,实现家庭环境下机器人快速、准确地从知识库获取所需语义信息,从而智能化地执行服务任务.实验结果表明:所提出的模型能够准确提取环境语义信息,并能使机器人快速检索到服务所需知识.     

用语义网络语言描述知识的表示

文章首先介绍语义网络的基本概念,用实例描述如何用语义网络语言(SenetL)表示知识,同时介绍如何用扩张的语义网络表示语义,着重介绍实例(instance-of)、聚集(part-whole)、泛化(is—a)和联合(member-of)几种典型语义关系的语义网络表示的方法。     

RDF在语义Web知识表示中的作用

基于Web具有的一些特征和应用于语义Web的知识表示语言RDF,分析了RDF提供的语法基础即如何用XML来实现语法,以及RDF如何无二义性地描述资源对象的问题,使得描述的资源的元数据信息成为机器可以理解的信息。在此基础上,提出了一种新的适合Web发展需要的知识表示方法,为智能应用领域提供基础;并阐述了以RDF为基础的知识表示语言可较好地实现语义Web的知识表示。最后通过基于OWL知识表示实例的语义检索应用给予了说明。     

基于UML的领域规则建模方法

为了实现领域约束规则的可视化表示,检验需求模型与领域知识之间的一致性,该文提出一种领域规则建模及需求模型验证方法.在借鉴本体定义元模型和语义网规则语言(SWRL)基础上,定义了一种领域规则定义元模型.用该元模型扩展统一建模语言,使其可用于领域规则建模.给出了领域规则模型到SWRL描述的转换方法,使需求模型验证可通过形式化推理引擎自动完成.通过模型验证案例分析,说明了该方法的可用性.     

专家系统开发平台OKPS的设计与实现

采用面向对象知识表示方法描述和存贮知识 ,设计实现了一个名为 OKPS的专家系统开发平台 ,用于构造和使用专家系统 .系统由两部分组成 ,即知识获取和管理工具 ,以及面向对象推理机 .前者为知识工程师提供高效地建立、扩充和维护专家系统的工具 ,它采用面向对象知识表示方法 ,分层次地向知识工程师展示知识库的全部结构 ,采用可视化的手段辅助知识工程师构造知识库 ,同时还隐藏了知识库到数据库这一存贮映射过程的实现细节 ;后者通过人机交互界面为专家系统最终用户提供解释和执行专家系统中推理规则的机制 .此外 ,系统还引入了一种专用高级语言 :推理控制语言 ICL,用于描述和操作专家知识与规则 ,并控制推理过程     

本体描述语言OWL知识表示的扩展

当前,在语义Web中,基于OWL的知识表示成为了研究和应用的热点。文章基于计算机常用软件领域,介绍了OWL的扩展语言OWLPLUS,包括:用户自定义字符串、数值关系约束和IF-THEN规则表示等方面。     

分布式环境下基于形式化领域本体的查询处理

为了提高语义Web查询的查全率和查准率,文中提出了一种基于形式化领域本体的查询处理方法.首先采用描述逻辑表达领域本体的语法和语义,实现领域本体的形式化转换;然后基于转换后的形式化领域本体,采用含半幺群概括演算作为基于形式化领域本体查询转换的目标语言,定义了用户查询到含半幺群同态查询的转换规则和语义优化处理、查询重写规则,最后通过实验验证了该方法的查询性能.     

以语义规则刻画服务请求的Top-kWeb服务发现方法

为了更好地提供满足客户需求的Web服务,在充分研究服务发布描述、服务请求描述等特点的基础上,提出了以语义规则刻画的服务请求描述,并以本体构建了服务发布描述.通过对语义规则添加影响因子,使得服务匹配精度可以通过匹配度来度量,并按照给定的调节系数决定最终匹配是否成功.在OWL-S TC V2测试服务集合中进行了对比实验,结果表明,所提方法可以有效提高查全率和查准率,特别是在最大匹配数为20获得的k分别为2、5、8、10、15的情况下,Top-k查准率比基于描述逻辑包含检测的算法分别提高了15%、15%、9%、8%、2%,比关键字算法分别提高了5%、13%、30%、33%、30%,而查准率稳定在95%以上.     

网络语言中的“XX体”现象分析

"XX体"是在互联网时代背景下催生出来的新的表达方式。这种网络流行体有四个显著特点:传播速度快,涉及领域广;语义大众化,流行性强;感情色彩丰富;话语模板固定。社会事件的引发、民众情绪的发泄和大众娱乐的需要是产生"XX体"的原因。对"XX体"现象的分析,有助于更加深刻地理解这一网络语言。     

Statistical properties of Chinese semantic networks

Almost all language networks in word and syntactic levels are small-world and scale-free. This raises the questions of whether a language network in deeper semantic or cognitive level also has the similar properties. To answer the question, we built up a Chinese semantic network based on a treebank with semantic role （argument structure） annotation and investigated its global statistical properties. The results show that although semantic network is also small-world and scale-free, it is different from syntactic network in hierarchical structure and K-Nearest-Neighbor correlation.     

用于系统模型层验证的模型转换的研究

传统以代码为中心的数控系统开发方式导致了系统测试滞后,系统性能难以保证。针对这种情形,提出利用模型转换将领域模型转换到第三方验证工具(Matlab 或UPPAAL)进行系统性能早期测试,从模型层保证系统性能。讨论了采用基于元模型层规则定义、语义动态添加和基于设计模式的操作等策略,以此满足实际模型转换的具体要求,给出了其框架。并指出根据实际需求采用不同的实现步骤和技术手段完成模型转换。从数控系统工作模式模型到StateFlow模型的转换实例从建模语言构建、映射规则定义、算法设计等几方面验证了上述模型转换理论框架和实现手段的可行性和正确性。     

大学生网络语言使用的调查与引导

对大学生网络语言使用情况进行调查,认为大学生青睐网络语言的主要原因是网络语言具有幽默风趣、体现个性、快捷方便和语义模糊等契合大学生心理状态的特点,提出应从净化网络环境,规范网络语言以及网络语言建设等方面引导大学生正确使用网络语言。     

基于语义网络模型的面向装配的设计研究

对并行工程下面向装配的设计（ＤＦＡ）进行了研究，总结了ＤＦＡ的一般原则，引入了适于ＤＦＡ的产品装配结构的语义网络模型及其描述语言即功能描述语言，并通过实际的例子说明了这种模型在ＤＦＡ中的具体应用。     

智能通信网推理机制的研究

为了在语义网的构架中实现元数据的交互.针对一种特定的语义网——智能通信网,研究其推理机制.分析OWL DL语言的描述能力,在其蕴含的知识基础上建立Prolog推理规则,通过Visual Prolog逻辑编程实现了智能通信网的自动推理,并用实例验证该推理系统可完成知识库中元数据的交互,达到人机交互协同工作的要求.最后通过实验检测说明智能通信网推理系统与普通万维网相比,查准率更高.