Structured revision: Non-linear methods for information change

Abstract

In the previous chapter we proposed a framework in which belief bases were represented as a structured set of components. These components were related according to a linear ordering expressing the relative priorities of each one of them. Linear PDBs and SDBs are conceptually simpler because they allow a direct application of the operators defined in earlier chapters. Each non-terminal component of the base can just be recursively reduced by means of the operators into a sentence representing the belief state of the agent. © 2010 Springer-Verlag Berlin Heidelberg.