Sciweavers

Share
AMAST
2010
Springer

Learning in a Changing World, an Algebraic Modal Logical Approach

9 years 1 months ago
Learning in a Changing World, an Algebraic Modal Logical Approach
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a changing world. Unlike most treatments of dynamic epistemic logic, we have transitions that "change the state" of the underlying system and not just the state of knowledge of the agents. The key novel feature that emerges is the need to have a way of "inverting transitions" and distinguishing between transitions that "really happen" and transitions that are possible. Our approach is algebraic, rather than being based on a Kripke-style semantics. The semantics are given in terms of quantales. We study a class of quantales with the appropriate inverse operations and prove properties of the setting. We illustrate the ideas with toy robot-navigation problems. These illustrate how an agent learns information by taking actions.
Prakash Panangaden, Mehrnoosh Sadrzadeh
Added 12 May 2011
Updated 12 May 2011
Type Journal
Year 2010
Where AMAST
Authors Prakash Panangaden, Mehrnoosh Sadrzadeh
Comments (0)
books