Author:Rens, GB; Varzinczak, IJDate:Dec 2009The authors are developing a new logic (DyMoDeL) for reasoning about dynamic agents with stochastic action, partial observation, knowledge-of and degree-of-belief-in a state of affairs. Development of the syntax and semantics is almost complete, ...Read more
Author:Rens, GB; Meyer, TA; Lakemeyer, GDate:Jan 2015The authors present a decidable logic in which queries can be posed about (i) the degree of belief in a propositional sentence after an arbitrary finite number of actions and observations and (ii) the utility of a finite sequence of actions ...Read more