Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
Les systèmes déductifs labélisés (LDS : Labelled deductive systems) sont aujourd'hui l'une des méthodes de modélisation les plus intéressantes qui ne cessent d'intéresser de plus en plus de chercheurs et ce, dans différents domaines d'applications. Les LDS ont l'avantage d'être une ossature générale offrant aussi bien aux logiciens qu'aux ingénieurs un langage commun et un ensemble de principes de base commun pour décrire et résoudre les problèmes. Dans ce présent article, nous présentons une modélisation des croyances d'un agent basée sur les LDS. L'état d'un agent est donné par une configuration représentant d'une part un ensemble de mondes possibles reliés …
