DSpace
 

Researchspace >
General science, engineering & technology >
General science, engineering & technology >
General science, engineering & technology >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10204/5364

Title: Logic for specifying partially observable stochastic domains
Authors: Rens, G
Meyer, T
Ferrein, A
Lakemeyer, G
Keywords: Observable stochastic domains
POMDP theory
Modal operators
Nonmonotonic
NRAC 2011
Issue Date: Jul-2011
Citation: Rens, A, Meyer, T, Ferrein, A et al. 2011. Logic for specifying partially observable stochastic domains. 9th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2011), Barcelona, Spain, 16-17 July 2011, 8 pp
Series/Report no.: Workflow request;7216
Abstract: The authors propose a novel modal logic for specifying agent domains where the agent’s actuators and sensors are noisy, causing uncertainty in action and perception. The logic draws both on POMDP theory and logics of action and change. The development of the logic builds on previous work in which a simple multi-modal logic was augmented with first-class observation objects. These observations can then be used to represent the set of observations in a POMDP model in a natural way. In this paper, a subset of the simple modal logic is taken for the new logic, in which modal operators may not be nested. The modal operators are then extended with notions of probability. It will be shown how stochastic domains can be specified, including new kinds of axioms dealing with perception and a frame solution for the proposed logic.
Description: 9th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2011), Barcelona, Spain, 16-17 July 2011
URI: http://hdl.handle.net/10204/5364
Appears in Collections:Digital intelligence
General science, engineering & technology

Files in This Item:

File Description SizeFormat
Rens_2011.pdf288.17 kBAdobe PDFView/Open
View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback