Advanced Reasoning Too
l | 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 croyance
s.L'information est organisée en ensemb ...[+++]les de faits ou d'hypothèses,appelés points de vue [Abbr.]