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...
Main Author: | |
---|---|
Other Authors: | , , , |
Format: | Doctoral or Postdoctoral Thesis |
Language: | French |
Published: |
HAL CCSD
2009
|
Subjects: | |
Online Access: | https://tel.archives-ouvertes.fr/tel-00529852 https://tel.archives-ouvertes.fr/tel-00529852/document https://tel.archives-ouvertes.fr/tel-00529852/file/These_Julien_Hue.pdf |
id |
ftccsdartic:oai:HAL:tel-00529852v1 |
---|---|
record_format |
openpolar |
spelling |
ftccsdartic:oai:HAL:tel-00529852v1 2023-05-15T14:17:49+02:00 Belief merging and logic programming with stable model semantics Fusion de bases de croyances et programmation logique avec sémantique des modèles stables Hué, Julien Laboratoire des Sciences de l'Information et des Systèmes (LSIS) Centre National de la Recherche Scientifique (CNRS)-Arts et Métiers Paristech ENSAM Aix-en-Provence-Université de Toulon (UTLN)-Aix Marseille Université (AMU) Université du Sud Toulon Var Odile Papini 2009-12-09 https://tel.archives-ouvertes.fr/tel-00529852 https://tel.archives-ouvertes.fr/tel-00529852/document https://tel.archives-ouvertes.fr/tel-00529852/file/These_Julien_Hue.pdf fr fre HAL CCSD tel-00529852 https://tel.archives-ouvertes.fr/tel-00529852 https://tel.archives-ouvertes.fr/tel-00529852/document https://tel.archives-ouvertes.fr/tel-00529852/file/These_Julien_Hue.pdf info:eu-repo/semantics/OpenAccess https://tel.archives-ouvertes.fr/tel-00529852 Interface homme-machine [cs.HC]. Université du Sud Toulon Var, 2009. Français 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] info:eu-repo/semantics/doctoralThesis Theses 2009 ftccsdartic 2021-10-24T18:27:19Z 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 changing world of information from multiple sources. In this thesis, we propose a method to perform syntactic merging in the case where no explicit priorities are expressed. This method, called Removed Sets Fusion (or RSF), is based on the search of subsets of formulas to remove to restore consistency. We performed an implementation of this method based on the translation of the fusion problem into a logic program with stable model semantics. We propose two different implementations: an adaptation of the smodels algorithm and another implementation based on the additional statements provided by Lparse/Gringo. We tested this last implementation: thanks to randomly generated belief profile and, in a second time thanks to the data from archeological survey coming from the European project VENUS. We then extended the Removed Sets Fusion in two directions. We study merging in the case where priorities are expressed between agents or between agents and beliefs. We also study the case were beliefs are expressed in terms of logic programs. L'acquisition et la représentation des connaissances est un aspect central dans le domaine de l'Intelligence Artificielle car une machine intelligente doit avant tout s'appuyer sur des informations représentant le monde de façon suffisamment précise. Cette difficulté à disposer d'une représentation correcte du monde est particulièrement importante lorsque l'on a à faire à un monde changeant ou à des informations provenant de sources multiples. Nous proposons dans cette thèse une méthode de fusion syntaxique de croyances dans le cas où les croyances sont représentées dans le cas où il n'existe pas de priorités explicites ni entre les agents, ni entre les croyances exprimées par les agents. ... Doctoral or Postdoctoral Thesis Archeological Survey Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe) Venus ENVELOPE(-57.842,-57.842,-61.925,-61.925) |
institution |
Open Polar |
collection |
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe) |
op_collection_id |
ftccsdartic |
language |
French |
topic |
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] |
spellingShingle |
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] Hué, Julien Belief merging and logic programming with stable model semantics |
topic_facet |
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] |
description |
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 changing world of information from multiple sources. In this thesis, we propose a method to perform syntactic merging in the case where no explicit priorities are expressed. This method, called Removed Sets Fusion (or RSF), is based on the search of subsets of formulas to remove to restore consistency. We performed an implementation of this method based on the translation of the fusion problem into a logic program with stable model semantics. We propose two different implementations: an adaptation of the smodels algorithm and another implementation based on the additional statements provided by Lparse/Gringo. We tested this last implementation: thanks to randomly generated belief profile and, in a second time thanks to the data from archeological survey coming from the European project VENUS. We then extended the Removed Sets Fusion in two directions. We study merging in the case where priorities are expressed between agents or between agents and beliefs. We also study the case were beliefs are expressed in terms of logic programs. L'acquisition et la représentation des connaissances est un aspect central dans le domaine de l'Intelligence Artificielle car une machine intelligente doit avant tout s'appuyer sur des informations représentant le monde de façon suffisamment précise. Cette difficulté à disposer d'une représentation correcte du monde est particulièrement importante lorsque l'on a à faire à un monde changeant ou à des informations provenant de sources multiples. Nous proposons dans cette thèse une méthode de fusion syntaxique de croyances dans le cas où les croyances sont représentées dans le cas où il n'existe pas de priorités explicites ni entre les agents, ni entre les croyances exprimées par les agents. ... |
author2 |
Laboratoire des Sciences de l'Information et des Systèmes (LSIS) Centre National de la Recherche Scientifique (CNRS)-Arts et Métiers Paristech ENSAM Aix-en-Provence-Université de Toulon (UTLN)-Aix Marseille Université (AMU) Université du Sud Toulon Var Odile Papini |
format |
Doctoral or Postdoctoral Thesis |
author |
Hué, Julien |
author_facet |
Hué, Julien |
author_sort |
Hué, Julien |
title |
Belief merging and logic programming with stable model semantics |
title_short |
Belief merging and logic programming with stable model semantics |
title_full |
Belief merging and logic programming with stable model semantics |
title_fullStr |
Belief merging and logic programming with stable model semantics |
title_full_unstemmed |
Belief merging and logic programming with stable model semantics |
title_sort |
belief merging and logic programming with stable model semantics |
publisher |
HAL CCSD |
publishDate |
2009 |
url |
https://tel.archives-ouvertes.fr/tel-00529852 https://tel.archives-ouvertes.fr/tel-00529852/document https://tel.archives-ouvertes.fr/tel-00529852/file/These_Julien_Hue.pdf |
long_lat |
ENVELOPE(-57.842,-57.842,-61.925,-61.925) |
geographic |
Venus |
geographic_facet |
Venus |
genre |
Archeological Survey |
genre_facet |
Archeological Survey |
op_source |
https://tel.archives-ouvertes.fr/tel-00529852 Interface homme-machine [cs.HC]. Université du Sud Toulon Var, 2009. Français |
op_relation |
tel-00529852 https://tel.archives-ouvertes.fr/tel-00529852 https://tel.archives-ouvertes.fr/tel-00529852/document https://tel.archives-ouvertes.fr/tel-00529852/file/These_Julien_Hue.pdf |
op_rights |
info:eu-repo/semantics/OpenAccess |
_version_ |
1766289683398000640 |