AGM-Style Revision of Beliefs and Intentions from a Database Perspective (Preliminary Version)

TL;DR

This paper develops a logic for temporal beliefs and intentions from a database perspective, formalizing belief revision with AGM-style postulates and a representation theorem linking revisions to pre-orders and selection functions.

Contribution

It introduces a novel logic separating strong and weak beliefs, with AGM-style revision postulates and a representation theorem for belief and intention updates.

Findings

Formalizes coherence conditions for beliefs and intentions

Provides AGM-style postulates for belief revision

Establishes a representation theorem connecting revisions to pre-orders

Abstract

We introduce a logic for temporal beliefs and intentions based on Shoham's database perspective. We separate strong beliefs from weak beliefs. Strong beliefs are independent from intentions, while weak beliefs are obtained by adding intentions to strong beliefs and everything that follows from that. We formalize coherence conditions on strong beliefs and intentions. We provide AGM-style postulates for the revision of strong beliefs and intentions. We show in a representation theorem that a revision operator satisfying our postulates can be represented by a pre-order on interpretations of the beliefs, together with a selection function for the intentions.