Aide Fichier

Un fichier est un ensemble de rêgle(s) et fait(s) que vous pouvez charger.

• Fait
• Règle
• Conclusion
• Prémisse

Faits

Un fait est constitué d'un symbole et d'une valeur, un fait ne peut être modifier par le moteur d'inférences. Cependant, avec le tableau dans le dock, l'utilsateur peut modifier une valeur.

Exemple:

symbole = valeur

• Un symbole est une suite de caratères ex: ABCdef, A52
• Un valeur est un nombre, un booléen ou chaîne de caratères. Ex: "chaine", 23.4, Vrai

Règles

Une règle est constituée d'un prémisse et d'une conclusion.

Exemple:

conclusion := prémisse

Conclusion

Un conclusion est une liste de faits entrecoupée de et (exprimés avec : '&').

Exemple:

fait
fait1 & fait2 & ... & faitn

Prémisse

Une prémisse est constituée d'une suite de propositions qui ne sont que des comparaisons entre deux valeurs. Ces propositions sont reliées par des connecteurs logiques que sont le et (exprimé avec "&") et le ou (exprimé avec "||").

Exemple:

symboleA == 4 & symboleB > 23
symboleA != symboleB || (symboleC >= 23 & symboleD > 23)