TY - GEN
T1 - Nonmonotonic belief state frames and reasoning frames
AU - Engelfriet, J.
AU - Herre, H.
AU - Treur, J.
PY - 1995
Y1 - 1995
N2 - In this paper five levels of specification of nonmonotonic reasoning are distinguished. The notions of semantical frame, belief state frame and reasoning frame are introduced and used as a semantical basis for the first three levels. Moreover, the semantical connections between the levels are formalized. It is shown that this general semantical framework is applicable for some well-known approaches such as preferential semantics and default logic.
AB - In this paper five levels of specification of nonmonotonic reasoning are distinguished. The notions of semantical frame, belief state frame and reasoning frame are introduced and used as a semantical basis for the first three levels. Moreover, the semantical connections between the levels are formalized. It is shown that this general semantical framework is applicable for some well-known approaches such as preferential semantics and default logic.
UR - http://www.scopus.com/inward/record.url?scp=84957368670&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/record.url?scp=84957368670&partnerID=8YFLogxK
U2 - 10.1007/3-540-60112-0_22
DO - 10.1007/3-540-60112-0_22
M3 - Conference contribution
SN - 3540601120
SN - 9783540601128
VL - 946
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 189
EP - 196
BT - Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference, ECSQARU 1995, Proceedings
PB - Springer/Verlag
T2 - 3rd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1995
Y2 - 3 July 1995 through 5 July 1995
ER -