Skip to content
Go back

Of judges, aliens and total preorders

I created this synopsis of some ideas from the paper “How to Revise a Total Preorder” by Booth and Meyer during the seminar on “Representation and processing of uncertain knowledge with logic-based methods” at the University of Hagen.

The slides are from my final presentation of the topic (and might be more or less useless on their own).

Abstract

Adapting one’s world view in the light of new information is a central skill of intelligent agents. Total preorders are a common tool to model plausibility orderings over possible worlds in the research field of belief change. In their paper ”How to Revise a Total Preorder”, Booth and Meyer present an approach to revising preorders for iterated belief revision. Their operator is based on assigning abstract intervals of plausibility to worlds, depending on new evidence supporting them or not. This synopsis presents part of their work in tpo-revision operators and their properties with the help of an accompanying example and additional visualisation.

Download

Seminar Paper

Presentation Slides

Source Code


About Me

I am an indie maker & researcher with a doctorate in computer science, interested in (among others): Software engineering, open data, data science, startups and esports.

See /about for details.

Have feedback, comments? Email me: philip@heltweg.org.

I (very occasionally) send out a newsletter when publishing new articles like this.

Subscribe ↗

Share this post on:

Previous Post
On Using Model Checking for the Certification of Iterated Belief Changes
Next Post
How to kill a dragon