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.
Reference:
Rens, 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 2013
Rens, G., Meyer, T., & Lakemeyer, G. (2013). On the logical specification of probabilistic transition models. COMMONSENSE 2013. http://hdl.handle.net/10204/6853
Rens, G, T Meyer, and G Lakemeyer. "On the logical specification of probabilistic transition models." (2013): http://hdl.handle.net/10204/6853
Rens G, Meyer T, Lakemeyer G, On the logical specification of probabilistic transition models; COMMONSENSE 2013; 2013. http://hdl.handle.net/10204/6853 .
Eleventh International Symposium on Logical Formalizations of Commonsense Reasoning (COMMONSENSE 2013), Cyprus, 27-29 May 2013. Published by COMMONSENSE 2013