Thumbnail

From knowledge-based programs to graded belief-based programs, part II: off-line reasoning

Laverny, Noël; Lang, Jérôme (2005), From knowledge-based programs to graded belief-based programs, part II: off-line reasoning, dans Kaelbling, Leslie Pack; Saffiotti, Alessandro, IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005., Professional Book Center, p. 497-502

Voir/Ouvrir
Type
Communication / Conférence
Date
2005
Titre du colloque
19th International Joint Conference on Artificial Intelligence (IJCAI-2005)
Date du colloque
2005
Ville du colloque
Edimbourg
Pays du colloque
Royaume-Uni
Titre de l'ouvrage
IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005.
Auteurs de l’ouvrage
Kaelbling, Leslie Pack; Saffiotti, Alessandro
Éditeur
Professional Book Center
Isbn
0938075934
Pages
497-502
Métadonnées
Afficher la notice complète
Auteur(s)
Laverny, Noël
Lang, Jérôme
Résumé (EN)
Belief-based programs generalize knowledge- based programs [Fagin et al., 1995] by allowing for incorrect beliefs, unreliable observations, and branching conditions that refer to implicit graded beliefs, such as in “while my belief about the direction to the railway station is not strong enough do ask someone”. We show how to reason off-line about the possible executions of a belief-based program, which calls for introducing second-order uncertainty in the model.
Mots-clés
offline reasoning; knowledge-based program; belief-based program