Belief merging and logic programming with stable model semantics

Representation of knowledge is a central aspect in artificial intelligence. Decisions of an intelligent agent must rely on informations which represent the world as correctly as possible. This difficulty to have a correct representation of the world is particularly important when dealing with a chan...

Full description

Bibliographic Details
Main Author: Hué, Julien
Other Authors: Laboratoire des Sciences de l'Information et des Systèmes (LSIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Arts et Métiers Paristech ENSAM Aix-en-Provence-Centre National de la Recherche Scientifique (CNRS), Université du Sud Toulon Var, Odile Papini
Format: Doctoral or Postdoctoral Thesis
Language:French
Published: HAL CCSD 2009
Subjects:
fusion de croyances
programmation logique
révision des croyances
révision itérée
raisonnement non-monotone
[INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]
Venus
Archeological Survey
Online Access:https://theses.hal.science/tel-00529852
https://theses.hal.science/tel-00529852/document
https://theses.hal.science/tel-00529852/file/These_Julien_Hue.pdf

Similar Items