产生式表示法相关论文