Open AccessProceedings Article
Optimal Regression for Reasoning about Knowledge and Actions.
Hans van Ditmarsch,Andreas Herzig,Tiago de Lima +2 more
- pp 0
Reads0
Chats0
TLDR
It is shown how in the propositional case both Reiter's and Scherl & Levesque's solutions to the frame problem can be modelled in dynamic epistemic logic (DEL), and an optimal regression algorithm is provided for the latter.Abstract:
We show how in the propositional case both Reiter's and Scherl & Levesque's solutions to the frame problem can be modelled in dynamic epistemic logic (DEL), and provide an optimal regression algorithm for the latter.
Our method is as follows: we extend Reiter's framework by integrating observation actions and modal operators of knowledge, and encode the resulting formalism in DEL with announcement and assignment operators.
By extending Lutz' recent satisfiability-preserving reduction to our logic, we establish optimal decision procedures for both Reiter's and Scherl & Levesque's approaches:
satisfiability is NP-complete for one agent, PSPACE-complete for multiple agents and EXPTIME-complete when common knowledge is involved.read more
Citations
More filters
Book
Logical Dynamics of Information and Interaction
TL;DR: A new view of logic as a theory of information-driven agency and intelligent interaction between many agents is developed, unifying all these systems, and positioning them at the interface of logic, philosophy, computer science and game theory.
Journal ArticleDOI
Iterated belief change in the situation calculus
TL;DR: This paper offers a new approach to belief change associated with performing actions that addresses some of the shortcomings of existing approaches to this problem.
Journal ArticleDOI
From Situation Calculus to Dynamic Epistemic Logic
TL;DR: This work recasts restricted basic action theories in a propositional modal logic, viz. dynamic epistemic logic with public announcements and public assignments, by recasting Reiter's solution to the frame problem in terms of successor state axioms and Scherl and Levesque's extension to knowledge.
Proceedings Article
ALLEGRO: belief-based programming in stochastic dynamical domains
Vaishak Belle,Hector J. Levesque +1 more
TL;DR: ALLEGRO, a belief-based programming language for stochastic domains, is presented that refashions GOLOG to allow for discrete and continuous initial uncertainty and noise and could be the basis for bridging high-level programming and probabilistic robotics technologies in a general way.
Dissertation
Monitoring the generation and execution of optimal plans
TL;DR: A general monitoring technique that can be used during both plan generation and plan execution to determine the relevance of unexpected changes and which supports recovery, and substantiates the claim of broad applicability of this relevance-based technique by developing four concrete applications.
References
More filters
Book
Reasoning About Knowledge
TL;DR: Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory.
Book ChapterDOI
Some philosophical problems from the standpoint of artificial intelligence
TL;DR: In this paper, the authors consider the problem of reasoning about whether a strategy will achieve a goal in a deterministic world and present a method to construct a sentence of first-order logic which will be true in all models of certain axioms if and only if a certain strategy can achieve a certain goal.
Book
Convention: A Philosophical Study
TL;DR: In this article, W. Quine discusses the relationship between coordination and convention, and the meaning of signals and their application in the context of semantics in a possible language and in a population.
Journal ArticleDOI
GOLOG: A logic programming language for dynamic domains
TL;DR: A new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and effects of actions and the initial state of the world is proposed.