A PDL-like logic of knowledge acquisition

Authors:
Bernhard Heinemann
Affiliations:
Fakultät für Mathematik und Informatik, FernUniversität in Hagen, Hagen, Germany
Venue:
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Year:
2007

Citing 5
Cited 2

Topological reasoning and the logic of knowledge

TARK '92 Proceedings of the fourth conference on Theoretical aspects of reasoning about knowledge
Reasoning about knowledge

Reasoning about knowledge
Temporal aspects of the modal logic of subset spaces

Theoretical Computer Science
Modal logic

Modal logic
Dynamic Epistemic Logic

Dynamic Epistemic Logic

A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning

IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence
Magnitude qualitative reasoning via PDL

CAEPIA'09 Proceedings of the Current topics in artificial intelligence, and 13th conference on Spanish association for artificial intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

Starting off with Moss and Parikh's view of knowledge we develop a kind of dynamic logic of knowledge acquisition. Corresponding procedures are basically modelled by functions changing the knowledge states of the agent under discussion, and the machinery of deterministic PDL is then utilized for knowledge-based programming. The main issues of the paper are the fundamental meta-theorems on the arising logic, KAL. We prove, in particular, the soundness and completeness with respect to the intended class of structures as well as the decidability of KAL.