Specification of nonmonotonic reasoning

  title={Specification of nonmonotonic reasoning},
  author={Joeri Engelfriet and Jan Treur},
  journal={Journal of Applied Non-Classical Logics},
Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion of belief state frame, the second level by the notion of reasoning frame. We introduce two specification languages to describe nonmonotonic reasoning at each of the levels: (1) a specification language for level 1, with formal semantics based on belief state frames, (2) a fragment of infinitary temporal logic as a… CONTINUE READING
11 Citations
12 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 11 extracted citations

Similar Papers

Loading similar papers…