Advanced Reasoning Tool | ART,il contient quatre modules:un langage de r
eprésentation de la connaissance fournissant des règles,des prototyp
es,des comparaisons logiques et des structures procédurales,un compilateur qui convertit 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 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 de vue [Abbr.]