Controlled revision - An algorithmic approach for belief revision

Dov Gabbay; Gabriella Pigozzi; John Woods

doi:10.1093/logcom/13.1.15

Controlled revision - An algorithmic approach for belief revision

Dov Gabbay, Gabriella Pigozzi, John Woods

Research output: Contribution to journal › Article › peer-review

27 Scopus citations

Abstract

This paper provides algorithmic options for belief revision of a database receiving an infinite stream of inputs. At stage n, the database is Δ_n, receiving the input A_n. The revision algorithms for moving to the new database Δ_n+1 = Δ_n ⊗ A_n take into account the history of previous revisions actually executed as well as possible revision options which were discarded at the time but may now be pursued. The appropriate methodology for carrying this out is Labelled Deductive Systems.

Original language	English
Pages (from-to)	15-35
Number of pages	21
Journal	Journal of Logic and Computation
Volume	13
Issue number	1
DOIs	https://doi.org/10.1093/logcom/13.1.15
State	Published - Feb 2003
Externally published	Yes

Access to Document

10.1093/logcom/13.1.15

Cite this

@article{bba0339f7fb64790ae0b544636d2fecb,

title = "Controlled revision - An algorithmic approach for belief revision",

abstract = "This paper provides algorithmic options for belief revision of a database receiving an infinite stream of inputs. At stage n, the database is Δn, receiving the input An. The revision algorithms for moving to the new database Δn+1 = Δn ⊗ An take into account the history of previous revisions actually executed as well as possible revision options which were discarded at the time but may now be pursued. The appropriate methodology for carrying this out is Labelled Deductive Systems.",

author = "Dov Gabbay and Gabriella Pigozzi and John Woods",

year = "2003",

month = feb,

doi = "10.1093/logcom/13.1.15",

language = "אנגלית",

volume = "13",

pages = "15--35",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "1",

}

TY - JOUR

T1 - Controlled revision - An algorithmic approach for belief revision

AU - Gabbay, Dov

AU - Pigozzi, Gabriella

AU - Woods, John

PY - 2003/2

Y1 - 2003/2

N2 - This paper provides algorithmic options for belief revision of a database receiving an infinite stream of inputs. At stage n, the database is Δn, receiving the input An. The revision algorithms for moving to the new database Δn+1 = Δn ⊗ An take into account the history of previous revisions actually executed as well as possible revision options which were discarded at the time but may now be pursued. The appropriate methodology for carrying this out is Labelled Deductive Systems.

AB - This paper provides algorithmic options for belief revision of a database receiving an infinite stream of inputs. At stage n, the database is Δn, receiving the input An. The revision algorithms for moving to the new database Δn+1 = Δn ⊗ An take into account the history of previous revisions actually executed as well as possible revision options which were discarded at the time but may now be pursued. The appropriate methodology for carrying this out is Labelled Deductive Systems.

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

U2 - 10.1093/logcom/13.1.15

DO - 10.1093/logcom/13.1.15

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:12244309125

SN - 0955-792X

VL - 13

SP - 15

EP - 35

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

IS - 1

ER -

Controlled revision - An algorithmic approach for belief revision

Abstract

Access to Document

Other files and links

Fingerprint

Cite this