Advanced Reas
oning Tool | ART,il contient quatre modules:un langage de représentation de la connaissance fournissant des règles,des prototypes,des comparaisons logiques et des structures procédurales,un compilateur qui convertit la connaissance représentée en code LISP,un module d'application d
e l'exécution et un environnement de débogage.Sa base de règles incorpore des règles absolues,des hypothèses,des contraintes et des croyances.L'information est organisée en ensembles de faits ou d'hypothèses,appelés points d
...[+++]e vue [Abbr.]