一種基于案例的設(shè)計知識的描述方法及系統(tǒng)的制作方法
【專利摘要】本發(fā)明公開一種基于案例的設(shè)計知識的描述方法及系統(tǒng)，該方法包括步驟：根據(jù)基于XML的案例知識信息描述規(guī)范描述案例知識的基本信息；根據(jù)案例知識的基本信息建立案例知識的具體信息模型；檢查案例知識的具體信息模型中案例知識的具體信息的語法和邏輯。本發(fā)明所述技術(shù)方案通過建立基于XML的統(tǒng)一描述語法，能夠屏蔽案例中公式、規(guī)則、過程等知識的異構(gòu)性，支持形成統(tǒng)一的案例知識基本信息；通過提供與EXCEL集成的公式、規(guī)則、過程的建模方法，支持知識的獲取和形式化描述；通過案例知識驗證，能夠支持對多個異構(gòu)知識之間的邏輯進(jìn)行檢查和驗證。
【專利說明】
一種基于案例的設(shè)計知識的描述方法及系統(tǒng)
技術(shù)領(lǐng)域
[0001] 本發(fā)明涉及一種設(shè)計知識的描述方法及系統(tǒng)。更具體地，涉及一種基于案例的設(shè) 計知識的描述方法及系統(tǒng)。
【背景技術(shù)】
[0002] 隨著復(fù)雜產(chǎn)品研制從數(shù)字化向智能化方向發(fā)展，設(shè)計知識的描述成為制約產(chǎn)品智 能化研制的基礎(chǔ)問題。通過研究，在復(fù)雜產(chǎn)品研制中，大量設(shè)計知識是由計算過程串聯(lián)公 式、圖表、規(guī)則等多種形式的知識構(gòu)成。因此，在設(shè)計手冊中，規(guī)則型知識和公式類知識是融 合到一起的，目前復(fù)雜產(chǎn)品基于知識工程的研發(fā)屬于起步階段，對于這類復(fù)雜的知識缺乏 有效的描述方法，因此這類知識多存在于設(shè)計師的頭腦中，無法進(jìn)行積累和共享。同時在產(chǎn) 品研制中又需要將這些寶貴的工程研發(fā)知識提煉總結(jié)，形成固定的模板，一方面能夠指導(dǎo) 后續(xù)設(shè)計師應(yīng)用，另一方面也能夠支撐后續(xù)型號的創(chuàng)新設(shè)計。知識的表達(dá)方式要能夠?qū)@ 種規(guī)則和公式的混合型知識進(jìn)行表達(dá)，迫切需要研究提出適合于工程應(yīng)用的知識描述方法 支持將這些設(shè)計知識以一定的形式進(jìn)行表達(dá)和存儲，形成知識模型，通過知識的沉淀和積 累，便于在以后的設(shè)計過程中進(jìn)行調(diào)用，輔助設(shè)計人員完成設(shè)計，有利于改善產(chǎn)品研制的時 間、周期和成本。
[0003] 因此，需要提供一種基于案例的設(shè)計知識的描述方法，實現(xiàn)復(fù)雜產(chǎn)品研制設(shè)計案 例知識的描述，特別是支持不同類型知識的統(tǒng)一描述。

【發(fā)明內(nèi)容】

