Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
On the Logic of Theory Change: Extending the AGM Model
KTH, School of Architecture and the Built Environment (ABE), Philosophy.
2011 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

This thesis consists in six articles and a comprehensive summary.

• The pourpose of the summary is to introduce the AGM theory of belief change and to exemplify the diversity and significance of the research that has been inspired by the AGM article in the last 25 years. The research areas associated with AGM was divided in three parts: criticisms, where we discussed some of the more common criticisms of AGM. Extensions where the most common extensions and variations of AGM are presented and applications where we provided an overview of applications and connections with other areas of research.

• Article I elaborates on the connection between partial meet contractions [AGM85] and kernel contractions [Han94a] in belief change theory. Also both functions are equivalent in belief sets, there are notequivalent in belief bases. A way to define incision functions (used in kernel contractions) from selection functions (used in partial meet contractions) and vice versa is presented. It is explained under which conditions there are exact correspondences between selection and incision functions so that the same contraction operations can be obtained by using either of them.

• Article II proposes an axiomatic characterization for ensconcement-based contraction functions, belief base functions proposed byWilliams and relates this function with other kinds of base contraction functions.

• Article III adapts the Fermé and Hansson model of Shielded Contraction [FH01] as well as Hansson et all Credibility-Limited Revision [HFCF01] for belief bases, to join two of the many variations of the AGM model [AGM85], i.e. those in which knowledge is represented through belief bases instead of logic theories, and those in which the object of the epistemic change does not get the priority over the existing information as it is the case in the AGM model.

• Article IV introduces revision by comparison a refined method for changing beliefs by specifying constraints on the relative plausibility of propositions. Like the earlier belief revision models, the method proposed is a qualitative one, in the sense that no numbers are needed in order to specify the posterior plausibility of the new information. The method uses reference beliefs in order to determine the degree of entrenchment of the newly accepted piece of information. Two kinds of semantics for this idea are proposed and a logical characterization of the new model is given.

• Article V focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. This essay proposes for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction,proposed by Hansson [Han94a] to construct classical AGM contractions and belief base contractions.

• Article VI relates AGM model with the DFT model proposed by Carlos Alchourrón [Alc93]. Alchourrón devoted his last years to the analysis of the notion of defeasible conditionalization. His definition of the defeasible conditional is given in terms of strict implication operator and a modal operator f which is interpreted as a revision function at the language level. This essay points out that this underlying revision function is more general than AGM revision. In addition, a complete characterization of that more general kind of revision that permits to unify models of revision given by other authors is given.

Place, publisher, year, edition, pages
Stockholm: KTH Royal Institute of Technology , 2011. , x, 51 p.
Keyword [en]
Logic of Theory Change. AGM model. Belief Bases, Iterated Models, Multiple belief change, AGM and defeasible Logic
National Category
Philosophy
Identifiers
URN: urn:nbn:se:kth:diva-29601OAI: oai:DiVA.org:kth-29601DiVA: diva2:396827
Public defence
2011-02-21, F3, Lindstedtsvägen 26, KTH, Stockholm, 10:00 (English)
Opponent
Supervisors
Note
QC 20110211Available from: 2011-02-11 Created: 2011-02-10 Last updated: 2011-02-11Bibliographically approved
List of papers
1. On the Logic of Theory Change: Relations between Incision and Selection Functions
Open this publication in new window or tab >>On the Logic of Theory Change: Relations between Incision and Selection Functions
2006 (English)In: ECAI 2006, PROCEEDINGS, 2006, Vol. 141, 402-406 p.Conference paper, Published paper (Refereed)
Abstract [en]

This work elaborates on the connection between partial meet contractions and kernel contractions in belief change theory. We present a way to define incision functions (used in kernel contractions) from selection functions (used in partial meet contractions) and vice versa. Then we make precise under which conditions there are exact correspondences between selection and incision functions so that the same contraction operations can be obtained by using either of them.

Series
Frontiers in Artificial Intelligence and Applications, ISSN 0922-6389
Keyword
Belief Revision, AGM Theory, Partial Meet Contractions, Kernel Contractions
National Category
Computer Engineering
Identifiers
urn:nbn:se:kth:diva-29594 (URN)000273875100078 ()978-1-58603-642-3 (ISBN)
Conference
17th European Conference on Artificial Intelligence Riva del Garda, ITALY, AUG 28, 2006
Note
QC 20110210Available from: 2011-02-10 Created: 2011-02-10 Last updated: 2011-02-11Bibliographically approved
2. An axiomatic characterization of ensconcement-based contraction
Open this publication in new window or tab >>An axiomatic characterization of ensconcement-based contraction
2008 (English)In: Journal of logic and computation (Print), ISSN 0955-792X, E-ISSN 1465-363X, Vol. 18, no 5, 739-753 p.Article in journal (Refereed) Published
Abstract [en]

In this article, we propose an axiomatic characterization for ensconcement-based contraction functions, belief base functions proposed by Williams. We relate this function with other kinds of base contraction functions.

