Show simple item record

TOPIC SENSITIVE BELIEF REVISION

dc.contributor.advisorHorty, John Fen_US
dc.contributor.authorParsia, Bijanen_US
dc.date.accessioned2009-10-06T06:33:56Z
dc.date.available2009-10-06T06:33:56Z
dc.date.issued2009en_US
dc.identifier.urihttp://hdl.handle.net/1903/9632
dc.description.abstractWhen asked to change one's beliefs in the face of new information, or to revise a book given errata, we commonly strive to keep our changes relevant, that is, we try to restrict the beliefs (or chapters) we change to those that bear some content relation to the new information. One kind of relevance, topicality, is interesting for two reasons: First, topicality tends to be strongly encapsulating, e.g., we shouldn't make any off-topic changes. Second, topicality tends to be weaker than strict relevance. Consider a panel of three papers on the topic of Kant's life and works. It would be entirely possible for each of the papers to have no bearing on the truth of any sentence in any of the other papers, and yet for all of the papers to be on topic. In this dissertation, I explore theories of logical topicality and their effect on formal theories of belief revision. Formal theories of belief revision (in the Alchourrón, Gärdenfors, and Makinson (AGM) tradition) model the object of change (my beliefs, a book) as a collection of formulae in a supra-classical logic and provide a set of postulates which express constraints on the sorts of change that are, in principle, formally rational. In 1999, Rohit Parikh proposed that signature disjointness captured a reasonable notion of topicality but that taking topicality into account required changes in the standard AGM postulates (and thus, the notion of rational change). He, and subsequent theorists, abandoned this notion of topicality in order to deal with the revision of inconsistent objects of change. In this thesis, I show 1) that a disjoint signature account of topicality does not require changes to the AGM rationality postulates and 2) a disjoint signature account of topicality can apply to inconsistent objects of change. Additionally, I argue that signature disjointness has a strong claim to being at least a sufficient condition of logical topicality.en_US
dc.format.extent366519 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoen_US
dc.titleTOPIC SENSITIVE BELIEF REVISIONen_US
dc.typeDissertationen_US
dc.contributor.publisherDigital Repository at the University of Marylanden_US
dc.contributor.publisherUniversity of Maryland (College Park, Md.)en_US
dc.contributor.departmentPhilosophyen_US
dc.subject.pqcontrolledPhilosophyen_US
dc.subject.pqcontrolledArtificial Intelligenceen_US
dc.subject.pqcontrolledComputer Scienceen_US
dc.subject.pquncontrolledbelief revisionen_US
dc.subject.pquncontrolledlogicen_US
dc.subject.pquncontrolledtheory changeen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record