Master Thesis: Implementing a Structured Approach to Belief Revision by Deterministic Switching Between Total Preorders

Abstract Belief change research investigates how agents adapt their knowledge with potentially conflicting information. A common formalization is by epistemic states, abstract entities often represented by faithful preorders. Operators describe how epistemic states change with new evidence and are classified by which postulates they satisfy. Different approaches have been suggested for the problem of iterated belief change. Recent work introduces uniform revision that revises an agent’s beliefs based on one static total preorder, therefore lowering representational costs....

November 7, 2021 · 1 min · Philip Heltweg

Certification of Iterated Belief Changes via Model Checking and its Implementation

Note: An extended version of this paper has been published at the 7th Workshop on Formal and Cognitive Reasoning, you can find it here. Our paper “Certification of Iterated Belief Changes via Model Checking and its Implementation” got accepted to the 19th International Workshop on Non-Monotonic Reasoning (NMR-2021) at the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021). During the workshop I held a short presentation of the results....

October 27, 2021 · 2 min · Philip Heltweg

On Using Model Checking for the Certification of Iterated Belief Changes

Our paper “On Using Model Checking for the Certification of Iterated Belief Changes” got accepted to the 7th Workshop on Formal and Cognitive Reasoning (FCR-2021) at the 44th German Conference on Artificial Intelligence (KI-2021). During the workshop I held a short presentation of the results. You can find both the paper as well as the presentation slides here. Abstract The theory of iterated belief change investigates how epistemic states are changed according to new beliefs....

September 28, 2021 · 2 min · Philip Heltweg

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....

April 9, 2021 · 1 min · Philip Heltweg