综合知识表示模型M_（AS）的属性文法推理机制

AN INFERENCE MECHANISM BASED ON ATTRIBUTE GRAMMAR FOR SYNTHETICAL KNOWLEDGE REPRESENTATION MODEL M_(AS)

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

According to the synthetical knowledge representation model MAS based on attribute grammar and semantic network, this paper presents a basic algorithm of Inference mechanism of MAs, and the algorithm is interpreted by an instance. Also two conclusions that the attribute grammar based on the templet of MAS is a L-AG and the solution of MAS is complete are proved.