Belief Revision in Dynamic Epistemic Logic and Ranking Theory
Dateien
Datum
Autor:innen
Herausgeber:innen
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
URI (zitierfähiger Link)
Internationale Patentnummer
Link zur Lizenz
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Sammlungen
Core Facility der Universität Konstanz
Titel in einer weiteren Sprache
Publikationstyp
Publikationsstatus
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)
Schlagwörter
Konferenz
Rezension
Zitieren
ISO 690
FRITZ, 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>