人工智能人工智能2.3 2.3 产生式表示法产生式表示法第第2 2章章 知识表示知识表示 2.1 2.1 概概 述述2.2 2.2 谓词逻辑表示法谓词逻辑表示法 2023/1/91中国矿业大学计算机学院人工智能人工智能产生式系统产生式系统(Production System):19431943年年,由由珀珀斯斯特特(Post)Post)提提出出,他他用用这这种种规规则则对对符符号串作替换运算。号串作替换运算。19651965年年美美国国的的纽纽威威尔尔和和西西蒙蒙利利用用这这种种原原理理建建立立了了认认知知模模型型。同同年年,斯斯坦坦福福大大学学设设计计第第一一个个专专家家系系统统DENDRALDENDRAL时,就采用产生式系统的结构。时,就采用产生式系统的结构。产产生生式式系系统统是是目目前前已已建建立立的的专专家家系系统统中中知知识识表表示示的的主要手段之一主要手段之一,如如MYCINMYCIN、CLIPS/JESSCLIPS/JESS系统等。系统等。在在产产生生式式系系统统中中,把把推推理理和和行行为为的的过过程程用用产产生生式式规规则表示,所以则表示,所以又称基于规则的系统。又