Logic-ITA

Product or Programme · All products and programmes
Evidence · 1 claim (1 for) · 1 study (1 causal), q3 · 0 of 1 report an effect size · 1 claim rests on one study

Description

Logic-ITA is a web-based intelligent teaching assistant developed for supporting undergraduate students' formal-logic proof construction through practice, feedback, and teacher monitoring.

Components

• The Intelligent Teaching Assistant as an intermediary between teacher and students, with dual visibility of progress and mistakes: The article frames the Logic-ITA as an intermediary between teacher and students that serves both parties at once: "on one hand, it provides students with an environment to practice formal proofs with feedback and on the other hand it allows teachers to monitor the class's progress and mistakes." This dual-visibility arrangement lets one system simultaneously support student practice and teacher oversight of a large class. (Kalina Yacef (2005))

Claims

• Introducing the Logic-ITA into a second-year tertiary logic class is associated with a significant improvement in students' assessment results, with an effect size of around 1 sigma [+M]

Related Products and Programmes

-

Key Sources

• Kalina Yacef. (2005). The Logic-ITA in the classroom: a medium scale experiment. International Journal of Artificial Intelligence in Education. https://telearn.hal.science/hal-00257107

Page metadata

Field	Value
type	product
id	logic-ita
title	Logic-ITA
description	Logic-ITA is a web-based intelligent teaching assistant developed for supporting undergraduate students' formal-logic proof construction through practice, feedback, and teacher monitoring.
status	review
product_kind	software
generated	by process:settle-candidates on 2026-10-27
trust	unverified — no one has confirmed this page's content

Frontmatter is the page's machine-readable record — see the Schema & Guide.