用于表示知识的形式文法
A Formal Grammar to Represent Knowledge
-
摘要: 本文提出了一个所谓的关系-属性-程序文法,用它作为知识表示模型.该文法具有各种知识表示方法的优点,能有效地表示上下文环境、专有知识和控制信息,可以描述产生式系统、语义网络、框架等使用最多的知识表示方法,并将上述知识表示方法统一起来,阐明了该文法表示知识所具有的能力.Abstract: Various KR (knowledge representation) methods usedin expert systems are analysed,a formal grammar called relation-attribute-program grammar is proposed and is used as a formal KR method.This grammar,synthesizing the advantages of various KR methods,can efficiently specify the knowledge about context environment,specialized knowledge,and control information,and describe various KR methods and unify them from these points.