Author:Rens, G; Meyer, T; Lakemeyer, GDate:May 2013We investigate the requirements for specifying the behaviors of actions in a stochastic domain. That is, we propose how to write sentences in a logical language to capture a model of probabilistic transitions due to the execution of actions ...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