{"id":3441,"date":"2013-07-13T05:36:38","date_gmt":"2013-07-13T05:36:38","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=3441"},"modified":"2013-07-13T05:36:38","modified_gmt":"2013-07-13T05:36:38","slug":"resena-an-intelligent-tutoring-system-for-teaching-fol-equivalence","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/resena-an-intelligent-tutoring-system-for-teaching-fol-equivalence\/","title":{"rendered":"Rese\u00f1a: &#8220;An intelligent tutoring system for teaching FOL equivalence&#8221;"},"content":{"rendered":"<p>Se ha publicado un art\u00edculo sobre ense\u00f1anza de la l\u00f3gica titulado <a href=\"https:\/\/www.glc.us.es\/~jalonso\/consigna\/20130712a.pdf\">An intelligent tutoring system for teaching FOL equivalence<\/a>.<\/p>\n<p>Sus autores son Foteini Grivokostopoulou, Isidoros Perikos, <a href=\"http:\/\/aigroup.ceid.upatras.gr\/index.php\/en\/ihatz\">Ioannis Hatzilygeroudis<\/a> (de la Universidad de patras en Grecia).<\/p>\n<p>El trabajo se ha presentado hoy en el <a href=\"https:\/\/sites.google.com\/site\/aiedcs2013\/home\">AIEDCS 2013<\/a> (<i>The First Workshop on AI-supported Education for Computer Science<\/i>).<\/p>\n<p>Su resumen es<\/p>\n<blockquote><p>\nIn this paper, we present an intelligent tutoring system developed to assist students in learning logic. The system helps students to learn how to construct equivalent formulas in first order logic (FOL), a basic knowledge representation language. Manipulating logic formulas is a cognitively complex and error prone task for the students to deeply understand. The system assists stu- dents to learn to manipulate and create logically equivalent formulas in a step-based process. During the process the system provides guidance and feedback of various types in an intelligent way based on user\u2019s behavior. Evaluation of the system has shown quite satisfactory results as far as its usability and learning capabilities are concerned.\n<\/p><\/blockquote>\n","protected":false},"excerpt":{"rendered":"<p>Se ha publicado un art\u00edculo sobre ense\u00f1anza de la l\u00f3gica titulado An intelligent tutoring system for teaching FOL equivalence. Sus autores son Foteini Grivokostopoulou, Isidoros Perikos, Ioannis Hatzilygeroudis (de la Universidad de patras en Grecia). El trabajo se ha presentado hoy en el AIEDCS 2013 (The First Workshop on AI-supported Education for Computer Science). Su&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[1],"tags":[286,60,189],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3441"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=3441"}],"version-history":[{"count":1,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3441\/revisions"}],"predecessor-version":[{"id":3442,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3441\/revisions\/3442"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=3441"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=3441"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=3441"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}