A methodology for iterated Theory Change

D. M. Gabbay; O. Rodrigues

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

A methodology for iterated Theory Change

Research output: Chapter in Book/Report/Conference proceeding › Conference paper

6 Citations (Scopus)

Abstract

In this work, we propose some operators for theory change. We consider Belief Revision and Updates. The operators support combined iterations of revisions and updates and can be efficiently implemented. We show that the revision operator verifies the AGM postulates for Belief Revision and that the update one verifies the postulates for Updates proposed by Katsuno and Mendelzon [7].

Original language	English
Title of host publication	Practical Reasoning
Subtitle of host publication	International Conference on Formal and Applied Practical Reasoning, FAPR'96
Editors	D. M. Gabbay, Hans Jurgen Ohlbach
Place of Publication	Berlin and New York
Publisher	Springer-Verlag Berlin Heidelberg
Pages	193-207
Number of pages	15
Volume	N/A
Edition	N/A
ISBN (Print)	9783540613138
DOIs	https://doi.org/10.1007/3-540-61313-7_73
Publication status	Published - 1996

Publication series

Name	Lecture Notes in Artificial Intelligence
Publisher	Springer Berlin Heidelberg
Volume	1085
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-61313-7_73

Cite this

Gabbay, D. M., & Rodrigues, O. (1996). A methodology for iterated Theory Change. In D. M. Gabbay, & H. J. Ohlbach (Eds.), Practical Reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96 (N/A ed., Vol. N/A, pp. 193-207). (Lecture Notes in Artificial Intelligence; Vol. 1085). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/3-540-61313-7_73

@inbook{ba0cc1a188cb44bda2dd63393aa0f96b,

title = "A methodology for iterated Theory Change",

abstract = "In this work, we propose some operators for theory change. We consider Belief Revision and Updates. The operators support combined iterations of revisions and updates and can be efficiently implemented. We show that the revision operator verifies the AGM postulates for Belief Revision and that the update one verifies the postulates for Updates proposed by Katsuno and Mendelzon [7].",

author = "Gabbay, \{D. M.\} and O. Rodrigues",

year = "1996",

doi = "10.1007/3-540-61313-7\_73",

language = "English",

isbn = "9783540613138",

volume = "N/A",

series = "Lecture Notes in Artificial Intelligence",

publisher = "Springer-Verlag Berlin Heidelberg",

pages = "193--207",

editor = "Gabbay, \{D. M.\} and Ohlbach, \{Hans Jurgen\}",

booktitle = "Practical Reasoning",

edition = "N/A",

}

Gabbay, DM & Rodrigues, O 1996, A methodology for iterated Theory Change. in DM Gabbay & HJ Ohlbach (eds), Practical Reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96. N/A edn, vol. N/A, Lecture Notes in Artificial Intelligence, vol. 1085, Springer-Verlag Berlin Heidelberg, Berlin and New York, pp. 193-207. https://doi.org/10.1007/3-540-61313-7_73

A methodology for iterated Theory Change. / Gabbay, D. M.; Rodrigues, O.
Practical Reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96. ed. / D. M. Gabbay; Hans Jurgen Ohlbach. Vol. N/A N/A. ed. Berlin and New York: Springer-Verlag Berlin Heidelberg, 1996. p. 193-207 (Lecture Notes in Artificial Intelligence; Vol. 1085).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper

TY - CHAP

T1 - A methodology for iterated Theory Change

AU - Gabbay, D. M.

AU - Rodrigues, O.

PY - 1996

Y1 - 1996

N2 - In this work, we propose some operators for theory change. We consider Belief Revision and Updates. The operators support combined iterations of revisions and updates and can be efficiently implemented. We show that the revision operator verifies the AGM postulates for Belief Revision and that the update one verifies the postulates for Updates proposed by Katsuno and Mendelzon [7].

AB - In this work, we propose some operators for theory change. We consider Belief Revision and Updates. The operators support combined iterations of revisions and updates and can be efficiently implemented. We show that the revision operator verifies the AGM postulates for Belief Revision and that the update one verifies the postulates for Updates proposed by Katsuno and Mendelzon [7].

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

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

M3 - Conference paper

SN - 9783540613138

VL - N/A

T3 - Lecture Notes in Artificial Intelligence

SP - 193

EP - 207

BT - Practical Reasoning

A2 - Gabbay, D. M.

A2 - Ohlbach, Hans Jurgen

PB - Springer-Verlag Berlin Heidelberg

CY - Berlin and New York

ER -

A methodology for iterated Theory Change

Abstract

Publication series

Access to Document

Fingerprint

Cite this