A Temporal Model Theory for Default Logic

J. Engelfriet; J. Treur

doi:10.1007/BFb0028187

A Temporal Model Theory for Default Logic

J. Engelfriet, J. Treur

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	Proceedings of the 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU '93
Editors	M. Clarke
Publisher	Springer/Verlag
Pages	91-96
ISBN (Electronic)	978-3-540-48130-0
ISBN (Print)	978-3-540-57395-1
DOIs	https://doi.org/10.1007/BFb0028187
Publication status	Published - 1993

Access to Document

10.1007/BFb0028187

Persistent URL (handle)

Persistent link

Cite this

@inproceedings{2c433f14f55c45679499b14f9f632555,

title = "A Temporal Model Theory for Default Logic",

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.",

author = "J. Engelfriet and J. Treur",

year = "1993",

doi = "10.1007/BFb0028187",

language = "English",

isbn = "978-3-540-57395-1",

pages = "91--96",

editor = "M. Clarke",

booktitle = "Proceedings of the 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU '93",

publisher = "Springer/Verlag",

}

TY - GEN

T1 - A Temporal Model Theory for Default Logic

AU - Engelfriet, J.

AU - Treur, J.

PY - 1993

Y1 - 1993

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/0011606388

UR - https://www.scopus.com/inward/citedby.url?scp=0011606388&partnerID=8YFLogxK

U2 - 10.1007/BFb0028187

DO - 10.1007/BFb0028187

M3 - Conference contribution

SN - 978-3-540-57395-1

SP - 91

EP - 96

BT - Proceedings of the 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU '93

A2 - Clarke, M.

PB - Springer/Verlag

ER -

A Temporal Model Theory for Default Logic

Abstract

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this