Keyword
logic of theory change, belief bases, base contraction, ensconcement
National Category
Computer Science
Identifiers
urn:nbn:se:kth:diva-29595 (URN)10.1093/logcom/exm093 (DOI)000259330100004 ()
Note
QC 20110210Available from: 2011-02-10 Created: 2011-02-10 Last updated: 2017-12-11Bibliographically approved
3. Credibility-limited functions for belief bases
Open this publication in new window or tab >>Credibility-limited functions for belief bases
2003 (English)In: JOURNAL OF LOGIC AND COMPUTATION, 2003, Vol. 13, no 1, 99-110 p.Conference paper, Published paper (Other academic)
Abstract [en]

In this paper we adapt the Ferme and Hansson model of Shielded Contraction as well as Hansson et al. Credibility-limited Revision for belief bases, to join two of the many variations of the AGM model, i.e. those in which knowledge is represented through belief bases instead of logic theories, and those in which the object of the epistemic change does not have priority over the existing information as is the case in the AGM model.

Series
Journal of logic and computation, ISSN 0955-792X
Keyword
logic of theory change, nonprioritzed belief functions, belief bases
National Category
Computer Science
Identifiers
urn:nbn:se:kth:diva-29596 (URN)000181279500007 ()
Conference
3rd Annual De Morgan Conference on Applied Logic LONDON, ENGLAND, NOV, 2001
Note
QC 20110210Available from: 2011-02-10 Created: 2011-02-10 Last updated: 2011-02-11Bibliographically approved
4. Revision by comparison
Open this publication in new window or tab >>Revision by comparison
2004 (English)In: Artificial Intelligence, ISSN 0004-3702, E-ISSN 1872-7921, Vol. 157, no 1-2, 5-47 p.Article in journal (Refereed) Published
Abstract [en]

Since the early 1980s, logical theories of belief revision have offered formal methods for the transformation of knowledge bases or "corpora" of data and beliefs. Early models have dealt with unconditional acceptance and integration of potentially belief-contravening pieces of information into the existing corpus. More recently, models of "non-prioritized" revision were proposed that allow the agent rationally to refuse to accept the new information. This paper introduces a refined method for changing beliefs by specifying constraints on the relative plausibility of propositions. Like the earlier belief revision models, the method proposed is a qualitative one, in the sense that no numbers are needed in order to specify the posterior plausibility of the new information. We use reference beliefs in order to determine the degree of entrenchment of the newly accepted piece of information. We provide two kinds of semantics for this idea, give a logical characterization of the new model, study its relation with other operations of belief revision and contraction, and discuss its intuitive strengths and weaknesses.

Keyword
belief revision, theory change, sphere semantics, epistemic entrenchment, AGM approach, iterated revision, non-prioritized revision, severe withdrawal, irrevocable revision, irrefutable revision
National Category
Computer Science
Identifiers
urn:nbn:se:kth:diva-29597 (URN)10.1016/j.artint.2004.04.007 (DOI)000222555500002 ()
Note
QC 20110210Available from: 2011-02-10 Created: 2011-02-10 Last updated: 2017-12-11Bibliographically approved
5. Multiple Kernel Contraction
Open this publication in new window or tab >>Multiple Kernel Contraction
2003 (English)In: Studia Logica: An International Journal for Symbolic Logic, ISSN 0039-3215, E-ISSN 1572-8730, Vol. 73, no 2, 183-195 p.Article in journal (Refereed) Published
Abstract [en]

This paper focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. We propose for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction, proposed by Hansson [Han94] to construct classical AGM contractions and belief base contractions. This construction works out the unsolved problem pointed out by Hansson in [Han99, pp. 369].

Keyword
Logic of Theory Change, Belief Bases, Kernel Contraction, Multiple Contraction
National Category
Computer Science
Identifiers
urn:nbn:se:kth:diva-29599 (URN)10.1023/A:1022927828817 (DOI)
Note
QC 20110210Available from: 2011-02-10 Created: 2011-02-10 Last updated: 2017-12-11Bibliographically approved
6. DFT and Belief Revision
Open this publication in new window or tab >>DFT and Belief Revision
2006 (English)In: Análisis filosófico, ISSN 1851-9636, Vol. 26, no 2Article in journal (Refereed) Published
Abstract [en]

Alchourrón devoted his last years to the analysis of the notion of defeasible conditionalization. He developed a formal system capturing the essentials of this notion. His definition of the defeasible conditional is given in terms of strict implication operator and a modal operator f which is interpreted as a revision function at the language level. In this paper, we will point out that this underlying revision function is more general than the well known AGM revision [4] . In addition, we will give a complete characterization of that more general kind of revision and will show how permits to unify models of revision given by other authors.

Keyword
Defeasible conditional, Strict implication, Revision function
Identifiers
urn:nbn:se:kth:diva-29600 (URN)
Note
QC 20110211Available from: 2011-02-10 Created: 2011-02-10 Last updated: 2011-02-11Bibliographically approved

Open Access in DiVA

fulltext(603 kB)1183 downloads
File information
File name FULLTEXT01.pdfFile size 603 kBChecksum SHA-512
a74f746aa31a76ef5943cc00a6cb578ae234f3340e2f450063e62465727b61394c46d47695c52492912371fe1e5e5926b6ce49de2c569c2031e49b0507c1901a
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Fermé, Eduardo
By organisation
Philosophy
Philosophy

Search outside of DiVA

GoogleGoogle Scholar
Total: 1183 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 426 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf