Comment une règle dans CLIPS est-elle mathématiquement définie?

Question

J'essaie de comprendre les concepts mathématiques derrière le langage de programmation CLIPS et je ne suis pas sûr de savoir comment une règle dans CLIPS est mathématiquement définie? Est-ce un ensemble? L'ordre de l'ensemble est-il important? Y a-t-il un endroit où je peux en lire plus sur les concepts théoriques du langage CLIPS?

Answer 1

CLIPS utilise l'algorithme rete. Voici quelques liens pour plus d'informations:

https://en.wikipedia.org/wiki/Rete_algorithm http://reports-archive.adm.cs.cmu.edu/anon/1995/CMU-CS-95-113.pdf http://reports-archive.adm.cs.cmu.edu/anon/scan/CMU-CS-79-forgy.pdf https://sourceforge.net/projects/clipsrules/files/CLIPS/Misc/CLIPS_Implementation_of_Rete.pdf/download