如何使用 Swi-Prolog 為專家系統創建元規則和/或元解釋器

Question

我想用 SWI-Prolog 創建一個帶有元解釋器的專家系統......什么是最好和更簡單的方法？ 制作它的程序是什么？

Answer 1

許多專家系統的元解釋器都是基於所謂的 vanilla 解釋器。 這是一個沒有剪切和內置插件的 Prolog 解釋器。 內容如下：

solve(true) :- !.
solve((A,B)) :- !, solve(A), solve(B).
solve(H) :- clause(H,B), solve(B).

您可以輕松地使用它來解決以下知識庫和查詢。 在某些 Prolog 系統中，ISO 兼容程度越高的系統，您需要將謂詞標記為動態，以便子句/2 可以找到它們：

pet(dog):- size(medium), noise(woof).
pet(cat):- size(medium), noise(meow).
pet(mouse):- size(small), noise(squeak).
size(medium).
noise(meow).

?- solve(pet(X)).
X=cat

從 vanilla 解釋器開始，您可以添加各種專家系統，如功能：

• 知識獲取
• 說明
• 確定性因素
• 正向鏈接
• 幀表示
• 等等...

再見

PS：以下書展示了如何： http : //www.amzi.com/ExpertSystemsInProlog/