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


Conference Paper

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.

Duke Authors

Cited Authors

  • Laverny, N; Lang, J

Published Date

  • December 1, 2005

Published In

Start / End Page

  • 497 - 502

International Standard Serial Number (ISSN)

  • 1045-0823

Citation Source

  • Scopus