產(chǎn)生式系統(tǒng)(約~學時)

1、第1頁第二講第二講產(chǎn)生式系統(tǒng)產(chǎn)生式系統(tǒng)2.2.1產(chǎn)生式系統(tǒng)產(chǎn)生式系統(tǒng)1序序1943年，年，Post首先提出了產(chǎn)生式系統(tǒng)。到目前為止，人工智能首先提出了產(chǎn)生式系統(tǒng)。到目前為止，人工智能（AI）領域中的產(chǎn)生式系統(tǒng)，無論在理論上還是在應用上都經(jīng)歷了很）領域中的產(chǎn)生式系統(tǒng)，無論在理論上還是在應用上都經(jīng)歷了很大發(fā)展，所以現(xiàn)今大發(fā)展，所以現(xiàn)今AI中的產(chǎn)生式系統(tǒng)已與中的產(chǎn)生式系統(tǒng)已與1943年P(guān)ost提出的產(chǎn)生提出的產(chǎn)生式系統(tǒng)有很大不同。式系統(tǒng)有很大

2、不同。?因果關(guān)系因果關(guān)系自然界各個知識元（事實，斷言，證據(jù)，命題，自然界各個知識元（事實，斷言，證據(jù)，命題，?）之間存在著大量）之間存在著大量的因果關(guān)系，或者說前提和結(jié)論關(guān)系，用產(chǎn)生式（或稱規(guī)則）表示這的因果關(guān)系，或者說前提和結(jié)論關(guān)系，用產(chǎn)生式（或稱規(guī)則）表示這些關(guān)系是非常方便的：些關(guān)系是非常方便的：“模式“模式——動作”對偶動作”對偶“條件“條件——結(jié)論”對偶結(jié)論”對偶?產(chǎn)生式系統(tǒng)產(chǎn)生式系統(tǒng)把一組領域相關(guān)的產(chǎn)生式（或稱規(guī)則）放在一起，

3、讓它們互相把一組領域相關(guān)的產(chǎn)生式（或稱規(guī)則）放在一起，讓它們互相配合、協(xié)同動作，一個產(chǎn)生式生成的結(jié)論一般可供另一個（或一些）配合、協(xié)同動作，一個產(chǎn)生式生成的結(jié)論一般可供另一個（或一些）產(chǎn)生式作為前提或前提的一部分來使用，以這種方式求得問題之解產(chǎn)生式作為前提或前提的一部分來使用，以這種方式求得問題之解決，這樣的一組產(chǎn)生式被稱為產(chǎn)生式系統(tǒng)。決，這樣的一組產(chǎn)生式被稱為產(chǎn)生式系統(tǒng)。例如例如:IFATHENBIFBCTHENX第3頁的情況，若存在

4、則認為匹配成功，否則認為匹配失敗。一般說來，匹的情況，若存在則認為匹配成功，否則認為匹配失敗。一般說來，匹配成功則執(zhí)行右部所規(guī)定的動作，例如：添加、修改和刪除等。配成功則執(zhí)行右部所規(guī)定的動作，例如：添加、修改和刪除等。△數(shù)據(jù)基數(shù)據(jù)基DB中存放的數(shù)據(jù)既是產(chǎn)生式作用的對象，又是構(gòu)成產(chǎn)生式（或稱中存放的數(shù)據(jù)既是產(chǎn)生式作用的對象，又是構(gòu)成產(chǎn)生式（或稱規(guī)則）的基本元素。規(guī)則）的基本元素?！饕粋€推理程序（一個推理程序（Engine）它負責整個產(chǎn)生式

5、系統(tǒng)的運行，包括：規(guī)則左部與它負責整個產(chǎn)生式系統(tǒng)的運行，包括：規(guī)則左部與DB匹配；從匹配；從匹配成功的規(guī)則中，選出一條將在下一步執(zhí)行的規(guī)則匹配成功的規(guī)則中，選出一條將在下一步執(zhí)行的規(guī)則，執(zhí)行，執(zhí)行右RR部規(guī)定的動作；掌握時間結(jié)束產(chǎn)生式系統(tǒng)的運行。部規(guī)定的動作；掌握時間結(jié)束產(chǎn)生式系統(tǒng)的運行。?產(chǎn)生式系統(tǒng)的特點產(chǎn)生式系統(tǒng)的特點△相對固定的格式相對固定的格式任何產(chǎn)生式都由左部（任何產(chǎn)生式都由左部（LHS）和右部（）和右部（RHS）組成，左部匹

6、配，右）組成，左部匹配，右部動作。匹配提供的信息只有兩種，部動作。匹配提供的信息只有兩種，成功或失敗成功或失敗?！髦R的模塊化知識的模塊化a.知識元知識元知識元（或曰事實，證據(jù)，斷言，知識元（或曰事實，證據(jù)，斷言，…）是不能分解的最小知識片）是不能分解的最小知識片知識元集知識元集=知識庫（知識庫（KB）中所有產(chǎn)生式包含的知識元的）中所有產(chǎn)生式包含的知識元的集合集合；b規(guī)則規(guī)則每條規(guī)則（或稱每個產(chǎn)生式）指明了知識元之間的關(guān)系，每條規(guī)每條規(guī)