[發(fā)明專(zhuān)利]一種基于Pyke專(zhuān)家系統(tǒng)的工業(yè)設(shè)備軟件模擬方法

在審

• 申請(qǐng)?zhí)枺?/td>: 201710237973.0
• 申請(qǐng)日: 2017-04-12
• 公開(kāi)（公告）號(hào): CN107085517A
• 公開(kāi)（公告）日: 2017-08-22
• 發(fā)明（設(shè)計(jì)）人: 帥普佳;戴超;周傳宏;李超;肖力恒
• 申請(qǐng)（專(zhuān)利權(quán)）人: 上海大學(xué)
• 主分類(lèi)號(hào): G06F9/44
• 分類(lèi)號(hào): G06F9/44;G06F17/30;G06N5/04
• 代理公司: 暫無(wú)信息
• 代理人: 暫無(wú)信息

1.一種基于Pyke專(zhuān)家系統(tǒng)的軟件邏輯模擬系統(tǒng)，其特征在于：

提供有正向推理規(guī)則和反向推理規(guī)則，用于實(shí)現(xiàn)專(zhuān)家系統(tǒng)的推理功能；

提供有sqlgen模塊用于實(shí)現(xiàn)專(zhuān)家系統(tǒng)對(duì)sqlite3數(shù)據(jù)庫(kù)進(jìn)行訪問(wèn)的功能；并且，

提供有多個(gè)專(zhuān)家系統(tǒng)模板，至少用于為專(zhuān)家系統(tǒng)提供事實(shí)、規(guī)則、模塊、模式匹配、與數(shù)據(jù)庫(kù)進(jìn)行數(shù)據(jù)交換的實(shí)現(xiàn)框架。

2.根據(jù)權(quán)利要求1所述的軟件邏輯模擬系統(tǒng)，其特征在于：所述的sqlgen模塊使用python語(yǔ)言編寫(xiě)訪問(wèn)函數(shù)，按照python方式編譯而成的靜態(tài)庫(kù)或者動(dòng)態(tài)庫(kù)。

3.根據(jù)權(quán)利要求1和2所述的軟件系統(tǒng)模擬系統(tǒng)，其特征在于，所述數(shù)據(jù)庫(kù)訪問(wèn)庫(kù)是使用面向?qū)ο蠓椒ㄩ_(kāi)發(fā)而成的。

4.根據(jù)權(quán)利要求1所述的軟件邏輯模擬系統(tǒng)，其特征在于，所述專(zhuān)家模塊功能包括：事實(shí)庫(kù)、規(guī)則庫(kù)、程序匹配模式和方案圖。

5.根據(jù)權(quán)利要求4所述的軟件邏輯模擬系統(tǒng)，其特征在于，所述模板都是通過(guò)文本文件來(lái)實(shí)現(xiàn)的，通過(guò)具體的python程序可將所述模板文件讀入到計(jì)算機(jī)內(nèi)存中，并且通過(guò)使用文字模式匹配和元組模式匹配，再將替換好的內(nèi)容寫(xiě)回文件，就可實(shí)現(xiàn)用戶對(duì)所述模板的修改。

6.根據(jù)權(quán)利要求4或5所述的軟件邏輯模擬系統(tǒng)，其特征在于，所述的推理機(jī)包括正向邏輯推理和反向邏輯推理。

7.根據(jù)權(quán)利要求4或5所述的軟件邏輯模擬系統(tǒng)，其特征在于，所述模塊是基于python語(yǔ)言編寫(xiě)而成，所述程序模板進(jìn)一步包括：訪問(wèn)數(shù)據(jù)庫(kù)的代碼模板；加載Pyke規(guī)則的代碼模板；動(dòng)態(tài)生成規(guī)則、事實(shí)的代碼模板；向?qū)＜蚁到y(tǒng)傳遞數(shù)據(jù)的代碼模板及獲得專(zhuān)家系統(tǒng)推理數(shù)據(jù)的代碼模板；這些代碼模板均可用python語(yǔ)言實(shí)現(xiàn)。