dc.contributor.author |
Rens, G
|
|
dc.contributor.author |
Lakemeyer, G
|
|
dc.contributor.author |
Meyer, T
|
|
dc.date.accessioned |
2012-11-22T12:41:05Z |
|
dc.date.available |
2012-11-22T12:41:05Z |
|
dc.date.issued |
2012-08 |
|
dc.identifier.citation |
Rens, 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 2012 |
en_US |
dc.identifier.uri |
https://www.haiti.cs.uni-potsdam.de/proceedings/ECAI2012/content/stairs/stairs201223.pdf
|
|
dc.identifier.uri |
http://www.booksonline.iospress.nl/Content/View.aspx?piid=31532
|
|
dc.identifier.uri |
http://hdl.handle.net/10204/6359
|
|
dc.description |
STAIRS 2012 - Proceedings of the Sixth Starting AI Researchers' Symposium, Montpellier, France 27-28 August 2012. Published as an Open Access e-book. |
en_US |
dc.description.abstract |
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. |
en_US |
dc.language.iso |
en |
en_US |
dc.publisher |
IOS Press |
en_US |
dc.relation.ispartofseries |
Workflow;9898 |
|
dc.subject |
Partially observable Markov decision process |
en_US |
dc.subject |
POMDP |
en_US |
dc.subject |
Stochastic actions and observations |
en_US |
dc.subject |
Domain specification |
en_US |
dc.subject |
Tableau method |
en_US |
dc.title |
A logic for specifying agent actions and observations with probability |
en_US |
dc.type |
Conference Presentation |
en_US |
dc.identifier.apacitation |
Rens, G., Lakemeyer, G., & Meyer, T. (2012). A logic for specifying agent actions and observations with probability. IOS Press. http://hdl.handle.net/10204/6359 |
en_ZA |
dc.identifier.chicagocitation |
Rens, G, G Lakemeyer, and T Meyer. "A logic for specifying agent actions and observations with probability." (2012): http://hdl.handle.net/10204/6359 |
en_ZA |
dc.identifier.vancouvercitation |
Rens G, Lakemeyer G, Meyer T, A logic for specifying agent actions and observations with probability; IOS Press; 2012. http://hdl.handle.net/10204/6359 . |
en_ZA |
dc.identifier.ris |
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 -
|
en_ZA |