• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Conference on Computer Supported Education >IMPLEMENTING DYNAMIC-EPISTEMIC QUESTIONING - Engineering and Teaching Information Seeking via Dynamic Inquiry
【24h】

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 Minica, 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.
机译：在多种子体环境中提出问题是一种有趣和复杂的现象，具有教育和信息技术的潜在应用。我们接近使用动态认知形式主义构建质疑现象的适当模型的问题，我们展示了使用Haskell的多助药动态认证的实施。我们首先引入动态认识的逻辑，了解以前的问题（Van Benthem和Minica，2009）。接下来，基于来自（van Eijck，2004）的认知逻辑类似实现，提出了在初学者问题模型中进行模型检查的实现。我们通过在教育和超越方面探讨这一结果的潜在应用，通过提出建立可访问和直观的基于网络的图形界面的潜在应用，以便在电子教学环境中用于可视化，设计和管理在提出问题期间提出问题的持续项目摘要科学探究与多代理目标驱动的调查和疑问互动的合作或竞争情景。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号