Abstract FR:

Etude de la conception et l'implementation d'un systeme de traitement de la connaissance qui sera mis en oeuvre pour simuler un raisonnement en archeologie. L'architecture de ce systeme est definie en fonction de cette simulation. Pour representer la connaissance, ce systeme allie une structure de reseau semantique et un dispositif de regles de production. Pour faire des inferences ce systeme met en oeuvre trois demonstrateurs: un demonstrateur deductif direct qui fonctionne en resolution de problemes en cherchant les conclusions qui decoulent des connaissances premieres; un demonstrateur deductif inverse qui cherche a refuter un argument en testant les incoherences de ses implications; et un demonstrateur analogique qui suggere des resultats bases sur la notion de ressemblance