Colloque

Modélisation des croyances d'un agent basée sur les LDS

Imed Jarras

Membre a labase

Imed Jarras

Résumé du 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 entre eux par une relation d'accessibilité et l'ensemble des propositions vraies dans chacun de ces mondes. Un ensemble de règles d'inférence permet de déduire une configuration à partir d'autres configurations. Nous appliquons, finalement, ce modèle au problème bien connu des n sages (raisonnement sur autrui).

Contexte

Section :

Logique, langage et informatique

Thème du colloque :

Logique, langage et informatique

Hôte : Université Laval

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Logique, langage et informatique

Modélisation des croyances d'un agent basée sur les LDS

Imed Jarras

Génération intégrée de textes et de graphiques

Guy Lapalme

Les grammaires catégorielles, la logique combinatoire

Ismaïl Biskri

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Logique, langage et informatique

Modélisation des croyances d'un agent basée sur les LDS

Imed Jarras