Specification of Nonmonotonic Reasoning

J. Engelfriet; J. Treur

doi:10.1007/3-540-61313-7_67

Specification of Nonmonotonic Reasoning

J. Engelfriet, J. Treur

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

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: (1) a specification language for level 1, with formal semantics based on belief state frames, (2) 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.

Original language	English
Title of host publication	Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings
Publisher	Springer/Verlag
Pages	111-125
Number of pages	15
Volume	1085
ISBN (Print)	3540613137, 9783540613138
DOIs	https://doi.org/10.1007/3-540-61313-7_67
Publication status	Published - 1996
Event	International Conference on Formal and Applied Practical Reasoning, FAPR 1996 - Bonn, Germany Duration: 3 Jun 1996 → 7 Jun 1996

Publication series

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

Conference

Conference	International Conference on Formal and Applied Practical Reasoning, FAPR 1996
Country/Territory	Germany
City	Bonn
Period	3/06/96 → 7/06/96

Keywords

Nonmonotonic reasoning
Specification
Temporal logic

Access to Document

10.1007/3-540-61313-7_67

Persistent URL (handle)

Copy link address

Cite this

Engelfriet, J., & Treur, J. (1996). Specification of Nonmonotonic Reasoning. In Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings (Vol. 1085, pp. 111-125). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1085). Springer/Verlag. https://doi.org/10.1007/3-540-61313-7_67

@inproceedings{323dadae832c4aea90e45f738fb8d2bc,

title = "Specification of Nonmonotonic Reasoning",

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: (1) a specification language for level 1, with formal semantics based on belief state frames, (2) 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 = "Nonmonotonic reasoning, Specification, Temporal logic",

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

year = "1996",

doi = "10.1007/3-540-61313-7_67",

language = "English",

isbn = "3540613137",

volume = "1085",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer/Verlag",

pages = "111--125",

booktitle = "Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings",

note = "International Conference on Formal and Applied Practical Reasoning, FAPR 1996 ; Conference date: 03-06-1996 Through 07-06-1996",

}

Engelfriet, J & Treur, J 1996, Specification of Nonmonotonic Reasoning. in Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings. vol. 1085, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1085, Springer/Verlag, pp. 111-125, International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Bonn, Germany, 3/06/96. https://doi.org/10.1007/3-540-61313-7_67

Specification of Nonmonotonic Reasoning. / Engelfriet, J.; Treur, J.
Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings. Vol. 1085 Springer/Verlag, 1996. p. 111-125 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1085).

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Specification of Nonmonotonic Reasoning

AU - Engelfriet, J.

AU - Treur, J.

PY - 1996

Y1 - 1996

N2 - 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: (1) a specification language for level 1, with formal semantics based on belief state frames, (2) 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.

AB - 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: (1) a specification language for level 1, with formal semantics based on belief state frames, (2) 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.

KW - Nonmonotonic reasoning

KW - Specification

KW - Temporal logic

UR - http://www.scopus.com/inward/record.url?scp=84947917477&partnerID=8YFLogxK

U2 - 10.1007/3-540-61313-7_67

DO - 10.1007/3-540-61313-7_67

M3 - Conference contribution

SN - 3540613137

SN - 9783540613138

VL - 1085

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 111

EP - 125

BT - Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings

PB - Springer/Verlag

T2 - International Conference on Formal and Applied Practical Reasoning, FAPR 1996

Y2 - 3 June 1996 through 7 June 1996

ER -

Engelfriet J, Treur J. Specification of Nonmonotonic Reasoning. In Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings. Vol. 1085. Springer/Verlag. 1996. p. 111-125. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-61313-7_67

Specification of Nonmonotonic Reasoning

Abstract

Publication series

Conference

Keywords

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this