Advanced Reasoning 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 conver
tit la connaissance représentée en code LISP,un module d'application de l'exécution et un environnement de débogage.Sa base de règles i
ncorpore des règles absolues,des hypothèses,des contraintes et des croyances.L'informati
on est organisée en ensembles de faits ...[+++]ou d'hypothèses,appelés points de vue [Abbr.]