基于属性文法和语义网络的综合知识表示模型

本文提出了一个属性文法计算模型与语义网络表示模型相结合的综合知识表示模型.根据形式化的语义网络表示模型和属性文法的特点,该模型使用属性文法的符号建立了一些适合于语义网络表示模型的语法和语义规则模式,并且可通过扩充的属性文法的解释器来实现推理.     

事件常识的获取方法研究

在动态语义学的基础上,以事件的语义、文法和常识为标准构建多层次的事件分类体系,并使用该分类体系提取事件的常识知识。事件采用框架的方式来表示,称为事件框架。事件框架的内容包括事件的定义、事件之间的关系、事件的文法表达、事件的谓词表示、事件的例句、事件的前提常识和后果常识。利用事件框架的内容提取事件的常识。为了说明该方法的实用性,以事件分类体系中典型的“交易类”事件为例来描述事件常识的获取方法。     

综合知识表示模型MAS的属性文法推理机制

根据文献［２］中提出了的基于属性文法和语义网络的综合知识表示模型ＭＡＳ，本文提出了关于实现该ＭＡＳ推理机制的基本算法，并且通过实例对该算法进行了说明，最后，证明了基于ＭＡＳ模板的属性文法是Ｌ－ＡＧ和ＩＭＡＳ的解是完全的结论。     

属性文法在面向对象可视知识结构中的应用

本文提出了组合ｊｃｏｎ形和意部分形成对象Ｏｉｃｏｎ的概念，扩充了传统的属性文法，讨论了属性文法在面向对象可视知识结构中的应用。本文还给出了ＰＡＤ可视化知识表示的例子。     

基于容错Earley解析算法的领域语义文法自动学习方法

精细化的领域文本分析是高质量领域知识获取的重要前提,它通常依赖于大量某种形式的语义文法产生式,但总结这些文法通常耗时耗力.对此,文中提出了 一种基于容错Earley解析算法的语义文法自动学习方法,根据种子文法自动生成新的语义文法(包括词类和文法产生式),以减少人工成本.该方法利用优化后的容错Earley解析器,对输入的语句进行容错解析,然后根据容错解析生成的解析树产生候选语义文法,最后对候选语义文法进行过滤或纠正得到最终的语义文法.在5种不同疾病的中医医案的实验中,该方法的词类学习的正确率达到63.88％,文法产生式学习的正确率达到81.78％.     

SLL(k)文法及其分析算法的构造

本文继[4]对 Strong LL(k)文法(即 SLL(k)文法)作了较深入的探讨。文中首先给出了SLL(k)文法的充分必要条件,并详细地论述了该条件的可计算性;然后给出 SLL(k)文法分析算法的 Floyd-evans产生式语言(即 PL)表示及其构造算法。 本文所使用的记号在[4]中可以找到,并且本文所说的文法都是指压缩过的上下文无关文法。     

智能教学系统中的知识树增长模型

智能教学系统（intelligent tutoring system,ITS),作为人工智能学科的重要研究应用领域,是21世纪人类社会数字化教育的必然发展方向,迄今研究逾30年。现有一些ITS系统由于知识表示以及推理方法的领域相关特性,系统构建与系统运用、系统模块之间动态有机联系不强,进而导致学生模型弱化等问题,限制了系统在进行个别化教学过程中的智能性和推广运用。在此从系统的知识表示入手,基于SC文法的知识表示体系和知识树映射方法,提出了一个动态、实时、自适应、交互式知识树增长模型（augment knowledge-tree model,AKTM)。模型包括基于SC文法的知识点表示方法、知识树结构以及知识树映射、知识树学生模型、知识点学习循环等内容,贯穿于ITS系统4大传统模块之中,并在内容和功能上与之完全集成。通过知识点层次多维属性标注和索引,实现了知识存储、处理、调用和维护动态、一体化过程。通过知识点学习循环,实现个别化、动态、自适应智能教／学过程。同时通过模型在多媒体ITS系统中的实例化设计和运用,实现了动态教／学、领域无关、人机交互、自适应、个别化等智能特点。     

一个上下文无关文法获取过程的设计和实现*

文章介绍一个基于复用的上下文无关文法获取过程的设计和实现,该过程用于获取以上下文无关文法表示的概念.它从待获取概念的有限实例和句型以及可能复用的已知概念出发,通过一个交互式文法推断过程,最终得到概念的文法定义.     

SC文法功能体系

文法体系的研究一直是自然语言处理研究的核心问题之一.但是,由于自然语言本身所固有的复杂性和非规范性,多义问题始终未能得到圆满的解决.本文提出了SC文法(A SubCategory grammar for integrating Se-mantic and Case analysis),它是一种基于传统的上下文无关文法、语义文法,以及超前与反馈分析技术和格框架约束分析等技术的上下文相关处理文法.该文法不仅能继承传统的上下文无关文法的表示简洁、处理方便的特点,而且能实现语法和语义一体化分析和处理上下文相关以及复杂多义问题.     

形状动态表示在产品概念设计中的应用

