Belief Revision in Dynamic Epistemic Logic and Ranking Theory

Lade...
Vorschaubild
Dateien
Bachelorarbeit_Fritz.pdf
Bachelorarbeit_Fritz.pdfGröße: 296.45 KBDownloads: 183
Datum
2009
Autor:innen
Fritz, Peter
Herausgeber:innen
Kontakt
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
DOI (zitierfähiger Link)
ArXiv-ID
Internationale Patentnummer
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Open Access Green
Sammlungen
Core Facility der Universität Konstanz
Gesperrt bis
Titel in einer weiteren Sprache
Forschungsvorhaben
Organisationseinheiten
Zeitschriftenheft
Publikationstyp
Bachelorarbeit
Publikationsstatus
Published
Erschienen in
Zusammenfassung

I want to look at recent developments of representing AGM-style belief revision in dynamic epistemic logics and the options for doing something similar for ranking theory. Formally, my aim will be modest: I will define a version of basic dynamic doxastic logic using ranking functions as the semantics. I will show why formalizing ranking theory this way is useful for the ranking theorist first by showing how it enables one to compare ranking theory more easily with other approaches to belief revision. I will then use the logic to state an argument for defining ranking functions on larger sets of ordinals than is customary. Secondly, I will argue that the only way to extend the account of belief revision given by ranking theory to higher-order beliefs and revisions is by continuing the approach taken by me and defining ranking theoretical equivalents of dynamic epistemic logics. For proponents of dynamic epistemic logic, such logics will naturally be of interest provided they are convinced of the revision operator defined by ranking theory.

Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
100 Philosophie
Schlagwörter
Glaubensrevision, Dynamische Epistemische Logik, Rangtheorie, Belief Revision, Dynamic Epistemic Logic, Ranking Theory
Konferenz
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690FRITZ, Peter, 2009. Belief Revision in Dynamic Epistemic Logic and Ranking Theory [Bachelor thesis]
BibTex
@mastersthesis{Fritz2009Belie-3536,
  year={2009},
  title={Belief Revision in Dynamic Epistemic Logic and Ranking Theory},
  author={Fritz, Peter}
}
RDF
<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/3536">
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/3536/1/Bachelorarbeit_Fritz.pdf"/>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dc:contributor>Fritz, Peter</dc:contributor>
    <dc:format>application/pdf</dc:format>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dc:rights>Attribution-ShareAlike 2.0 Generic</dc:rights>
    <dcterms:abstract xml:lang="eng">I want to look at recent developments of representing AGM-style belief revision in dynamic epistemic logics and the options for doing something similar for ranking theory. Formally, my aim will be modest: I will define a version of basic dynamic doxastic logic using ranking functions as the semantics. I will show why formalizing ranking theory this way is useful for the ranking theorist first by showing how it enables one to compare ranking theory more easily with other approaches to belief revision. I will then use the logic to state an argument for defining ranking functions on larger sets of ordinals than is customary. Secondly, I will argue that the only way to extend the account of belief revision given by ranking theory to higher-order beliefs and revisions is by continuing the approach taken by me and defining ranking theoretical equivalents of dynamic epistemic logics. For proponents of dynamic epistemic logic, such logics will naturally be of interest provided they are convinced of the revision operator defined by ranking theory.</dcterms:abstract>
    <dcterms:issued>2009</dcterms:issued>
    <dc:language>eng</dc:language>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/3536/1/Bachelorarbeit_Fritz.pdf"/>
    <dcterms:rights rdf:resource="http://creativecommons.org/licenses/by-sa/2.0/"/>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/3536"/>
    <dc:creator>Fritz, Peter</dc:creator>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-23T13:46:40Z</dcterms:available>
    <dcterms:title>Belief Revision in Dynamic Epistemic Logic and Ranking Theory</dcterms:title>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-23T13:46:40Z</dc:date>
  </rdf:Description>
</rdf:RDF>
Interner Vermerk
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Kontakt
URL der Originalveröffentl.
Prüfdatum der URL
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Begutachtet
Diese Publikation teilen