Author:Rens, G; Ferrein, A; van der Poel, EDate:Nov 2008For sophisticated robots, it may be best to accept and reason with noisy sensor data, instead of assuming complete observation and then dealing with the effects of making the assumption. We shall model uncertainties with a formalism called ...Read more
Author:Rens, GB; Meyer, TADate:Jan 2015The authors propose an agent architecture which combines Partially observable Markov decision processes (POMDPs) and the belief-desire-intention (BDI) framework have several complementary strengths. The authors propose an agent architecture, ...Read more
Author:Moodley, D; Rens, GavinDate:Dec 2016This article presents an agent architecture for controlling an autonomous agent in stochastic, noisy environments. The architecture combines the partially observable Markov decision process (POMDP) model with the belief-desire-intention (BDI) ...Read more
Author:Rens, G; Lakemeyer, G; Meyer, TDate:Aug 2012We propose a non-standard modal logic for specifying agent domains where the agent’s actuators and sensors are noisy, causing uncertainty in action and perception. The logic is multi-modal, indexed with actions; the logic is also augmented ...Read more
Author:Rens, G; Meyer, T; Lakemeyer, GDate:Mar 2014We present a logic inspired by partially observable Markov decision process (POMDP) theory for specifying agent domains where the agent's actuators and sensors are noisy (causing uncertainty). The language features modalities for actions and ...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
Author:Rens, GDate:Jan 2015A novel algorithm to speed up online planning in partially observable Markov decision processes (POMDPs) is introduced. I propose a method for compressing nodes in belief-decision-trees while planning occurs. Whereas belief-decision-trees ...Read more