Herein we introduce an entire class of concrete revision operators, all of which satisfy the full set of AGM postulates for revision; we call them Parametrised ...

Jul 26, 2024 · One of the hurdles in implementing revision operators is that their specification (let alone their computation), requires substantial resources.

Jun 25, 2024 · One of the hurdles in implementing revision operators is that their specification (let alone their computation), requires substantial resources.

Nov 21, 2024 · It proposes a semantic representation of epistemic states by partial pre-orders on interpretations and a syntactic representation by partially ...

Apr 30, 2024 · instance of · scholarly article ; title. Revision operators with compact representations (English) ; published in · Artificial Intelligence.

In this paper we have investigated the compactability of some revision operators, finding also compact representations where possible. Other operators have ...

We define compact representation for a belief revision operator p as a formula which is equivalent to T p P and such that its size is polynomial in. iT i 1 iPi.

In this paper we will use methods in the spirit of Dunford, Pettis, and. Phillips to show that if X* has the Radon-Nikodym property, then the compact operators ...

We define compact representation for a belief revision operator ∗ as a formula which is equivalent to T ∗ P and such that its size is polynomial in ||T|| + ||P ...

Smith gave necessary and sufficient conditions for an induced representation, in the above sense, to be compact; that is, to consist entirely of compact.