圖3. 規(guī)則在樹上顯示為關(guān)系

我們延續(xù)使用之前的輪轂例子，比較零件主體的體積并設(shè)置材料參數(shù)的值，當(dāng)輪轂的體積體積小于Limit_Volume（此處為0.003立方米），則將材料設(shè)置為Steel，否則，材料就設(shè)置為Chroma。

圖4. 規(guī)則的使用

用于交互執(zhí)行EKL的操作。例如，我們想查詢指定產(chǎn)品對(duì)象所有子產(chǎn)品節(jié)點(diǎn)的個(gè)數(shù)，那么我們可以定義一個(gè)Action，運(yùn)行時(shí)，選擇需要查詢的產(chǎn)品對(duì)象，就會(huì)返回所有子產(chǎn)品的個(gè)數(shù)。如下圖：

圖5. 查詢選定產(chǎn)品對(duì)象的所有子產(chǎn)品節(jié)點(diǎn)數(shù)

通過EKL編寫規(guī)則，通知用戶是否滿足指定條件。檢查不會(huì)修改其應(yīng)用的對(duì)象，只是給用戶一個(gè)指示。關(guān)系節(jié)點(diǎn)下會(huì)出現(xiàn)一個(gè)與交通燈類似的圖標(biāo)，根據(jù)檢查狀態(tài)在紅色或綠色之間切換。知識(shí)工程中有三種類型的檢查：

• 無聲：檢查狀態(tài)僅由圖標(biāo)指示。

• 信息：當(dāng)檢查中指定的條件未滿足時(shí)，檢查狀態(tài)將由圖標(biāo)和信息消息指示。

• 警告：當(dāng)檢查中指定的條件未滿足時(shí)，檢查的狀態(tài)由圖標(biāo)和警告消息指示。

圖6. 檢查

利用好檢查的功能，可以使用用適當(dāng)?shù)闹祦磉_(dá)到預(yù)期的設(shè)計(jì)功能：

• 檢查參數(shù)是否正確響應(yīng)技術(shù)限制或一組條件。

• 確保符合企業(yè)設(shè)計(jì)標(biāo)準(zhǔn)。

• 避免明顯的更新錯(cuò)誤。

下圖中的示例：檢查確認(rèn)手柄的直徑小于手柄塊的最大允許孔直徑。

圖7. 檢查的示例

反應(yīng)是對(duì)觸發(fā)源進(jìn)行事件動(dòng)作觸發(fā)后形成的響應(yīng)特征。

來源可以是：

• 選定的功能（或列表）

• 參數(shù)（或測試結(jié)果）

該事件可以是：

• 對(duì)象上的任何常規(guī)事件（如創(chuàng)建，刪除，更新和屬性更改）和參數(shù)（如值更改）

• 用戶定義特征上的特定事件（例如實(shí)例化和更新）

動(dòng)作可以是：

• 對(duì)使用EKL定義的事件的響應(yīng)，以訪問文檔中的現(xiàn)有對(duì)象，或使用Visual Basic擴(kuò)展動(dòng)作范圍

反應(yīng)跟交互動(dòng)作比較相似，但功能更加強(qiáng)大。

知識(shí)工程規(guī)則中有一些固有的限制：

1)規(guī)則無法對(duì)參數(shù)更改和功能修改做出反應(yīng)。

• 無法控制規(guī)則的執(zhí)行。

• 即使不希望它們被執(zhí)行，它們也可能被執(zhí)行多次。

2)它們被集成到更新機(jī)制中。

• 例如，不可能編寫規(guī)則，如下所示：

        if x>18mm

        {x=18mm}

• 你不能使用循環(huán)和沖突。

3)規(guī)則語法很簡單，但功能卻很有限。要克服這些限制并創(chuàng)建更多關(guān)聯(lián)和反應(yīng)式設(shè)計(jì)的語句。

反應(yīng)與規(guī)則之間的相似之處：

• 兩者都存儲(chǔ)在模型中。

• 對(duì)變化作出反應(yīng)并觸發(fā)修改。

• 兩者都可以引用模型中的其他對(duì)象和參數(shù)，并支持替換機(jī)制。

• 兩者都可用于超級(jí)副本和用戶特征功能的定義。

對(duì)規(guī)則的反應(yīng)的優(yōu)點(diǎn)：

• 它可以對(duì)大量變化做出反應(yīng)。

• 它可以驅(qū)動(dòng)更復(fù)雜的修改。

我們來創(chuàng)建一個(gè)反應(yīng)的例子，當(dāng)Rim_size的值小于350mm時(shí)，將Rim_size的值修改為350mm，并彈出對(duì)話框告訴用戶。

圖8. 反應(yīng)示例