Rens, GMeyer, TLakemeyer, G2013-07-022013-07-022013-05Rens, G, Meyer, T and Lakemeyer, G. 2013. On the logical specification of probabilistic transition models. In: Eleventh International Symposium on Logical Formalizations of Commonsense Reasoning (COMMONSENSE 2013), Cyprus, 27-29 May 2013http://www.commonsense2013.cs.ucy.ac.cy/docs/commonsense2013_submission_9.pdfhttp://hdl.handle.net/10204/6853Eleventh International Symposium on Logical Formalizations of Commonsense Reasoning (COMMONSENSE 2013), Cyprus, 27-29 May 2013. Published by COMMONSENSE 2013We investigate the requirements for specifying the behaviors of actions in a stochastic domain. That is, we propose how to write sentences in a logical language to capture a model of probabilistic transitions due to the execution of actions of some agent. We propose a definition for ‘proper’ and ‘full’ probabilistic transition model specifications and suggest which assumptions can and perhaps should be made about such specifications to make them more parsimonious. Making a priori or default assumptions about the nature of transitions is useful when a given transition model is not fully specified. Two default assumption approaches will be considered.enProbabilistic transitionsStochastic domainConference PresentationRens, G., Meyer, T., & Lakemeyer, G. (2013). On the logical specification of probabilistic transition models. COMMONSENSE 2013. http://hdl.handle.net/10204/6853Rens, G, T Meyer, and G Lakemeyer. "On the logical specification of probabilistic transition models." (2013): http://hdl.handle.net/10204/6853Rens G, Meyer T, Lakemeyer G, On the logical specification of probabilistic transition models; COMMONSENSE 2013; 2013. http://hdl.handle.net/10204/6853 .TY - Conference Presentation AU - Rens, G AU - Meyer, T AU - Lakemeyer, G AB - We investigate the requirements for specifying the behaviors of actions in a stochastic domain. That is, we propose how to write sentences in a logical language to capture a model of probabilistic transitions due to the execution of actions of some agent. We propose a definition for ‘proper’ and ‘full’ probabilistic transition model specifications and suggest which assumptions can and perhaps should be made about such specifications to make them more parsimonious. Making a priori or default assumptions about the nature of transitions is useful when a given transition model is not fully specified. Two default assumption approaches will be considered. DA - 2013-05 DB - ResearchSpace DP - CSIR KW - Probabilistic transitions KW - Stochastic domain LK - https://researchspace.csir.co.za PY - 2013 T1 - On the logical specification of probabilistic transition models TI - On the logical specification of probabilistic transition models UR - http://hdl.handle.net/10204/6853 ER -