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.
DownLoad: