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, G; Meyer, T; Ferrein, A; Lakemeyer, GDate:Jul 2011The authors propose a novel modal logic for specifying agent domains where the agent’s actuators and sensors are noisy, causing uncertainty in action and perception. The logic draws both on POMDP theory and logics of action and change. The ...Read more