Implementing Dynamic-Epistemic Questioning Engineering and Teaching Information Seeking via Dynamic Inquiry

Asking questions in multi-agent environments is an interesting and complex phenomenon with potential applications for both education and information technologies. We approach the problem of building an adequate model for questioning phenomena using dynamic-epistemic formalism and we present an implementation of multi-agent dynamic-epistemic questioning using Haskell. We start by introducing a dynamic-epistemic logic for questions which extends previous results from (van Benthem and Minică, 2009). Next, an implementation for model-checking in epistemic-issue models is proposed based on a similar implementation for epistemic logic from (van Eijck, 2004). We conclude the paper by probing potential applications of this results in education and beyond by presenting an ongoing project of building an accessible and intuitive web-based graphical interface to be used in an electronic teaching environment for visualizing, designing and managing strategies for asking questions during abstract scientific inquiry and in cooperative or competitive scenarios of multi-agent goal-driven investigations and interrogative interactions.