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 connaiss
ance représentée en code LISP,un module d'application de l'exécution et un environne
ment de débogage.Sa base de règles incorpore des règles absolues,des hypothèses,des contraintes et des croyance
...[+++]s.L'information est organisée en ensembles de faits ou d'hypothèses,appelés points de vue [Abbr.]