Home » Research » Research outputs » A Logic for Specifying Stochastic Actions and Observations

A Logic for Specifying Stochastic Actions and Observations

2014

  • Authors:
    Gavin Rens , Tommie Meyer , Lakemeyer, G.

    Publication date:
    2014

    Institution:

    Output type:
    Conference proceedings

    Springer-Verlag

    Abstract:

    We present a logic inspired by partially observable Markov decision process (POMDP) theory for specifying agent domains where the agent's actuators and sensors are noisy (causing uncertainty). The language features modalities for actions and predicates for observations. It includes a notion of probability to represent the uncertainties, and the expression of rewards and costs are also catered for. One of the main contributions of the paper is the formulation of a sound and complete decision procedure for checking validity of sentences: a tableau method which appeals to solving systems of equations. The tableau rules eliminate propositional connectives, then, for all open branches of the tableau tree, systems of equations are generated and checked for feasibility. This paper presents progress made on previously published work.

    Document file:
    Proof of peer-review from publisher: