3.2知識庫的設(shè)計用戶通過友好的人機界面將大量規(guī)則存儲于知識庫中，例如，主人回家開門時，客廳里的電燈會因室內(nèi)的光線過暗自動打開；主人外出關(guān)門時，室內(nèi)的監(jiān)控系統(tǒng)會因家中無人而自動開啟。電燈的打開這個操作會與門打開、室內(nèi)亮度過低這兩個事件聯(lián)系在一起，我們用產(chǎn)生式規(guī)則來表示描述這條知識：IFTHEN產(chǎn)生式描述了事物之間的一種對應(yīng)關(guān)系（包括因果關(guān)系和蘊含關(guān)系），這種基于規(guī)則的符號化模型特別適于反應(yīng)人們對家電設(shè)備的
3.2 知識庫的設(shè)計
用戶通過友好的人機界面將大量規(guī)則存儲于知識庫中，例如，主人回家開門時，客廳里的電燈會因室內(nèi)的光線過暗自動打開；主人外出關(guān)門時，室內(nèi)的監(jiān)控系統(tǒng)會因家中無人而自動開啟。電燈的打開這個操作會與門打開、室內(nèi)亮度過低這兩個事件聯(lián)系在一起，我們用產(chǎn)生式規(guī)則來表示描述這條知識：
IF< 門打開，室內(nèi)光線過暗> THEN< 燈亮 >
產(chǎn)生式描述了事物之間的一種對應(yīng)關(guān)系（包括因果關(guān)系和蘊含關(guān)系），這種基于規(guī)則的符號化模型特別適于反應(yīng)人們對家電設(shè)備的調(diào)度，由一臺設(shè)備的某一事件或狀態(tài)作為條件，引發(fā)對另一設(shè)備的使用。此系統(tǒng)中的知識庫實際上是一個能夠表達用戶主觀意愿的產(chǎn)生式規(guī)則庫，在系統(tǒng)中以動態(tài)數(shù)據(jù)結(jié)構(gòu)進行組織。
知識的表示是描述客觀事物的一組規(guī)定，是知識的符號化過程。規(guī)則主要包含規(guī)則的前提和規(guī)則結(jié)論部分，前提部分說明規(guī)則可以被引用的條件，而結(jié)論部分則說明當前提成立時可進行的操作或引起的領(lǐng)域行為。根據(jù)需要，一條規(guī)則可以有多個前提和多個結(jié)論。在具體用C語言實現(xiàn)時，直接以IF<前提條件>THEN<動作>語句形式編程是行不通的，為了實現(xiàn)事件的驅(qū)動，必須利用C語言強有力的字符串處理能力將抽象的符號變成一個個表單元。根據(jù)實際情況我們可以將智能家居監(jiān)控下的設(shè)備看成一個對象，C語言定義為：
struct object{
char *name； /*設(shè)備的名稱*/
float val； /*設(shè)備的特性值*/
enum events {
high,middle,low,open,close}；USB2.0
/*事件類型的抽象*/
}；
這些對象通過規(guī)則聯(lián)系起來，每定義一條規(guī)則，都要把它們存放到規(guī)則庫Rule_Base中，以方便推理機獲取有用的規(guī)則。在規(guī)則表達中，通過rule()函數(shù)把規(guī)則的外部語言形式轉(zhuǎn)換成內(nèi)部的特性表的形式，它的Clause和Action特性分別存放了該規(guī)則的前提和結(jié)論。推理時若要用到某條規(guī)則rule_X（X＝1,2...n），就直接從它的特性表中取出相應(yīng)的前提和結(jié)論，Clause和Action可以是一個函數(shù)調(diào)用、常量或變量，每條規(guī)則的特性表組織成如下形式：
（Clause（條件1 條件2…）Action (結(jié)論1 結(jié)論2…)）
3.3 推理機的設(shè)計
推理機設(shè)計采用事件驅(qū)動正向推理方式，其基本思想是：推理機通過網(wǎng)關(guān)管理
模塊讀取信息家電的當前狀態(tài)，從中獲取由設(shè)備產(chǎn)生的事件，這些事件構(gòu)成了基本事實；從基本事實出發(fā)引用規(guī)則庫中的規(guī)則，若某些規(guī)則的前提被滿足，則執(zhí)行這些規(guī)則的結(jié)論，若這些規(guī)則的結(jié)論部分形成新的事件，則用同樣的方法以這些邏輯結(jié)果為基礎(chǔ)再次進行正向推理。推理過程中的沖突消解采用最先匹配策略，將所有符合當前求解條件的知識放在一張表中，在問題求解過程中一旦找到匹配的規(guī)則即采用該規(guī)則。
