sencillos - cómo crear meta-reglas y/o meta-intérpretes para un sistema experto con Swi-Prolog

proyectos en prolog

Question

Quiero crear un sistema experto con meta-intérprete con SWI-Prolog ... ¿cuál es la mejor y más fácil forma de hacerlo? cual es el procedimiento para hacerlo?

Answer 1

Muchos de los meta-intérpretes para sistemas expertos se basan en el llamado intérprete de vanilla. Este es un intérprete para Prolog sin cortar y sin complementos. dice lo siguiente:

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

Puede usarlo fácilmente para resolver la siguiente base de conocimiento y consulta:

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

A partir del intérprete de vanilla, puede agregar varias características similares a las del sistema experto:

• La adquisición de conocimientos
• Explicaciones
• Factores de certeza
• Encadenamiento hacia adelante
• Representaciones del marco
• Etc ...

Adiós

PD: El siguiente libro muestra cómo: http://www.amzi.com/ExpertSystemsInProlog/

(c) 2010, Jan Burse, 8004 Zürich