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.

References

  1. A°gotnes, T. and van Ditmarsch, H. (2009). What will they say? - public announcement games. In Proc. of Logic, Game Theory and Social Choice 6. Tsukuba, Japan.
  2. Baltag, A. (2001). Logics for insecure communication. In Proc. of TARK'01. Morgan Kaufmann.
  3. Baltag, A. and Smets, S. (2008). A qualitative theory of dynamic interactive belief revision. Texts in logic and games, 3:9-58.
  4. Ciardelli, I. and Roelofsen, F. (2009). Generalized inquisitive logic. In Proc. of TARK-11, pages 71-80. ACM.
  5. Enqvist, S. (2009). Interrogative Belief Revision in Modal Logic. Journal of Phil. Logic, 38(5):527-548.
  6. Farias del Cerro, L., Fauthoux, D., Gasquet, O., Herzig, A., Longin, D., and Massacci, F. (2001). Lotrec: the generic tableau prover for modal and description logics. In International Joint Conference on Automated Reasoning, LNCS, page 6. Springer Verlag.
  7. Genot, E. (2009). The game of inquiry: the interrogative approach to inquiry and belief revision theory. Synthese, 171(2):271-289.
  8. Gerdes, A., Heeren, B., Jeuring, J., and Stuurman, S. (2008). Feedback services for exercise assistants. In Proc. of the 7th European Conference on e-Learning. Agia Napa, Cyprus.
  9. Groenendijk, J. (2008). Inquisitive semantics: Two possibilities for disjunction. In 7th Tbilisi Symposium on Language, Logic, and Computation. Springer.
  10. Hintikka, J., Halonen, I., and Mutanen, A. (2002). Interrogative logic as a general theory of reasoning. Handbook of the Logic of Argument and Inference: The Turn Towards the Practical, page 295.
  11. Icard, T. (2009). manuscript.
  12. Knuth, K. (2005). Toward question-asking machines: the logic of questions and the inquiry calculus. In 10th International Workshop on Artificial Intelligence and Statistics, Barbados. Citeseer.
  13. Pelis?, M. (2009). Epistemic Logic and Questions.
  14. Stein, W. and Joyner, D. (2005). Sage: System for algebra and geometry experimentation. In ACM SIGSAM Bulletin, vol. 39. ACM.
  15. Unger, C. and Giorgolo, G. (2008). Interrogation in Dynamic Epistemic Logic. 13th ESSLLI Student Session.
  16. van Benthem, J., Gerbrandy, J., Hoshi, T., and Pacuit, E. (2009). Merging frameworks of interaction. In Journal of Philosophical Logic. Springer.
  17. van Benthem, J. and Minica?, S¸ . (2009). Toward a dynamic epistemic logic of questions. In Proc. of LORI'09, Second International Workshop on Logic, Rationality and Interaction, LNCS/FoLLI-LNAI 5834. Springer.
  18. van Eijck, J. (2004). Dynamic epistemic modelling. In CWI Report SEN-E0424. Available online from: http://www.cwi.nl/ jve/papers/04/demo/DEMO.pdf.
  19. Wisniewski, A. (1996). The logic of questions as a theory of erotetic arguments. Synthese, 109(1):1-25.
Download


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