论文部分内容阅读
为了构建一种过程性知识表示与获取系统,设计了一个嵌入式函数式语言以及它的交互式语法制导编辑器和解释器;提出了这种上下文无关语言句子的语法树G树的一种表示形式及其存储形式;研究了过程性知识的归纳获取方法及其泛化;并以电气工作票专家系统的构建与实现验证其可行性,同时提出了一种Web方式的基于Petri网的软件开发模型。 本文的主要工作如下: 1.设计一个嵌入式函数语言系统用于过程性知识表示。这种新的语言形式方便进行语言分析与处理。系统分为两部分,一是基于Web的交互式语法制导模式的中间语言编辑部分;另一个是语言解释、执行(求值)部分。 2.改进了上下文无关语言的句子所对应语法树的G树表示形式,提出了一种数据库的存储形式。作为一种中间语言的存储形式,可以直接交付抽象机解释执行。其优点是:表示形式一致、句子分析简单、语句执行速度快。 3.研究了过程性知识的归纳获取方法。研究用于从自然语言的专业语言到人工语言的归纳,以此实现人工语言程序的学习。采用归纳推理获取的计算方法进行归纳,利用领域知识对归纳的知识进行泛化。同时研究了有关粗糙集中“信息粒”的概念以及在其上定义的运算,其结果与应用领域知识分析具有同样的效果。 4.试验系统采用Web方式建立。依据网络的并发性以及任务的流程性,提出一种基于Petri网的软件开发模型。该模型对基本有限自动机进行了扩充;将扩充后的有限自动机转换成为改进状态图:根据改进状态图构造多功能视图;在此基础上进行软件开发。最后将这个模型发展成为Petri网模型,使模型更具描述能力。将其用于开发验证系统,工作是有效的。 5.基于本文提出的过程性知识表示与描述形式,设计并实现了一种基于过程性知识的电气工作票智能系统。软件系统与电气系统接线方式及电气设备种类无关,开放的自组平台具有较强的适应性。构建的系统工作模式解决了在检修工作中设备主管单位与人员主管单位不一致所带来问题。