Nonmonotonic belief state frames and reasoning frames

J. Engelfriet; H. Herre; J. Treur

doi:10.1007/3-540-60112-0_22

Nonmonotonic belief state frames and reasoning frames

J. Engelfriet, H. Herre, J. Treur

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference, ECSQARU 1995, Proceedings
Publisher	Springer/Verlag
Pages	189-196
Number of pages	8
Volume	946
ISBN (Print)	3540601120, 9783540601128
DOIs	https://doi.org/10.1007/3-540-60112-0_22
Publication status	Published - 1995
Event	3rd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1995 - Fribourg, Switzerland Duration: 3 Jul 1995 → 5 Jul 1995

Publication series

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

Conference

Conference	3rd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1995
Country/Territory	Switzerland
City	Fribourg
Period	3/07/95 → 5/07/95

Access to Document

10.1007/3-540-60112-0_22

Persistent URL (handle)

Persistent link

Cite this

Engelfriet, J., Herre, H., & Treur, J. (1995). Nonmonotonic belief state frames and reasoning frames. In Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference, ECSQARU 1995, Proceedings (Vol. 946, pp. 189-196). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 946). Springer/Verlag. https://doi.org/10.1007/3-540-60112-0_22

Engelfriet, J. ; Herre, H. ; Treur, J. / Nonmonotonic belief state frames and reasoning frames. Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference, ECSQARU 1995, Proceedings. Vol. 946 Springer/Verlag, 1995. pp. 189-196 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{e7efffa6ac1340daab77e752a63ff1be,

title = "Nonmonotonic belief state frames and reasoning frames",

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

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

year = "1995",

doi = "10.1007/3-540-60112-0_22",

language = "English",

isbn = "3540601120",

volume = "946",

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

publisher = "Springer/Verlag",

pages = "189--196",

booktitle = "Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference, ECSQARU 1995, Proceedings",

note = "3rd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1995 ; Conference date: 03-07-1995 Through 05-07-1995",

}

Engelfriet, J, Herre, H & Treur, J 1995, Nonmonotonic belief state frames and reasoning frames. in Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference, ECSQARU 1995, Proceedings. vol. 946, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 946, Springer/Verlag, pp. 189-196, 3rd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1995, Fribourg, Switzerland, 3/07/95. https://doi.org/10.1007/3-540-60112-0_22

Nonmonotonic belief state frames and reasoning frames. / Engelfriet, J.; Herre, H.; Treur, J.
Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference, ECSQARU 1995, Proceedings. Vol. 946 Springer/Verlag, 1995. p. 189-196 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 946).

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

TY - GEN

T1 - Nonmonotonic belief state frames and reasoning frames

AU - Engelfriet, J.

AU - Herre, H.

AU - Treur, J.

PY - 1995

Y1 - 1995

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

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

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

U2 - 10.1007/3-540-60112-0_22

DO - 10.1007/3-540-60112-0_22

M3 - Conference contribution

SN - 3540601120

SN - 9783540601128

VL - 946

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

SP - 189

EP - 196

BT - Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference, ECSQARU 1995, Proceedings

PB - Springer/Verlag

T2 - 3rd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1995

Y2 - 3 July 1995 through 5 July 1995

ER -

Engelfriet J, Herre H, Treur J. Nonmonotonic belief state frames and reasoning frames. In Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference, ECSQARU 1995, Proceedings. Vol. 946. Springer/Verlag. 1995. p. 189-196. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-60112-0_22

Nonmonotonic belief state frames and reasoning frames

Abstract

Publication series

Conference

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this