IMPLEMENTING DYNAMIC-EPISTEMIC QUESTIONING - Engineering and Teaching Information Seeking via Dynamic Inquiry

Ştefan Minică

2010

Abstract

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.

Paper Citation

in Harvard Style

Minică Ş. (2010). IMPLEMENTING DYNAMIC-EPISTEMIC QUESTIONING - Engineering and Teaching Information Seeking via Dynamic Inquiry . In Proceedings of the 2nd International Conference on Computer Supported Education - Volume 2: CSEDU, ISBN 978-989-674-024-5, pages 367-372. DOI: 10.5220/0002857703670372

in Bibtex Style

@conference{csedu10,
author={Ştefan Minică},
title={IMPLEMENTING DYNAMIC-EPISTEMIC QUESTIONING - Engineering and Teaching Information Seeking via Dynamic Inquiry},
booktitle={Proceedings of the 2nd International Conference on Computer Supported Education - Volume 2: CSEDU,},
year={2010},
pages={367-372},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002857703670372},
isbn={978-989-674-024-5},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Computer Supported Education - Volume 2: CSEDU,
TI - IMPLEMENTING DYNAMIC-EPISTEMIC QUESTIONING - Engineering and Teaching Information Seeking via Dynamic Inquiry
SN - 978-989-674-024-5
AU - Minică Ş.
PY - 2010
SP - 367
EP - 372
DO - 10.5220/0002857703670372