Rens, GMeyer, TFerrein, ALakemeyer, G2011-12-062011-12-062011-07Rens, A, Meyer, T, Ferrein, A et al. 2011. Logic for specifying partially observable stochastic domains. 9th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2011), Barcelona, Spain, 16-17 July 2011, 8 pphttp://hdl.handle.net/10204/53649th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2011), Barcelona, Spain, 16-17 July 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 development of the logic builds on previous work in which a simple multi-modal logic was augmented with first-class observation objects. These observations can then be used to represent the set of observations in a POMDP model in a natural way. In this paper, a subset of the simple modal logic is taken for the new logic, in which modal operators may not be nested. The modal operators are then extended with notions of probability. It will be shown how stochastic domains can be specified, including new kinds of axioms dealing with perception and a frame solution for the proposed logic.enObservable stochastic domainsPOMDP theoryModal operatorsNonmonotonicNRAC 2011Conference PresentationRens, G., Meyer, T., Ferrein, A., & Lakemeyer, G. (2011). Logic for specifying partially observable stochastic domains. http://hdl.handle.net/10204/5364Rens, G, T Meyer, A Ferrein, and G Lakemeyer. "Logic for specifying partially observable stochastic domains." (2011): http://hdl.handle.net/10204/5364Rens G, Meyer T, Ferrein A, Lakemeyer G, Logic for specifying partially observable stochastic domains; 2011. http://hdl.handle.net/10204/5364 .TY - Conference Presentation AU - Rens, G AU - Meyer, T AU - Ferrein, A AU - Lakemeyer, G AB - The 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 development of the logic builds on previous work in which a simple multi-modal logic was augmented with first-class observation objects. These observations can then be used to represent the set of observations in a POMDP model in a natural way. In this paper, a subset of the simple modal logic is taken for the new logic, in which modal operators may not be nested. The modal operators are then extended with notions of probability. It will be shown how stochastic domains can be specified, including new kinds of axioms dealing with perception and a frame solution for the proposed logic. DA - 2011-07 DB - ResearchSpace DP - CSIR KW - Observable stochastic domains KW - POMDP theory KW - Modal operators KW - Nonmonotonic KW - NRAC 2011 LK - https://researchspace.csir.co.za PY - 2011 T1 - Logic for specifying partially observable stochastic domains TI - Logic for specifying partially observable stochastic domains UR - http://hdl.handle.net/10204/5364 ER -