Specification of nonmonotonic reasoning

Journal of Applied Non-Classical Logics 10 (1):7-26 (2000)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Temporalizing epistemic default logic.Wiebe van der Hoek, John-Jules Meyer & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):341-367.
Nonmonotonic reasoning based on incomplete logic.Tuan-Fang Fan, I. -Peng Lin & Churn-Jung Liau - 1997 - Journal of Applied Non-Classical Logics 7 (4):375-395.
Reasoning credulously and skeptically within a single extension.James P. Delgrande & Torsten Schaub - 2002 - Journal of Applied Non-Classical Logics 12 (2):259-285.

Analytics

Added to PP
2013-12-01

Downloads
21 (#761,941)

6 months
12 (#242,943)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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

Add more citations

References found in this work

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