Rens, GLakemeyer, GMeyer, T2012-11-222012-11-222012-08Rens, 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 2012https://www.haiti.cs.uni-potsdam.de/proceedings/ECAI2012/content/stairs/stairs201223.pdfhttp://www.booksonline.iospress.nl/Content/View.aspx?piid=31532http://hdl.handle.net/10204/6359STAIRS 2012 - Proceedings of the Sixth Starting AI Researchers' Symposium, Montpellier, France 27-28 August 2012. Published as an Open Access e-book.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.enPartially observable Markov decision processPOMDPStochastic actions and observationsDomain specificationTableau methodConference PresentationRens, G., Lakemeyer, G., & Meyer, T. (2012). A logic for specifying agent actions and observations with probability. IOS Press. http://hdl.handle.net/10204/6359Rens, G, G Lakemeyer, and T Meyer. "A logic for specifying agent actions and observations with probability." (2012): http://hdl.handle.net/10204/6359Rens G, Lakemeyer G, Meyer T, A logic for specifying agent actions and observations with probability; IOS Press; 2012. http://hdl.handle.net/10204/6359 .TY - Conference Presentation AU - Rens, G AU - Lakemeyer, G AU - Meyer, T AB - 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. DA - 2012-08 DB - ResearchSpace DP - CSIR KW - Partially observable Markov decision process KW - POMDP KW - Stochastic actions and observations KW - Domain specification KW - Tableau method LK - https://researchspace.csir.co.za PY - 2012 T1 - A logic for specifying agent actions and observations with probability TI - A logic for specifying agent actions and observations with probability UR - http://hdl.handle.net/10204/6359 ER -