Author:Rens, G; Meyer, T; Casini, GDate:Aug 2016We propose a method for an agent to revise its incomplete probabilistic beliefs when a new piece of propositional information is observed. In this work, an agent’s beliefs are represented by a set of probabilistic formulae – a belief base. ...Read more
Author:Rens, G; Meyer, T; Lakemeyer, GDate:Jun 2014A logic for specifying probabilistic transition systems is presented. Our perspective is that of agents performing actions. A procedure for deciding whether sentences in this logic are valid is provided. One of the main contributions of the ...Read more