Séminaire de Recherche en Didactique et Epistémologie des Mathématiques
mercredi 18 mai 2011 à 17:00 - Faculté des Sciences, Place Eugène Bataillon, Bâtiment 9
Violaine PRINCE (Université Montpellier 2, LIRMM)
Logiques et raisonnement - algorithmes simulant ces raisonnements dans des bases de connaissances organisées hiérarchiquement
Présentation des aspects logiques et raisonnement, avec des algorithmes simulant ces raisonnements dans des bases de connaissances organisées hiérarchiquement (ordre donné par l'inclusion). Application : une acquisition "formelle" de connaissances entre deux agents artificiels sous forme de "leçon socratique". Attachement des nouvelles connaissances, réfutation, etc...