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, in 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

View/Open
Type
Communication / Conférence
Date
2005
Conference title
19th International Joint Conference on Artificial Intelligence (IJCAI-2005)
Conference date
2005
Conference city
Edimbourg
Conference country
Royaume-Uni
Book title
IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005.
Book author
Kaelbling, Leslie Pack; Saffiotti, Alessandro
Publisher
Professional Book Center
ISBN
0938075934
Pages
497-502
Metadata
Show full item record
Author(s)
Laverny, Noël
Lang, Jérôme
Abstract (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.
Subjects / Keywords
offline reasoning; knowledge-based program; belief-based program