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

Question

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

Answer 1

專家系統的許多元譯員是基於所謂的香草譯者 。這是一個翻譯 Prolog沒有削減和沒有內置插件。其內容如下：

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

你隨時可以用它來解決以下知識庫 和查詢：

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 

從香草解釋開始，你可以添加各種 專家系統類似的特徵：

• 知識獲取
• 解釋
• 確定性因子
• 正向推理
• 框架交涉
• 等...

再見

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

（C） 2010，Jan Burse，8004Zürich