Nonmonotonic belief state frames and reasoning frames

J. Engelfriet, H. Herre, J. Treur

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Abstract

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.
Original languageEnglish
Title of host publicationSymbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference, ECSQARU 1995, Proceedings
PublisherSpringer/Verlag
Pages189-196
Number of pages8
Volume946
ISBN (Print)3540601120, 9783540601128
DOIs
Publication statusPublished - 1995
Event3rd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1995 - Fribourg, Switzerland
Duration: 3 Jul 19955 Jul 1995

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume946
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference3rd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1995
Country/TerritorySwitzerland
CityFribourg
Period3/07/955/07/95

Fingerprint

Dive into the research topics of 'Nonmonotonic belief state frames and reasoning frames'. Together they form a unique fingerprint.

Cite this