• 11 ressources ont été trouvées. Voici les résultats 11 à 11
Tri :   Date Editeur Auteur Titre

Modèles et calcul du raisonnement dynamique

/ Pino Pérez Ramón / Université Lille1 - Sciences et Technologies / 04-02-1999
Voir le résumé | Accéder à la ressource
Voir le résumé
Lorsque les informations sont incomplètes, incertaines ou changeantes les modèles classiques du raisonnement sont inadéquats pour rendre compte de façon fidèle des mécanismes qui sont mis en jeux pour faire des inférences. Dans le but de résoudre ce problème d'inadéquation ont surgi des logiques non classiques : d'une part les logiques dites non monotones et d'autre part la théorie de la révision de la connaissance. Notre travail est une contribution à ces deux domaines. Nous étudions des extensions de la logique préférentielle d'un point de vue syntaxique et sémantique. Nous introduisons de nouvelles techniques de preuve pour des théorèmes de représentation ainsi que des approches topologiques qui dans le cas infini s'avèrent très fructueuses. Une étude systématique de l'abduction, c'est-à-dire de la recherche des explications, est proposée. Des liens étroits avec la logique préférentielle sont montrés. Ces liens suggèrent des mécanismes de calcul pour la recherche des explications. Par ailleurs un théorème de représentation de relations abductives en termes d'ordres est donné. Concernant notre approche de la théorie de la révision de la connaissance notre contribution présente deux aspects. D'abord une approche pragmatique : pour des raisons d'efficacité dans le traitement nous restreignons la logique à essentiellement le chaînage avant. Dans ce cadre nous proposons plusieurs opérateurs de changement et donnons une méthodologie inspirée de l'approche d'Alchourron, Gärdenfors et Makinson pour analyser le comportement de nos opérateurs. L'autre contribution à la théorie de la révision est une extension de celle-ci au cas où il y a des sources d'information multiples et sans priorités. Il s'agit d'une logique pour la fusion de l'information. Ceci est particulièrement important pour extraire de l'information lorsque plusieurs agents ayant le même degré de confiance coopèrent. Plusieurs méthodes de fusion sont proposées et une analyse de leurs propriétés structurelles est donnée.

Cité Scientifique BP 30155 59653 VILLENEUVE D'ASCQ CEDEX Tél.:+33 (0)3 20 43 44 10