Abstract
ABSTRACT 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 1, with formal semantics based on belief state frames, 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 1, and for every level 1 description there are level 2 descriptions which are a specialization of it.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2000
ISBN(s)
DOI 10.1080/11663081.2000.10510986
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,363
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Logic for Default Reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Minimal Temporal Epistemic Logic.Joeri Engelfriet - 1996 - Notre Dame Journal of Formal Logic 37 (2):233-259.

Add more references

Citations of this work BETA

Minimal Temporal Epistemic Logic.Joeri Engelfriet - 1996 - Notre Dame Journal of Formal Logic 37 (2):233-259.

Add more citations

Similar books and articles

Analytics

Added to PP index
2013-12-01

Total views
9 ( #919,607 of 2,445,388 )

Recent downloads (6 months)
1 ( #457,259 of 2,445,388 )

How can I increase my downloads?

Downloads

My notes