{"id":111783,"date":"2018-03-11T10:38:27","date_gmt":"2018-03-11T10:38:27","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/estudio-implementacion-y-evaluacion-de-un-tutor-inteligente-para-el-aprendizaje-de-logica-computacional-basado-en-modelos-y-apoyado-en-conocimiento\/"},"modified":"2018-03-11T10:38:27","modified_gmt":"2018-03-11T10:38:27","slug":"estudio-implementacion-y-evaluacion-de-un-tutor-inteligente-para-el-aprendizaje-de-logica-computacional-basado-en-modelos-y-apoyado-en-conocimiento","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/ensenanza-con-ayuda-de-ordenador\/estudio-implementacion-y-evaluacion-de-un-tutor-inteligente-para-el-aprendizaje-de-logica-computacional-basado-en-modelos-y-apoyado-en-conocimiento\/","title":{"rendered":"Estudio, implementaci\u00f3n y evaluaci\u00f3n de un tutor inteligente para el aprendizaje de l\u00f3gica computacional basado en modelos y apoyado en conocimiento"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Jos\u00e9 Alberto Maestro Prieto <\/strong><\/h2>\n<p>La tesis desarrolla un sistema tutor inteligente para la ense\u00f1anza de l\u00f3gica computacional. El tema supone dos retos principales: primero, el cubrir el proceso para la demostraci\u00f3n autom\u00e1tica de teoremas utilizando l\u00f3gica de primer orden, desde la obtenci\u00f3n de la forma clausulada de las expresiones que forman el problema a demostrar hasta la obtenci\u00f3n de la demostraci\u00f3n, utilizando la regla de resoluci\u00f3n binaria y el principio de refutaci\u00f3n. El segundo reto tiene que ver con la construcci\u00f3n de un tutor inteligente basado en un demostrador autom\u00e1tico de teoremas que ser\u00e1 capaz de detectar una gran cantidad de errores que cometa el estudiante.  la implementaci\u00f3n se a abordado utilizando uno de los m\u00e1s fruct\u00edferos puntos de vista para el desarrollo de entornos de aprendizaje: el de los sistemas tutores inteligentes. Este tipo de programas se suele desarrollar desde un punto de vista cognitivista, basando el aprendizaje en los postulados de la tutor\u00eda cara a cara, y permitiendo un estilo de aprendizaje adaptado al ritmo del estudiante. El tutor inteligente desarrollado, denominado sial, tambi\u00e9n incluye algunas caracter\u00edsticas conductistas y construtivistas. Esta aproximaci\u00f3n a la soluci\u00f3n permite a sial el variar el estilo de tutor\u00eda, de forma que sigue m\u00e1s de cerca a los estudiantes m\u00e1s noveles, estilo que va relajando progresivamente seg\u00fan los estudiantes adquieren habilidades, pr\u00e1ctica y confianza. En el \u00faltimo nivel de desarrollo, se espera que el estudiante sea capaz de escribir sus propios problemas y de haber adquirido habilidades metacognitivas tales como la de detectar y corregir sus propios errores, usando el tutor como un simple asistente o validador de demostraciones en lugar de como un tutor inteligente.  las principales caracter\u00edsticas de sial incluyen la capacidad para interactuar con el estudiante de varias formas seg\u00fan su nivel de desempe\u00f1o, su capacidad para aceptar cualquier expresi\u00f3n equivalente a la respuesta esperada al problema planteado y el uso de modelos formales junto con conocimiento experto para identificar los errores. Estas caracter\u00edsticas proporcionan una gran libertad al estudiante y cierta sensaci\u00f3n de control sobre proceso que se est\u00e1 desarrollando.  el tutor inteligente ha sido validado en sesiones pr\u00e1ticas de un curso introductorio de inteligencia artificial, que incluye un tema de razonamiento autom\u00e1tico. Para comparar el impacto del tutor inteligente, los estudiantes se dividieron aleatoriamente en dos grupos. Uno de los grupos utiliz\u00f3 el sial y el otro utiliz\u00f3 un demostrador de teoremas que proporciona una salida gr\u00e1fica. El experimento incluye los datos recogidos mediante una encuesta y tambi\u00e9n las notas del examen final de los estudiantes. El experimento se ha replicado a\u00f1adido una prueba adicional durante las sesiones de pr\u00e1cticas.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Estudio, implementaci\u00f3n y evaluaci\u00f3n de un tutor inteligente para el aprendizaje de l\u00f3gica computacional basado en modelos y apoyado en conocimiento<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Estudio, implementaci\u00f3n y evaluaci\u00f3n de un tutor inteligente para el aprendizaje de l\u00f3gica computacional basado en modelos y apoyado en conocimiento <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Jos\u00e9 Alberto Maestro Prieto <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Valladolid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 17\/11\/2011<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>M. Ar\u00e1nzazu Sim\u00f3n Hurtado<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Luis Alonso romero <\/li>\n<li>Carlos enrique Cuesta quintero (vocal)<\/li>\n<li>Juan  Jos\u00e9 Rodr\u00edguez diez (vocal)<\/li>\n<li>Mar\u00eda Manzano arjona (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Jos\u00e9 Alberto Maestro Prieto La tesis desarrolla un sistema tutor inteligente para la ense\u00f1anza de l\u00f3gica computacional. [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[1892,13880,13456,12451],"tags":[60247,222621,155784,12793,57471,33962],"class_list":["post-111783","post","type-post","status-publish","format-standard","hentry","category-ensenanza-con-ayuda-de-ordenador","category-informatica","category-logica-formal","category-valladolid","tag-carlos-enrique-cuesta-quintero","tag-jose-alberto-maestro-prieto","tag-juan-jose-rodriguez-diez","tag-luis-alonso-romero","tag-m-aranzazu-simon-hurtado","tag-maria-manzano-arjona"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/111783","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=111783"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/111783\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=111783"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=111783"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=111783"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}