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.