[0004] 本發(fā)明的一個目的在于提供一種基于案例的設(shè)計知識的描述方法。
[0005] 本發(fā)明的另一個目的在于提供一種基于案例的設(shè)計知識的描述系統(tǒng)。
[0006] 為達(dá)到上述目的，本發(fā)明采用下述技術(shù)方案：
[0007] 1、一種基于案例的設(shè)計知識的描述方法，該方法包括如下步驟：
[0008] 根據(jù)基于XML的案例知識信息描述規(guī)范描述案例知識的基本信息；
[0009] 根據(jù)案例知識的基本信息建立案例知識的具體信息模型；
[0010] 檢查案例知識的具體信息模型中案例知識的具體信息的語法和邏輯。
[0011] 優(yōu)選地，步驟"根據(jù)基于XML的案例知識信息描述規(guī)范描述案例知識的基本信息" 中基于XML的案例知識信息描述規(guī)范定義了案例知識的基本信息的屬性名稱和數(shù)據(jù)類型。
[0012] 優(yōu)選地，步驟"根據(jù)基于XML的案例知識信息描述規(guī)范描述案例知識的基本信息" 中案例知識的基本信息包括：案例知識的模型的基本信息、共性變量的基本信息、規(guī)則知識 的基本信息、公式知識的基本信息和過程知識的基本信息。
[0013] 優(yōu)選地，步驟"根據(jù)案例知識的基本信息建立案例知識的具體信息模型"進(jìn)一步包 括如下子步驟：
[0014] 定義共性變量的具體信息；
[0015] 建立規(guī)則知識的具體信息模型；
[0016] 建立公式知識的具體信息模型；
[0017] 定義過程知識的具體信息。
[0018] 優(yōu)選地，步驟"定義共性變量的具體信息"進(jìn)一步包括如下子步驟：
[0019] 定義案例知識中的各個輸入、輸出參數(shù)；
[0020] 定義變量的名稱、含義、單位和類型；
[0021] 將共性變量的具體信息和基本信息結(jié)合。
[0022] 優(yōu)選地，步驟"建立規(guī)則知識的具體信息模型"進(jìn)一步包括如下子步驟：
[0023] 建立規(guī)則集；
[0024] 以VISO圖形化的方式建立規(guī)則的前件、后件、邏輯與或的判斷關(guān)系；
[0025] 選擇規(guī)則中包含的共性變量和公式；
[0026] 以VISO圖形的形式保存規(guī)則知識的具體信息模型，并根據(jù)基于XML的案例知識信 息描述規(guī)范生成規(guī)則知識的XML描述文件。
[0027] 優(yōu)選地，步驟"建立公式知識的具體信息模型"進(jìn)一步包括如下子步驟：
[0028] 建立公式集；
[0029] 定義公式的名稱和描述；
[0030] 編輯公式的具體內(nèi)容；
[0031] 選擇公式中包含的共性變量，定義公式中包含的臨時變量；
[0032] 根據(jù)基于XML的案例知識信息描述規(guī)范生成公式知識的XML描述文件。
[0033] 優(yōu)選地，步驟"定義過程知識的具體信息"進(jìn)一步包括如下子步驟：
[0034] 定義規(guī)則集和公式集的調(diào)用順序；
[0035] 根據(jù)基于XML的案例知識信息描述規(guī)范生成過程知識的XML描述文件。
[0036] 優(yōu)選地，步驟"檢查案例知識的具體信息模型中案例知識的具體信息的語法和邏 輯"進(jìn)一步包括如下子步驟：
[0037] 根據(jù)基于XML的案例知識信息描述規(guī)范檢查案例知識的具體信息模型中語法的 正確性；
[0038] 檢查規(guī)則知識和公式知識中變量定義的完整性；
[0039] 檢查過程知識中調(diào)用順序的正確性。
[0040] 一種如前文所述方法的基于案例的設(shè)計知識的描述系統(tǒng)，該系統(tǒng)包括：
[0041] 案例知識描述單元，用于根據(jù)基于XML的案例知識信息描述規(guī)范描述案例知識的 基本信息；
[0042] 案例知識建模單元，用于根據(jù)案例知識的基本信息建立案例知識的具體信息模 型；
[0043] 案例知識驗證單元，用于根據(jù)基于XML的案例知識信息描述規(guī)范檢查案例知識的 具體信息模型中語法的正確性，檢查規(guī)則知識和公式知識中變量定義的完整性，檢查過程 知識中調(diào)用順序的正確性；
[0044] 案例知識描述單元中，基于XML的案例知識信息描述規(guī)范定義了案例知識的基本 信息的屬性名稱和數(shù)據(jù)類型，案例知識的基本信息進(jìn)一步包括：案例知識的模型的基本信 息、共性變量的基本信息、規(guī)則知識的基本信息、公式知識的基本信息和過程知識的基本信 息；
[0045] 案例知識建模單元進(jìn)一步包括：
[0046] 共性變量定義模塊，用于定義案例知識中用到的各個輸入、輸出參數(shù)，定義變量的 名稱、含義、單位和類型，并將共性變量的具體信息和基本信息結(jié)合；
[0047] 規(guī)則知識建模模塊，用于建立規(guī)則集，以VISO圖形化的方式建立規(guī)則的前件、后 件、邏輯與或的判斷關(guān)系，選擇規(guī)則中包含的共性變量和公式知識，以VISO圖形的形式保 存規(guī)則知識的具體信息模型，并根據(jù)基于XML的案例知識信息描述規(guī)范生成規(guī)則知識的 XML描述文件；
[0048] 公式知識建模模塊，用于建立公式集，定義公式的名稱和描述，編輯公式的具體內(nèi) 容，選擇公式中包含的共性變量，定義公式中包含的臨時變量，并根據(jù)基于XML的案例知識 信息描述規(guī)范生成公式知識的XML描述文件；
[0049] 過程知識定義模塊，用于定義規(guī)則集和公式集的調(diào)用順序，并根據(jù)基于XML的案 例知識信息描述規(guī)范生成過程知識的XML描述文件。
[0050] 本發(fā)明的有益效果如下：
[0051] 本發(fā)明所述技術(shù)方案實現(xiàn)了基于案例的設(shè)計知識描述，能夠支持復(fù)雜產(chǎn)品研制中 案例知識的描述。通過建立基于XML的統(tǒng)一描述語法，能夠屏蔽案例中公式、規(guī)則、過程、 圖表等知識的異構(gòu)性，支持形成統(tǒng)一的案例知識基本信息；通過對與EXCEL集成的公式、規(guī) 貝1J、過程的建模，支持知識的獲取和形式化描述；通過案例知識驗證，能夠支持對多個異構(gòu) 知識之間的邏輯進(jìn)行檢查和驗證。通過案例知識的描述，建立案例知識模型，能夠支持在設(shè) 計過程中應(yīng)用案例知識輔助設(shè)計，改善產(chǎn)品研制的時間、成本和質(zhì)量。適用于需要發(fā)展知識 工程負(fù)責(zé)設(shè)計、產(chǎn)品知識復(fù)雜的企業(yè)，適用于國防科技領(lǐng)域各軍工行業(yè)，并可以轉(zhuǎn)化為民用 技術(shù)。
【附圖說明】
[0052] 下面結(jié)合附圖對本發(fā)明的【具體實施方式】作進(jìn)一步詳細(xì)的說明。
[0053] 圖1示出一種基于案例的設(shè)計知識的描述方法的流程圖。
[0054] 圖2示出一種基于案例的設(shè)計知識的描述系統(tǒng)的示意圖。
【具體實施方式】
[0055] 為了更清楚地說明本發(fā)明，下面結(jié)合優(yōu)選實施例和附圖對本發(fā)明做進(jìn)一步的說 明。附圖中相似的部件以相同的附圖標(biāo)記進(jìn)行表示。本領(lǐng)域技術(shù)人員應(yīng)當(dāng)理解，下面所具 體描述的內(nèi)容是說明性的而非限制性的，不應(yīng)以此限制本發(fā)明的保護(hù)范圍。
[0056] 本實施例提供的基于案例的設(shè)計知識的描述方法包括如下步驟：
[0057] 根據(jù)基于XML的案例知識信息描述規(guī)范描述案例知識的基本信息；
[0058] 根據(jù)案例知識的基本信息建立案例知識的具體信息模型；
[0059] 檢查案例知識的具體信息模型中案例知識的具體信息的語法和邏輯。
[0060] 其中
[0061] 步驟"根據(jù)基于XML的案例知識信息描述規(guī)范描述案例知識的基本信息"中根據(jù) 基于XML的案例知識信息描述規(guī)范描述案例知識的基本信息，基于XML的案例知識信息描 述規(guī)范定義了案例知識的基本信息的屬性名稱和數(shù)據(jù)類型包括屬性名稱和數(shù)據(jù)類型，案例 知識的基本信息包括案例知識的模型的基本信息、共性變量的基本信息、規(guī)則知識的基本 信息、公式知識的基本信息和過程知識的基本信息。
[0062] 步驟"根據(jù)案例知識的基本信息建立案例知識的具體信息模型"進(jìn)一步包括如下 子步驟：
[0063] 定義共性變量的具體信息；
[0064] 建立規(guī)則知識的具體信息模型；
[0065] 建立公式知識的具體信息模型；
[0066] 定義過程知識的具體信息。
[0067] 其中
[0068] 步驟"定義共性變量的具體信息"進(jìn)一步包括如下子步驟：
[0069] 定義案例知識中用到的各個輸入?yún)?shù)和輸出參數(shù)；
[0070] 定義變量的名稱、含義、單位和類型；
[0071] 將共性變量的具體信息和基本信息結(jié)合。
[0072] 步驟"建立規(guī)則知識的具體信息模型"進(jìn)一步包括如下子步驟：
[0073] 建立規(guī)則集；
[0074] 以VISO圖形化的方式建立規(guī)則的前件、后件、邏輯與或的判斷關(guān)系；
[0075] 選擇規(guī)則中包含的共性變量和公式；
[0076] 以VISO圖形的形式保存規(guī)則知識的具體信息模型，并根據(jù)基于XML的案例知識信 息描述規(guī)范生成規(guī)則知識的XML描述文件。
[0077] 步驟"建立公式知識的具體信息模型"進(jìn)一步包括如下子步驟：
[0078] 建立公式集；
[0079] 定義公式的名稱和描述；
[0080] 編輯公式的具體內(nèi)容；
[0081] 選擇公式中包含的共性變量，定義公式中包含的臨時變量；
[0082] 根據(jù)基于XML的案例知識信息描述規(guī)范生成公式知識的XML描述文件。
[0083] 步驟"定義過程知識的具體信息"進(jìn)一步包括如下子步驟：
[0084] 定義規(guī)則集和公式集的調(diào)用順序；
[0085] 根據(jù)基于XML的案例知識信息描述規(guī)范生成過程知識的XML描述文件。
[0086] 以上規(guī)則知識、公式知識的建模和過程知識的定義均實現(xiàn)了與EXCEL的集成，即 在EXCEL頁面中添加了 "案例知識建模功能"進(jìn)入，公式、規(guī)則、過程中的輸入端口和輸出 端口均與EXCEL中的單元格綁定，實現(xiàn)從EXCEL中獲取輸入信息，并將輸出信息寫入EXCEL 中。
[0087] 步驟"檢查案例知識的語法和邏輯"進(jìn)一步包括如下子步驟：
[0088] 根據(jù)基于XML的案例知識信息描述規(guī)范檢查案例知識的具體信息模型中語法的 正確性；
[0089] 檢查規(guī)則知識和公式知識中變量定義的完整性；
[0090] 檢查過程知識中調(diào)用順序的正確性。
[0091] 本實施例提供的基于案例的設(shè)計知識的描述系統(tǒng)包括：
[0092] 案例知識統(tǒng)一描述單元，用于提供統(tǒng)一的建模規(guī)范；
[0093] 知識建模單元，用于建立具體的知識模型；
[0094] 知識驗證單元，用于檢查案例知識的語法和邏輯；
[0095] 其中
[0096] 案例知識統(tǒng)一描述單元；
[0097] 用于提供統(tǒng)一的建模規(guī)范；統(tǒng)一建模規(guī)范定義基于XML的案例知識描述語法，需 要描述案例知識模型信息、案例知識中共性變量信息、規(guī)則知識基本信息、過程知識基本信 息。各類信息均需遵循基于XML的案例知識信息的描述規(guī)范，描述規(guī)范如表1所示。
[0098] 表1案例知識統(tǒng)一描述單元信息描述規(guī)范
[0100] 在知識建模單元建立案例知識的具體信息模型后，案例知識統(tǒng)一描述單元將按照 案例知識信息描述規(guī)范提取相應(yīng)信息，以XML語法的形式生成規(guī)范的案例知識基本信息。
[0101] 知識建模單元；
[0102] 用于建立具體的知識模型，包括共性變量定義模塊、規(guī)則知識建模模塊、公式知識 建模模塊和過程知識建模模塊。
[0103] 共性變量定義模塊，支持定義案例知識中用到的所有輸入、輸出參數(shù)，定義變量的 名稱、含義、單位和類型，完成定義后，將共性變量與案例知識基本信息相結(jié)合。
[0104] 規(guī)則知識建模模塊，包括規(guī)則集定義、規(guī)則建立和規(guī)則保存。規(guī)則集定義支持定義 規(guī)則集，一個規(guī)則集可以包含多條規(guī)則；規(guī)則建立支持以VISO圖形化的方式建立規(guī)則的前 件、后件、邏輯與或的判斷關(guān)系，規(guī)則建立中基本事件支持選擇共性變量、公式；規(guī)則保存支 持將規(guī)則模型保存成VISO圖的形式，并按照案例知識統(tǒng)一描述信息描述規(guī)范生成規(guī)則知 識的XML描述文件。
[0105] 公式知識建模模塊，包括公式集定義、公式定義、公式建立和公式保存。公式集定 義支持定義公式集，一個公式集可以包含多條公式；公式定義支持定義公式的名稱和描述； 公式建立支持編輯具體公式，支持選擇共性變量和定義該公式所需要的零時變量；公式保 存支持按照案例知識統(tǒng)一描述信息描述規(guī)范生成公式知識的XML描述文件。
[0106] 過程知識定義模塊，支持定義所建立的多個規(guī)則集和公式集的調(diào)用順序，并按照 案例知識統(tǒng)一描述信息描述規(guī)范生成過程知識的XML描述文件。
[0107] 以上規(guī)則知識建模模塊、公式知識建模模塊和過程知識定義模塊均實現(xiàn)了與 EXCEL的集成，即在EXCEL頁面中添加了"案例知識建模功能"進(jìn)入，規(guī)則、公式、過程中的輸 入端口、輸出端口均與EXCEL中的單元格綁定，實現(xiàn)從EXCEL中獲取輸入信息，并將輸出信 息寫入EXCEL中。
[0108] 知識驗證單元；
[0109] 用于檢查案例知識的語法和邏輯，具體用于根據(jù)案例知識統(tǒng)一描述信息描述規(guī)范 檢查案例知識模型語法的正確性、檢查規(guī)則知識和公式知識中使用的變量是否全部定義并 檢查過程知識的調(diào)用順序是否正確。
[0110] 知識驗證單元支持檢查結(jié)果的直觀展示，如果有錯誤，會提示修改。通過驗證的案 例知識才能夠支持自動推理。
[0111] 知識描述偽代碼實現(xiàn)
[0113] 綜上所述，本發(fā)明所述技術(shù)方案實現(xiàn)了基于案例的設(shè)計知識描述，能夠支持復(fù)雜 產(chǎn)品研制中案例知識的描述。通過建立基于XML的統(tǒng)一描述語法，能夠屏蔽案例中公式、規(guī) 貝1J、過程、圖表等知識的異構(gòu)性，支持形成統(tǒng)一的案例知識基本信息；通過對與EXCEL集成 的公式、規(guī)則、過程的建模，支持知識的獲取和形式化描述；通過案例知識驗證，能夠支持對 多個異構(gòu)知識之間的邏輯進(jìn)行檢查和驗證。
[0114] 顯然，本發(fā)明的上述實施例僅僅是為清楚地說明本發(fā)明所作的舉例，而并非是對 本發(fā)明的實施方式的限定，對于所屬領(lǐng)域的普通技術(shù)人員來說，在上述說明的基礎(chǔ)上還可 以做出其它不同形式的變化或變動，這里無法對所有的實施方式予以窮舉，凡是屬于本發(fā) 明的技術(shù)方案所引伸出的顯而易見的變化或變動仍處于本發(fā)明的保護(hù)范圍之列。
【主權(quán)項】
1. 一種基于案例的設(shè)計知識的描述方法，其特征在于，該方法包括如下步驟： 根據(jù)基于XML的案例知識信息描述規(guī)范描述案例知識的基本信息； 根據(jù)所述案例知識的基本信息建立案例知識的具體信息模型； 檢查所述案例知識的具體信息模型中案例知識的具體信息的語法和邏輯。2. 根據(jù)權(quán)利要求1所述的基于案例的設(shè)計知識的描述方法，其特征在于，所述步驟"根 據(jù)基于XML的案例知識信息描述規(guī)范描述案例知識的基本信息"中基于XML的案例知識信 息描述規(guī)范定義了案例知識的基本信息的屬性名稱和數(shù)據(jù)類型。3. 根據(jù)權(quán)利要求1所述的基于案例的設(shè)計知識的描述方法，其特征在于，所述步驟"根 據(jù)基于XML的案例知識信息描述規(guī)范描述案例知識的基本信息"中案例知識的基本信息包 括：案例知識的模型的基本信息、共性變量的基本信息、規(guī)則知識的基本信息、公式知識的 基本信息和過程知識的基本信息。4. 根據(jù)權(quán)利要求1至3任一項所述的基于案例的設(shè)計知識的描述方法，其特征在于，所 述步驟"根據(jù)所述案例知識的基本信息建立案例知識的具體信息模型"進(jìn)一步包括如下子 步驟： 定義共性變量的具體信息； 建立規(guī)則知識的具體信息模型； 建立公式知識的具體信息模型； 定義過程知識的具體信息。5. 根據(jù)權(quán)利要求4所述的基于案例的設(shè)計知識的描述方法，其特征在于，所述步驟"定 義共性變量的具體信息"進(jìn)一步包括如下子步驟： 定義案例知識中的各個輸入、輸出參數(shù)； 定義變量的名稱、含義、單位和類型； 將共性變量的具體信息和基本信息結(jié)合。6. 根據(jù)權(quán)利要求4所述的基于案例的設(shè)計知識的描述方法，其特征在于，所述步驟"建 立規(guī)則知識的具體信息模型"進(jìn)一步包括如下子步驟： 建立規(guī)則集； 以VISO圖形化的方式建立規(guī)則的前件、后件、邏輯與或的判斷關(guān)系； 選擇規(guī)則中包含的共性變量和公式； 以VISO圖形的形式保存規(guī)則知識的具體信息模型，并根據(jù)基于XML的案例知識信息描 述規(guī)范生成規(guī)則知識的XML描述文件。7. 根據(jù)權(quán)利要求4所述的基于案例的設(shè)計知識的描述方法，其特征在于，所述步驟"建 立公式知識的具體信息模型"進(jìn)一步包括如下子步驟： 建立公式集； 定義公式的名稱和描述； 編輯公式的具體內(nèi)容； 選擇公式中包含的共性變量，定義公式中包含的臨時變量； 根據(jù)基于XML的案例知識信息描述規(guī)范生成公式知識的XML描述文件。8. 根據(jù)權(quán)利要求6和7所述的基于案例的設(shè)計知識的描述方法，其特征在于，所述步驟 "定義過程知識的具體信息"進(jìn)一步包括如下子步驟： 定義規(guī)則集和公式集的調(diào)用順序； 根據(jù)基于XML的案例知識信息描述規(guī)范生成過程知識的XML描述文件。9. 根據(jù)權(quán)利要求8所述的基于案例的設(shè)計知識的描述方法，其特征在于，步驟"檢查 所述案例知識的具體信息模型中案例知識的具體信息的語法和邏輯"進(jìn)一步包括如下子步 驟： 根據(jù)基于XML的案例知識信息描述規(guī)范檢查案例知識的具體信息模型中語法的正確 性； 檢查規(guī)則知識和公式知識中變量定義的完整性； 檢查過程知識中調(diào)用順序的正確性。10. -種如權(quán)利要求1所述方法的基于案例的設(shè)計知識的描述系統(tǒng)，其特征在于，該系 統(tǒng)包括： 案例知識描述單元，用于根據(jù)基于XML的案例知識信息描述規(guī)范描述案例知識的基本 信息； 案例知識建模單元，用于根據(jù)所述案例知識的基本信息建立案例知識的具體信息模 型； 案例知識驗證單元，用于根據(jù)基于XML的案例知識信息描述規(guī)范檢查案例知識的具體 信息模型中語法的正確性，檢查規(guī)則知識和公式知識中變量定義的完整性，檢查過程知識 中調(diào)用順序的正確性； 所述案例知識描述單元中，基于XML的案例知識信息描述規(guī)范定義了案例知識的基本 信息的屬性名稱和數(shù)據(jù)類型，所述案例知識的基本信息進(jìn)一步包括：案例知識的模型的基 本信息、共性變量的基本信息、規(guī)則知識的基本信息、公式知識的基本信息和過程知識的基 本信息； 所述案例知識建模單元進(jìn)一步包括： 共性變量定義模塊，用于定義案例知識中用到的各個輸入、輸出參數(shù)，定義變量的名 稱、含義、單位和類型，并將共性變量的具體信息和基本信息結(jié)合； 規(guī)則知識建模模塊，用于建立規(guī)則集，以VISO圖形化的方式建立規(guī)則的前件、后件、邏 輯與或的判斷關(guān)系，選擇規(guī)則中包含的共性變量和公式知識，以VISO圖形的形式保存規(guī)則 知識的具體信息模型，并根據(jù)基于XML的案例知識信息描述規(guī)范生成規(guī)則知識的XML描述 文件； 公式知識建模模塊，用于建立公式集，定義公式的名稱和描述，編輯公式的具體內(nèi)容， 選擇公式中包含的共性變量，定義公式中包含的臨時變量，并根據(jù)基于XML的案例知識信 息描述規(guī)范生成公式知識的XML描述文件； 過程知識定義模塊，用于定義規(guī)則集和公式集的調(diào)用順序，并根據(jù)基于XML的案例知 識信息描述規(guī)范生成過程知識的XML描述文件。
【文檔編號】G06F17/50GK105843973SQ201510015475
【公開日】2016年8月10日
【申請日】2015年1月13日
【發(fā)明人】劉艷, 侯寶存
【申請人】北京仿真中心