TOOL DEVELOPMENT TO SUPPORT LEARNING, IMMEDIATE FEEDBACK, AND CONTINUOUS ASSESSMENT IN LOGIC

Antonia Huertas, Enric Mor

2010

Abstract

Learning logic in engineering has similar difficulties like in mathematics: a very low academic performance and a high student dropout. In this kind of subjects interactive training activities with immediate feedback are fundamental. In a traditional face-to-face logic course the face-to-face interaction with the instructor usually provides it. In an e-learning or web-based paradigm the role of the instructor should be helped by an intelligent tutoring system. In this paper we present the design and development process of learning tools for a logic course. This tool follows a student-centred design approach in order to provide the accurate tool for a successful learning experience. A general discussion of learning tools for logics is also presented; showing that this kind of topics has concrete and specific needs in online learning.

References

  1. Allen, C., Hand, M., 1992. Logic Primer, the MIT Press.
  2. Barwise, J. and Etchemendy, J., 1994. Hyperproof. CSLI.
  3. Barwise, J. and Etchemendy, J., 2007. Tarski's World CSLI.
  4. Broda, K., Zappacosta, S., 2000. New Pandora. In First International Congress on Tools for Teaching Logic.
  5. Chou, Ch., Chan, T, Lin, Ch., 2003. Redefining the learning companion: the past, present, and future of educational agents. Computers & Education 40, pp. 255-269.
  6. Endriss, U., 2000. The Interactive Learning Environment WinKE for Teaching Deductive Reasoning. In First International Congress on Tools for Teaching Logic.
  7. Hartley, J.R., 1973. The design and evaluation of an adaptive teaching system. International Journal of Man-Machine Studies, 5(3), 421-436
  8. Hatzilygeroudis, I., Prentzas, J., 2004. Knowledge representation requirements for intelligent tutoring systems. In 7th Internationa Intelligent Tutoring Systems Proceedings. Springer
  9. Humet, J., 2001. LSD, una herramienta didáctica para el aprendizaje de la lógica. In JENUI 2001
  10. Huertas, A., 2007. Teaching and Learning Logic in a Virtual Learning Environment. In Logic Journal of IGPL 15(4):321-331
  11. Hussain, S., 2005. Developing e-learning materials. Applying user-centred design. National institute of adult continuing education (England and Gales).
  12. Kenny, C., Pahl, C., 2009. Intelligent and adaptive tutoring for active learning and training environments. Interactive Learning Environments. 17(2), 181-195.
  13. Kinshuk, Patel, A., Scott, B., 2001. Intelligent tutoring: From SAKAI to Byzantium. Kybernetes, 30(5/6), 807- 818.
  14. Layman, C. S., 1999. The Power of Logic, Seattle Pacific University.
  15. Ritter, S., Blessing, S., Wheeler, L., 2003. Authoring tools for component-based learning environments. In Murray, Ainsworth and Blessing (eds.), Authoring Tools for Advanced Technology Learning Environments, Kluwer Academic Publishers, 467-489.
  16. Melis, E., Ullrich, C., 2003. Local and global feedback. In Proceedings of AIED2003, 11th International Conference in Artificial Intelligence in Education, Sydney, Australia 476-478. Amsterdam: IOS Press.
  17. Moreno, A., Budesca, N., 2000. Mathematical Logic Tutor - Propositional Calculus. In First International Congress on Tools for Teaching Logic, Salamanca.
  18. Nardi, B., (ed.)., 1997. Educational context and conciousness: Activity theory and human-computer interaction. Cambrige, MA: MIT Press.
  19. Nielsen, J., 1993. Usability Engineering. Academic Press.
  20. Sharp, H., Rogers, Y., Preece, J., 2007. Interaction design: beyond human-computer interaction. John Wiley & Sons Ltd.
Download


Paper Citation


in Harvard Style

Huertas A. and Mor E. (2010). TOOL DEVELOPMENT TO SUPPORT LEARNING, IMMEDIATE FEEDBACK, AND CONTINUOUS ASSESSMENT IN LOGIC . In Proceedings of the 6th International Conference on Web Information Systems and Technology - Volume 2: WEBIST, ISBN 978-989-674-025-2, pages 222-225. DOI: 10.5220/0002808502220225


in Bibtex Style

@conference{webist10,
author={Antonia Huertas and Enric Mor},
title={TOOL DEVELOPMENT TO SUPPORT LEARNING, IMMEDIATE FEEDBACK, AND CONTINUOUS ASSESSMENT IN LOGIC},
booktitle={Proceedings of the 6th International Conference on Web Information Systems and Technology - Volume 2: WEBIST,},
year={2010},
pages={222-225},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002808502220225},
isbn={978-989-674-025-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Web Information Systems and Technology - Volume 2: WEBIST,
TI - TOOL DEVELOPMENT TO SUPPORT LEARNING, IMMEDIATE FEEDBACK, AND CONTINUOUS ASSESSMENT IN LOGIC
SN - 978-989-674-025-2
AU - Huertas A.
AU - Mor E.
PY - 2010
SP - 222
EP - 225
DO - 10.5220/0002808502220225