在概念设计阶段,研究目标不仅局限于模型的几何和拓扑信息,还应考虑动态设计信息和设计过程信息.在前期工作基础上,提出能够表示造型动态信息的动态形状表示法——DSR.基于DSR形状,以设计语言形式作为可视化方式的DSR形状文法,对设计过程中的部分设计意图进行表示和保存;保存有设计知识的设计语言在衍生设计机制的支持下能够根据设计师的初始设计意图,并针对不同设计模型衍生出不同的新设计方案群体.相对于传统的形状文法应用,3种新的规则关系和基于形状捕获模式的应用规则有利于在设计过程中对设计知识的动态获取.最后以家具概念设计为例对该方法进行了验证,并在设计师中进行了小范围的应用调查.结果表明,该方法在设计意图的保持和设计创新度的产生方面获得令人满意的效果.     

广义文法

本文将定义一种新的文法——广义文法,并给出由给定广义文法构造相应标准文法的算法和判定一类广义文法的等价性的算法,最后给出广义方法的一个简单应用例子。 形式语言的文法,不仅是描述程序设计语言的工具,而且是描述程序理论、模式识别、过程控制和生物理论等各方面问题的强有力的工具。因此,扩充文法的表示形式,使之更适应于各方面的应用是有益处的。     

编译程序自动测试中的知识表示

软件测试是软件工程的重要研究课题之一。本文把人工智能(AI),知识工程和属性文法多种知识和技术应用于软件测试,主要对编译程序测试中的知识分类和知识表示问题进行讨论,它是开发知识型编译程序测试环境的基本出发点。     

航天器故障诊断专家系统面向对象知识表示的研究

根据航天器系统结构庞大,各子系统相互耦合,稳定性、可靠性要求高等特点。在认真研究典型故障诊断专家系统知识表示的基础上,通过对目前几种常用的知识表示方法的优缺点的分析,提出了航天器故障诊断知识的一种新的表示方法——面向对象知识表示方法。主要介绍了面向对象知识的表示和其推理机制。该方案具有知识层次清晰、知识继承和易于维护等特点,满足航天器复杂大系统的故障诊断需要。     

具有文法分析功能的智能中文教学系统

本文介绍了一种智能计算机辅助中文教学系统。作者为系统引入了一种基于规则的自然语言形式文法, 使系统具备了文法分析功能及自然语言的理解能力。以基于规则的文法为基础建立起来的文法推理机、文法知识库及富于特色的学生模型, 使该教学系统能象中文专家那样对学生的中文作业进行分析、评价, 并给予学生纠错指导。实验表明, 该系统为学生提供了良好的中文学习环境, 具有很强的智能特征     

基于概念图的关联规则知识表示

针对传统关联规则表示方式无法展现领域知识、数据项间的关系及规则中所隐含的信息等问题,提出了一种基于概念图的关联规则知识表示方法,该方法包括模式定义和模式解析,其结合概念图理论可将关联规则转换成概念图的知识表示形式。给出了关联规则的概念图知识表示算法,并以某省全员人口数据为数据源对算法进行了具体实现和分析。实验结果表明,该方法在人口信息表现方面具有良好的效果。     

产生近似最佳Floyd-Evans导式的一种技术

本文研究为产生给定一种优先文法的近似最佳Floyd-Evans导式的一种技术。对合并导式问题,采用图式表示。要产生的导式相当于这个图形的最小代价倒置树。对于在此定义的弱优先文法,该技术的有效性得到证明,然而对任何优先文法机械地产生的导式通常要以适当的方法进行修改,才能得到近似最佳分析器。 主要字和短语:写翻译程序系统,句法的分析,Floyd-Evans导式,优先文法,翻译程序最佳化,合并算法,最小代价倒置树,图形理论。     

一种层次化的LSD规则体系及其分析算法

本文提出了一种基于词汇属性结构描述和规则继承的层次化LSD规则体系,讨论了该规则体系下的规则搜索策略和词汇化规则索引的实现方法,并在此基础上首次给出了LSD文法的非确定性分析算法。该规则系统具有从传统属性文法到现代词汇文法的可伸缩性,同时较好地解决了线性规则库中复杂的规则交互问题。     

航天器故障诊断专家系统面向对象知识表示的研究

根据航天器系统结构庞大,各子系统相互耦合,稳定性、可靠性要求高等特点.在认真研究典型故障诊断专家系统知识表示的基础上,通过对目前几种常用的知识表示方法的优缺点的分析,提出了航天器故障诊断知识的一种新的表示方法--面向对象知识表示方法.主要介绍了面向对象知识的表示和其推理机制.该方案具有知识层次清晰、知识继承和易于维护等特点,满足航天器复杂大系统的故障诊断需要.     

前后义无关属性文法

本文定义了一种新的属性文法类——前后义无关属性文法。提出了一种适合该属性文法类的属性计算方法——局部多遍属性计算法。 文中证明了,在保证属性计算与具体应用无关的前提下,前后义无关属性文法具有最强的表达能力,而局部多遍属性计算法则具有最佳的实现效率。 基于上述理论,作者构造了编译程序生成系统BSX。     

一个基于属性文法的用户界面规格说明

本文描述一种基于属性文法并结合事件模型的用户界面规格说明方法。主要强调如何在直接操作式用户界面中表示多线性对话模型。这种属性文法的规格说明可以用一个嵌套在支持通信、同步、和对话执行的运行时结构中的属性文法解释器来实现。