Publication details
Year: 2005
Pages: 277-321
Series: Synthese
Full citation:
, "From knowledge-based programs to graded belief-based programs, part I", Synthese 147 (2), 2005, pp. 277-321.
From knowledge-based programs to graded belief-based programs, part I
on-line reasoning
pp. 277-321
in: Knowledge, rationality & action, Synthese 147 (2), 2005.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
Year: 2005
Pages: 277-321
Series: Synthese
Full citation:
, "From knowledge-based programs to graded belief-based programs, part I", Synthese 147 (2), 2005, pp. 277-321.