From Knowledge-based Programs to Graded Belief-based Programs, Part I: On-line Reasoning*

@article{Laverny2004FromKP,
  title={From Knowledge-based Programs to Graded Belief-based Programs, Part I: On-line Reasoning*},
  author={No{\"e}l Laverny and J{\'e}r{\^o}me Lang},
  journal={Synthese},
  year={2004},
  volume={147},
  pages={277-321}
}
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 “if my belief that φ holds is high then do some action… CONTINUE READING