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…