Repository | Journal | Volume | Article

236956

From knowledge-based programs to graded belief-based programs, part I

on-line reasoning

Noël LavernyJérôme Lang

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.