Home » Research » Research outputs » A Logic for Specifying Agent Actions and Observations with Probability

A Logic for Specifying Agent Actions and Observations with Probability

2012

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

    Publication date:
    2012

    Institution:

    Output type:
    Conference proceedings

    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.

    Document file: