# A Logic for Reasoning about Actions and Explicit Observations

@inproceedings{Rens2010ALF, 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}, year={2010} }

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…

## 5 Citations

A Logic for Specifying Agent Actions and Observations with Probability

- Computer Science, PhilosophySTAIRS
- 2012

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

- Computer ScienceFoIKS
- 2014

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

- Computer ScienceIJCAI
- 2011

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

- Computer Science
- 2011

9th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2011), Barcelona, Spain, 16-17 July 2011

## References

SHOWING 1-10 OF 18 REFERENCES

It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation

- Computer ScienceNMR
- 2002

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

- Computer ScienceJ. Log. Comput.
- 1999

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

- Computer ScienceNew Generation Computing
- 2009

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

- Computer ScienceAAAI
- 2007

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

- Philosophy, Computer ScienceICCS
- 2007

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

- Computer ScienceStud Logica
- 2009

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.

SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE

- Philosophy, Computer Science
- 1981

Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems

- Philosophy
- 2002

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.

First Steps in Modal Logic

- Philosophy
- 1995

Introduction Acknowledgements Part I. Preliminaries: 1. Survey of propositional logic 2. The modal language Part II. Transition Structures and Semantics: 3. Labelled transition structures 4.…

Extending probabilistic dynamic epistemic logic

- PhilosophySynthese
- 2009

This paper aims to extend in two directions the probabilistic dynamic epistemic logic provided in Kooi’s paper (J Logic Lang Inform 12(4):381–408, 2003) and to relate these extensions to ones made in…