We 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 with observation objects to facilitate knowledge engineers dealing with explicit observations in the environment, and it includes a notion of probability. A tableau method is provided for proving decidability of the proposed logic. It is our conjecture that the tableau rules are complete with respect to the semantics. The proof does not yet exist, however, we discuss the current approach of the proof and provide some examples to motivate our conjecture.
Reference:
Rens, G, Lakemeyer, G and Meyer, T. A logic for specifying agent actions and observations with probability. STAIRS 2012 - Proceedings of the Sixth Starting AI Researchers' Symposium, Montpellier, France 27-28 August 2012
Rens, G., Lakemeyer, G., & Meyer, T. (2012). A logic for specifying agent actions and observations with probability. IOS Press. http://hdl.handle.net/10204/6359
Rens, G, G Lakemeyer, and T Meyer. "A logic for specifying agent actions and observations with probability." (2012): http://hdl.handle.net/10204/6359
Rens G, Lakemeyer G, Meyer T, A logic for specifying agent actions and observations with probability; IOS Press; 2012. http://hdl.handle.net/10204/6359 .