Aide Fichier

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

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

Fait

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

Exemple:

symbole = valeur

• Un symbole est une suite de caratère ex: ABCdef, A52
• Un valeur est un nombre, un boolean ou chaine de caratère ex: "chaine", 23.4, Vrai

Règle

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

Exemple:

conclusion := prémisse

Conclusion

Un conclusion est un liste de fait entrecouper de et '&'.

Exemple:

fait
fait1 & fait2 & ... & faitn

Prémisse

Une prémisse est constitué d'une suite de proposition qui ne sont que des comparaisons entre deux valeur. Ces propositions sont relier par des connecteur logique que sont le et "&" et le ou "||".

Exemple:

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