A Temporal Model Theory for Default Logic

J. Engelfriet, J. Treur

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

Abstract

By explicitly identifying the temporal aspect of a default rule as it is used in a reasoning process, it is argued that a natural semantic theory of Reiter's default logic is a temporal one. To be able to accommodate the lack of complete knowledge at any point in time, the temporal models should be partial models. A temporal partial logic is introduced, and it is shown that this logic can provide semantics for Reiter's default logic.
Original languageEnglish
Title of host publicationProceedings of the 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU '93
EditorsM. Clarke
PublisherSpringer/Verlag
Pages91-96
ISBN (Electronic)978-3-540-48130-0
ISBN (Print)978-3-540-57395-1
DOIs
Publication statusPublished - 1993

Fingerprint

Dive into the research topics of 'A Temporal Model Theory for Default Logic'. Together they form a unique fingerprint.

Cite this