Advanced Reasoning Tool | ART,il contient quatre mo
dules:un langage de représentation de la connaissance fournissant des règles,des prototypes,des comparaisons logique
s et des structures procédurales,un compilate
ur 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.]