基于ALICE的语义推理接口

分析人工智能聊天机器人ALICE(Artificial Linguistic Internet Computer Entity)的知识组织结构和内部推理机制,指出ALICE系统在语义推理方面的缺陷,提出使用语义网本体理论与ALICE推理机制相结合的解决方案,设计并实现了一个基于ALICE系统的语义推理接口.实验证明,该接口能够很好地支持基于自然语言的语义推理,且具有很高的满意率.     

基于语义的访问控制模型及其推理机制

对语义Web上资源进行访问要求授权决策充分考虑实体之间的语义关系,但传统的访问控制模型不能处理该问题。结合基于本体的语义描述技术和基于语义规则的推理机制,将不同的语义内部关系归纳为包含关系,提出一种面向语义Web的基于语义的访问控制模型,研究其语义授权推理机制,并提出一个推理实现系统。     

基于Ontology的专家系统研究

针对当前专家系统领域知识语义表示不精确及推理效率低的问题,提出一种基于Ontology的专家系统框架。根据规则结构建立规则模式Ontology和动作Ontology,将用户推理条件作为模式子Ontology,设计出基于名称和实例的相似度计算及Clips推理机制的专家系统推理算法。结合高性能切削加工应用背景给出一个应用实例,应用结果表明,该系统能够明显提高推理效率和推理结果的语义表达。     

面向Oracle 11g的语义查询集成平台

在VOEditor本体可视化编辑器的基础上,结合本体的相关知识,采用Oracle 11g和其他推理引擎的语义技术,开发一个基于语义的信息查询集成平台原型系统,介绍其体系结构、主要查询机制、实现技术及初步使用情况。结果表明,该系统能对知识库进行不同程度的推理查询,并能支持大型的语义应用。     

基于描述逻辑的主体服务匹配

多主体系统中的服务匹配是智能主体和多主体系统等领域中的重要研究课题．描述逻辑是知识表示和推理的形式化工具，它提供了可判定的和可靠的推理服务．该文利用描述逻辑有效的推理功能，特别是它对概念包含关系的有效判断，把它与多主体系统的服务推理结合起来．充分利用描述逻辑具有清晰模型一理论语义和有效的概念分层推理服务等功能，该文提出了基于描述逻辑的主体服务匹配算法，详细研究了如何利用描述逻辑的理论和推理机制来实现自动的服务分层及服务匹配．并提出了五种服务匹配算法．这些方法都是基于语义的服务匹配，利用服务分层机制实现了有效和高效的多主体系统中的服务匹配，克服了基于语义距离进行服务匹配的不足．     

利用XML和JDOM实现ATMS

利用XML结构与语义自描述的特性,结合JDOM对XML文件操作的清晰性和简便性,实现了基于假设的真值维护系统(ATMS)的基本结构的表示和标记更新算法,并提供了问题求解器的接口以便将其扩充成一个完整的推理系统。     

基于本体的语境信息模型与推理

语境信息是用来刻画一个实体情形的信息,该文提出了基于本体的语境信息建模以及查询方法,利用本体极强的语义描述能力和有效的推理机制,更好地实现了语境信息的管理。介绍了关键技术、相关支持工具以及开发的原型系统。该模型采用2种推理机制：基于描述逻辑的推理与规则推理,能够更快速有效地管理语境信息。 普     

基于领域本体的语义查询推理系统

传统的基于关键字的信息检索技术不能满足人们对信息查询的需求,语义网技术是解决这一问题最有前景的方法。本文设计与开发一个基于出版物领域本体的语义查询与推理系统,该系统构建了出版物领域本体,并构造该领域本体的查询语句和推理规则,给出语义查询和推理的结果,并对结果进行测试。结果验证了系统对语义查询和推理的可行性和有效性。      

ALICE机理分析与应用研究

详细介绍了人工智能聊天机器人ALICE的知识组织结构和内部推理机制，指出它在中文处理方面存在的缺陷。在此基础之上，从分词与词性标注、同义句处理和AIML知识库的建设等多个方面探讨了ALICE在中文处理方面所面临的问题，并提出了相应的解决方法。     

基于本体的语义分析过程与方法的研究应用*

为了提高信息化环境下语义分析能力,将本体引入语义分析。通过对典型本体构建方法的比较与综合,形成一种持续优化的本体构建方法,在此基础上进行概念分析、关系推理。进一步对比基于本体的语义分析和其它语义分析方法,指出基于本体的语义分析更具系统性、针对性,推理能力强。最后,将基于本体的语义分析应用到软件缺陷分析系统中。结果表明,它能够集成到原有系统中并有效进行关系推理和冲突识别。     

基于语义Web的受控自然语言系统推理模型

