产生式类型的知识表示推动了专家系统的发展，并且曾应用于机器翻译的领域。