A methodology for iterated theory change

Dov Gabbay; Odinaldo Rodrigues

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

A methodology for iterated theory change

Dov Gabbay, Odinaldo Rodrigues

Imperial College London

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

6 Scopus citations

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 - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings
Editors	Dov M. Gabbay, Hans Jurgen Ohlbach
Publisher	Springer Verlag
Pages	193-207
Number of pages	15
ISBN (Print)	3540613137, 9783540613138
DOIs	https://doi.org/10.1007/3-540-61313-7_73
State	Published - 1996
Externally published	Yes
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

Bibliographical note

Publisher Copyright:
© Springer-Vedag Berlin Heidelberg 1996.

Access to Document

10.1007/3-540-61313-7_73

Cite this

Gabbay, D., & 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 1996, Proceedings (pp. 193-207). (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_73

Gabbay, Dov ; Rodrigues, Odinaldo. / A methodology for iterated theory change. Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings. editor / Dov M. Gabbay ; Hans Jurgen Ohlbach. Springer Verlag, 1996. pp. 193-207 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{4b82f0b1a33f4353a8198188749b74d4,

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 = "Dov Gabbay and Odinaldo Rodrigues",

note = "Publisher Copyright: {\textcopyright} Springer-Vedag Berlin Heidelberg 1996.; International Conference on Formal and Applied Practical Reasoning, FAPR 1996 ; Conference date: 03-06-1996 Through 07-06-1996",

year = "1996",

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

language = "אנגלית",

isbn = "3540613137",

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

publisher = "Springer Verlag",

pages = "193--207",

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

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

address = "גרמניה",

}

Gabbay, D & 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 1996, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1085, Springer Verlag, pp. 193-207, International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Bonn, Germany, 3/06/96. https://doi.org/10.1007/3-540-61313-7_73

A methodology for iterated theory change. / Gabbay, Dov; Rodrigues, Odinaldo.
Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings. ed. / Dov M. Gabbay; Hans Jurgen Ohlbach. Springer Verlag, 1996. p. 193-207 (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 › peer-review

TY - GEN

T1 - A methodology for iterated theory change

AU - Gabbay, Dov

AU - Rodrigues, Odinaldo

N1 - Publisher Copyright: © Springer-Vedag Berlin Heidelberg 1996.

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

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

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

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

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:0343053393

SN - 3540613137

SN - 9783540613138

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

SP - 193

EP - 207

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

A2 - Gabbay, Dov M.

A2 - Ohlbach, Hans Jurgen

PB - Springer Verlag

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

Y2 - 3 June 1996 through 7 June 1996

ER -

Gabbay D, Rodrigues O. A methodology for iterated theory change. In Gabbay DM, Ohlbach HJ, editors, Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings. Springer Verlag. 1996. p. 193-207. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-61313-7_73

A methodology for iterated theory change

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this