A Logic for Reasoning about Actions and Explicit Observations

  title={A Logic for Reasoning about Actions and Explicit Observations},
  author={Gavin Rens and Ivan Jos{\'e} Varzinczak and T. Meyer and Alexander Ferrein},
  booktitle={Australasian Conference on Artificial Intelligence},
We propose a formalism for reasoning about actions based on multi-modal logic which allows for expressing observations as first-class objects. We introduce a new modal operator, namely [o |α], which allows us to capture the notion of perceiving an observation given that an action has taken place. Formulae of the type [o |α]ϕ mean ’after perceiving observation o, given α was performed, necessarily ϕ’. In this paper, we focus on the challenges concerning sensing with explicit observations, and… 
A Logic for Specifying Agent Actions and Observations with Probability
It is the conjecture that the tableau rules are complete with respect to the semantics of the proposed non-standard modal logic for specifying agent domains where the agent's actuators and sensors are noisy, causing uncertainty in action and perception.
A Logic for Specifying Stochastic Actions and Observations
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.
From an Agent Logic to an Agent Programming Language for Partially Observable Stochastic Domains
This research concerns combining logic of action and POMDP theory in a coherent, theoretically sound language for agent programming and developing an agent programming language to design controllers for robots.
Logic for specifying partially observable stochastic domains
9th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2011), Barcelona, Spain, 16-17 July 2011
Formalisms for agents reasoning with stochastic actions and perceptions.


It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation
In this paper we argue for a weak form of causality in terms of a dependence relation involving actions, atoms and formulae in order to deal with the frame and rami cation problems. This relation
Formalizing Action and Change in Modal Logic I: the frame problem
This paper presents the basic framework of a logic of actions and plans in terms of modal logic combined with a notion of dependence, and gives the semantics and associate an axiomatics and a decision procedure to it.
A logic-based calculus of events
We outline an approach for reasoning about events and time within a logic programming framework. The notion of event is taken to be more primitive than that of time and both are represented
ESP: A Logic of Only-Knowing, Noisy Sensing and Acting
This paper shows how these issues can be addressed by incorporating noisy sensors and actions into an existing logic of only-knowing, which requires second-order logic to represent uncertain beliefs.
Dynamic Epistemic Logic and Knowledge Puzzles
The logic of public announcements in DEL is applied to the analysis of a knowledge puzzle, called `What Sum', and it is shown how factual change can be modelled in the same framework.
Dynamic Update with Probabilities
This work presents a complete dynamic logic of information change with a probabilistic character for multi-agent update with a compositional methodology that applies to a much larger class of dynamic-probabilistic logics as well.
Probabilistic Dynamic Epistemic Logic
A new probabilistic dynamic epistemic logic, a logic for reasoning about probability, information, and information change that takes higher order information into account is presented.
A semantic characterization of a useful fragment of the situation calculus with knowledge
Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems
When I started out as a newly hatched PhD student, one of the first articles I read and understood was Ray Reiter’s classic article on default logic, and I became fascinated by both default logic and, more generally, non-monotonic logics.