Un système de maintenance de la vérité pour une représentation de connaissance centrée-objet
Abstract
L'utilisation d'objets pour la représentation des connaissances est de plus en plus répandue. C'est dire l'importance que prend la conception de bases de connaissance centrées-objet qui peuvent être manipulés de manière non monotone par divers systèmes informatiques tant pour y opérer des modifications que des consultations. On se propose d'étudier des mécanismes permettant à la fois plus d'efficacité et de cohérence dans l'utilisation d'une représentation centrée-objet. Le mécanisme de caching introduit des problèmes liés à l'utilisation non monotone de la base. Dans le but de palier ces problèmes, les différents systèmes de maintenance de la vérité existant sont étudiés. Un cadre général permettant la coopération des mécanismes de "caching" et de maintenance de la vérité au sein d'une représentation centrée-objet est proposé. On présente ensuite une réalisation effective des propositions sur le système de gestion de bases de connaissance centrées-objet Shirka.