Séminaire de Recherche en Didactique et Epistémologie des Mathématiques :

Le 18 mai 2011 à 17:00 - Faculté des Sciences, Place Eugène Bataillon, Bâtiment 9

Présentée par PRINCE Violaine - 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...