From knowledge-based programs to graded belief-based programs, part II: Off-line reasoning
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.
Start / End Page
International Standard Serial Number (ISSN)