虽然相关研究组织提供了语义Web的一些简化工具,但是对不具备相关背景知识的领域专家来说,语义Web的可用性较低。提出了基于语义Web的受控自然语言系统推理模型,以解决这个问题。首先给出受控自然语言系统推理模型框架;然后分析受控自然语言的语言处理部分,提出基于WordNct的受控自然语言系统的本体词库模型和基于本体词库的受控自然语言解释器,把受控自然语言转换成中间表达语言篇章表述结构;最后通过推理部分把篇章表述结构转换成语义Web的本体和规则,通过模板工具映射成Jess的事实和规则,根据预定义的语义Web的公理和定理对受控自然语言进行推理。试验证明此模型大大提高了知识表示建模的效率,也基本满足简单推理任务,具有实用价值。     

支持人机协同的智能用户界面体系结构

从分析实现人机协同智能用户界面需解决的问题入手,探讨了多Agent系统解决上述问题的技术途径;提出一种基于多Agent系统的人机协同式智能用户界面体系结构,并重点讨论了如何解决多媒体对象展示关系、Agent之间协同、应用语义反馈、用户智能向导等问题。在该结构中,控制Agent协调可视元素之间的通信,用户Agent负责保存用户兴趣模型和提供推理服务。支持用户界面按构件方式进行组合,具有良好的扩展必和可重用性。模拟实例验证了该体系结构的可行性。     

基于UDDI的语义Web服务发现研究

目前基于UDDI的Web服务发现机制仅提供了简单的基于关键字的搜索方法,缺乏对语义推理的支持。因此给出了一种基于UDDI的语义Web服务发现的架构,通过把Web服务的语义描述发布到UDDI注册中心,并扩展查询API的规范,在服务查找中加入语义推理,从而增强了UDDI的语义Web服务发现的能力。     

专家领域本体建模及语义信息服务研究

目前各省市各部门分别拥有各自专用的专家信息系统,分别管理所在地区和所属领域的专家信息,其形式各异且专家信息分布异构.针对实际应用中共享专家信息困难,基于关键字查询信息效率不高等问题,提出基于语义的专家信息系统解决方案.采用5W1H分析法归纳领域本体中概念和关系,建立基于5W1H的专家本体概念模型并生成专家领域本体,实现了专家语义信息统一建模.构建系统的四层体系结构,研究语义推理规则的定义方法,设计了基于语义的规则推理算法和基于SPAR-QL的语义信息查询算法,实现了系统基于语义的信息查询和推理等功能.实验表明,基于语义的专家信息查询在查全率、查准率优于基于关键字的查询.     

制造资源智能检索系统研究与实现

基于语义网技术，提出一个原型系统Swirrsm，对网络化制造环境中分布式异地企业资源信息获取与用户透明化检索的关键技术进行了深入研究．Swirrsm系统以网络化制造本体作为语义和推理支撑；提出多层次信息智能检索模型，完成用户透明化的智能检索；提供三种用户交互方式实现基于语义的用户查询表达．     

基于Matlab与．Net的神经网络推理应用

介绍了人工神经网络技术的基本概念,及其在Matlab6.5环境下的实现方法,探讨了Matlab与.Net开发平台的接口。最后以机械故障诊断为应用案例,说明了如何开发基于两个不同环境的故障诊断系统,得出了结合.Net框架和Matlab6.5环境解决工程技术领域问题的具体方法,并展望了此方法的应用前景。     

Resolution of ambiguity in Chinese and its application to machine translation

In this paper, we present a typology of ambiguity in Chinese, which includes morphological, lexical, syntactic, semantic, and contextual ambiguities. Examples are shown for each type of ambiguity and sometimes for subtypes. Ambiguity resolution strategies used in the ALICE machine translation system are presented in various levels of detail. A disambiguation model, called Four-Step, is proposed for resolving syntactic ambiguities involving serial verb construction and predication. As the name suggests, the model comprises four steps-well-formedness checking, preference for argument readings, precondition checking, and late closure. For resolving semantic ambiguity, we propose a new formalism, called Semantic Functional Grammar (SFG), to deal with the resolution problem. SFG integrates the concept of Semantic Grammar into Lexical-Functional Grammar (LFG) such that the functional structure (f-structures) include semantic functions in addition to grammatical functions. For dealing with lexical and contextual ambiguities, we briefly describe the mechanisms used in the ALICE system. As for morphological ambiguity, the resolution is a problem of word-boundary decision (segmentation) and is beyond the scope of this research. The mechanisms presented in the paper have been successfully applied to the translation of Chinese news headlines in the ALICE system.This research was supported partly by the Industrial Technology Research Institute, Taiwan under a grant for doctoral study to this author.