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.
|Name||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Conference||3rd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1995|
|Period||3/07/95 → 5/07/95|