ResearchSpace

On the logical specification of probabilistic transition models

Show simple item record

dc.contributor.author Rens, G
dc.contributor.author Meyer, T
dc.contributor.author Lakemeyer, G
dc.date.accessioned 2013-07-02T12:31:03Z
dc.date.available 2013-07-02T12:31:03Z
dc.date.issued 2013-05
dc.identifier.citation 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 en_US
dc.identifier.uri http://www.commonsense2013.cs.ucy.ac.cy/docs/commonsense2013_submission_9.pdf
dc.identifier.uri http://hdl.handle.net/10204/6853
dc.description Eleventh International Symposium on Logical Formalizations of Commonsense Reasoning (COMMONSENSE 2013), Cyprus, 27-29 May 2013. Published by COMMONSENSE 2013 en_US
dc.description.abstract 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. en_US
dc.language.iso en en_US
dc.publisher COMMONSENSE 2013 en_US
dc.relation.ispartofseries Workflow;11187
dc.subject Probabilistic transitions en_US
dc.subject Stochastic domain en_US
dc.title On the logical specification of probabilistic transition models en_US
dc.type Conference Presentation en_US
dc.identifier.apacitation Rens, G., Meyer, T., & Lakemeyer, G. (2013). On the logical specification of probabilistic transition models. COMMONSENSE 2013. http://hdl.handle.net/10204/6853 en_ZA
dc.identifier.chicagocitation Rens, G, T Meyer, and G Lakemeyer. "On the logical specification of probabilistic transition models." (2013): http://hdl.handle.net/10204/6853 en_ZA
dc.identifier.vancouvercitation Rens G, Meyer T, Lakemeyer G, On the logical specification of probabilistic transition models; COMMONSENSE 2013; 2013. http://hdl.handle.net/10204/6853 . en_ZA
dc.identifier.ris 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 - en_ZA


Files in this item

Thumbnail
Name: Rens_2013_ABSTRACT ...
Size: 90.16Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Show simple item record