Disjunctive update, minimal change, and default reasoning

Yan Zhang

doi:10.1007/bfb0035652

Disjunctive update, minimal change, and default reasoning

Yan Zhang

School of Computer, Data & Mathematical Sciences

Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review

Abstract

It is well known that the minimal change principle was widely used in knowledge base updates. However, recent research has shown that conventional minimal change methods, eg. the PMA [9], are generally problematic for updating knowledge bases with disjunctive information under some circumstances. In this paper, we propose a new approach, which is called the minimal change with exceptions (the MCE), to deal with this problem in prepositional knowledge base updates. We show that the MCE generalizes the PMA and still satisfies the standard Katsuno and Mendelzon’s update postulates. Furthermore, we also investigate the relationship between update and default reasoning. In particular, we represent a translation from the MCE to extended disjunctive default theories and prove the soundness and completeness of such translation relative to the semantics of the MCE.

Original language	English
Title of host publication	Qualitative and Quantitative Practical Reasoning - 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997, Proceedings
Editors	Dov M. Gabbay, Hans-Jurgen Ohlbach, Rudolf Kruse, Andreas Nonnengart
Publisher	Springer Verlag
Pages	600-613
Number of pages	14
ISBN (Print)	3540630953, 9783540630951
DOIs	https://doi.org/10.1007/bfb0035652
Publication status	Published - 1997
Event	1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997 - Bad Honnef, Germany Duration: 9 Jun 1997 → 12 Jun 1997

Publication series

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

Conference

Conference	1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997
Country/Territory	Germany
City	Bad Honnef
Period	9/06/97 → 12/06/97

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1997.

Access to Document

10.1007/bfb0035652

Cite this

Zhang, Y. (1997). Disjunctive update, minimal change, and default reasoning. In D. M. Gabbay, H.-J. Ohlbach, R. Kruse, & A. Nonnengart (Eds.), Qualitative and Quantitative Practical Reasoning - 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997, Proceedings (pp. 600-613). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1244). Springer Verlag. https://doi.org/10.1007/bfb0035652

Zhang, Yan. / Disjunctive update, minimal change, and default reasoning. Qualitative and Quantitative Practical Reasoning - 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997, Proceedings. editor / Dov M. Gabbay ; Hans-Jurgen Ohlbach ; Rudolf Kruse ; Andreas Nonnengart. Springer Verlag, 1997. pp. 600-613 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{554dc02b16014a73a4525ab31a87212a,

title = "Disjunctive update, minimal change, and default reasoning",

abstract = "It is well known that the minimal change principle was widely used in knowledge base updates. However, recent research has shown that conventional minimal change methods, eg. the PMA [9], are generally problematic for updating knowledge bases with disjunctive information under some circumstances. In this paper, we propose a new approach, which is called the minimal change with exceptions (the MCE), to deal with this problem in prepositional knowledge base updates. We show that the MCE generalizes the PMA and still satisfies the standard Katsuno and Mendelzon{\textquoteright}s update postulates. Furthermore, we also investigate the relationship between update and default reasoning. In particular, we represent a translation from the MCE to extended disjunctive default theories and prove the soundness and completeness of such translation relative to the semantics of the MCE.",

author = "Yan Zhang",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1997.; 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997 ; Conference date: 09-06-1997 Through 12-06-1997",

year = "1997",

doi = "10.1007/bfb0035652",

language = "English",

isbn = "3540630953",

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

publisher = "Springer Verlag",

pages = "600--613",

editor = "Gabbay, {Dov M.} and Hans-Jurgen Ohlbach and Rudolf Kruse and Andreas Nonnengart",

booktitle = "Qualitative and Quantitative Practical Reasoning - 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997, Proceedings",

}

Zhang, Y 1997, Disjunctive update, minimal change, and default reasoning. in DM Gabbay, H-J Ohlbach, R Kruse & A Nonnengart (eds), Qualitative and Quantitative Practical Reasoning - 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1244, Springer Verlag, pp. 600-613, 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997, Bad Honnef, Germany, 9/06/97. https://doi.org/10.1007/bfb0035652

Disjunctive update, minimal change, and default reasoning. / Zhang, Yan.
Qualitative and Quantitative Practical Reasoning - 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997, Proceedings. ed. / Dov M. Gabbay; Hans-Jurgen Ohlbach; Rudolf Kruse; Andreas Nonnengart. Springer Verlag, 1997. p. 600-613 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1244).

Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review

TY - GEN

T1 - Disjunctive update, minimal change, and default reasoning

AU - Zhang, Yan

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1997.

PY - 1997

Y1 - 1997

N2 - It is well known that the minimal change principle was widely used in knowledge base updates. However, recent research has shown that conventional minimal change methods, eg. the PMA [9], are generally problematic for updating knowledge bases with disjunctive information under some circumstances. In this paper, we propose a new approach, which is called the minimal change with exceptions (the MCE), to deal with this problem in prepositional knowledge base updates. We show that the MCE generalizes the PMA and still satisfies the standard Katsuno and Mendelzon’s update postulates. Furthermore, we also investigate the relationship between update and default reasoning. In particular, we represent a translation from the MCE to extended disjunctive default theories and prove the soundness and completeness of such translation relative to the semantics of the MCE.

AB - It is well known that the minimal change principle was widely used in knowledge base updates. However, recent research has shown that conventional minimal change methods, eg. the PMA [9], are generally problematic for updating knowledge bases with disjunctive information under some circumstances. In this paper, we propose a new approach, which is called the minimal change with exceptions (the MCE), to deal with this problem in prepositional knowledge base updates. We show that the MCE generalizes the PMA and still satisfies the standard Katsuno and Mendelzon’s update postulates. Furthermore, we also investigate the relationship between update and default reasoning. In particular, we represent a translation from the MCE to extended disjunctive default theories and prove the soundness and completeness of such translation relative to the semantics of the MCE.

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

U2 - 10.1007/bfb0035652

DO - 10.1007/bfb0035652

M3 - Conference Paper

AN - SCOPUS:84947812074

SN - 3540630953

SN - 9783540630951

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

SP - 600

EP - 613

BT - Qualitative and Quantitative Practical Reasoning - 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997, Proceedings

A2 - Gabbay, Dov M.

A2 - Ohlbach, Hans-Jurgen

A2 - Kruse, Rudolf

A2 - Nonnengart, Andreas

PB - Springer Verlag

T2 - 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997

Y2 - 9 June 1997 through 12 June 1997

ER -

Zhang Y. Disjunctive update, minimal change, and default reasoning. In Gabbay DM, Ohlbach HJ, Kruse R, Nonnengart A, editors, Qualitative and Quantitative Practical Reasoning - 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997, Proceedings. Springer Verlag. 1997. p. 600-613. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/bfb0035652

Disjunctive update, minimal change, and default reasoning

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this