TY - JOUR
T1 - Specification of Nonmonotonic Reasoning.
AU - Engelfriet, J.
AU - Treur, J.
PY - 2000
Y1 - 2000
N2 - 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: (/) a specification Language for Level I, with formal semantics based on belief state frames, (2) a fragment of infinitary temporal logic as a general specification Language for Level 2, with formal semantics based on reasoning frames. In our framework every Level 2 description can be abstracted to level I, and for every Level 1 description there are Level 2 descriptions which are a specialization of it.
AB - 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: (/) a specification Language for Level I, with formal semantics based on belief state frames, (2) a fragment of infinitary temporal logic as a general specification Language for Level 2, with formal semantics based on reasoning frames. In our framework every Level 2 description can be abstracted to level I, and for every Level 1 description there are Level 2 descriptions which are a specialization of it.
U2 - 10.1080/11663081.2000.10510986
DO - 10.1080/11663081.2000.10510986
M3 - Article
SN - 1166-3081
VL - 10
SP - 7
EP - 27
JO - Journal of Applied Non-Classical Logics
JF - Journal of Applied Non-Classical Logics
ER -