From knowledge-based programs to graded belief-based programs, part I
on-line reasoning
pp. 277-321
Abstract
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at execution time. However, branching conditions in KBPs cannot refer to possibly erroneous beliefs or to graded belief, such as
Publication details
Published in:
(2005) Knowledge, rationality & action. Synthese 147 (2).
Pages: 277-321
DOI: 10.1007/s11229-005-1350-1
Full citation:
Laverny Noël, Lang Jérôme (2005) „From knowledge-based programs to graded belief-based programs, part I: on-line reasoning“. Synthese 147 (2), 277–321.