APLI2S (APLIcaciones de Ayuda Para Lógica Informática) - Historial de revisiones

Jalonso: /* APLI2 como Sistema Complejo */

2011-11-30T16:17:35Z

‎APLI2 como Sistema Complejo

Garanda: /* Otras tareas */

2011-11-30T05:06:21Z

‎Otras tareas

Garanda en 05:04 30 nov 2011

2011-11-30T05:04:45Z

Jalonso: /* Proyectos relacionados */

2008-12-14T09:16:00Z

‎Proyectos relacionados

Jalonso en 09:49 25 nov 2008

2008-11-25T09:49:57Z

Jalonso en 07:54 23 nov 2008

2008-11-23T07:54:50Z

Jalonso en 07:52 23 nov 2008

2008-11-23T07:52:52Z

Jalonso en 07:51 23 nov 2008

2008-11-23T07:51:57Z

Jalonso en 07:31 23 nov 2008

2008-11-23T07:31:18Z

Garanda: /* Bibliografía */

2008-11-21T21:43:57Z

‎Bibliografía

@@ Línea 55: / Línea 55: @@
-=== APLI2 como Sistema Complejo ===
+=== APLI2 como sistema complejo ===
-Para ello, vamos a realizar una serie de tareas... que vamos a escribir en la página de [[APLI2_CS]]
+Para ello, vamos a realizar una serie de tarea que describiremos en la página de [[APLI2_CS]]
 == Tareas realizadas ==

@@ Línea 53: / Línea 53: @@
 En esta sección se recogen tareas no directamente relacionadas con la actual implementación de APL2, pero que constituyen herramientas para la enseñanza de la lógica.
 # Castellanización de Isar, tanto al nivel del demostrador como su integración en el editor.
 == Tareas realizadas ==

← Revisión anterior		Revisión del 05:04 30 nov 2011
Línea 1:		Línea 1:
−	El objetivo del proyecto consiste en crear herramientas de ayuda para la enseñanza de la Lógica en Informática. Ya se ha desarrollado [http://www.glc.us.es~~/~jalonso~~/apli2 APLI2] (APLIcación de Ayuda Para Lógica Informática) que es una herramienta para ayudar en el aprendizaje de la representación del conocimiento en lógica de primer orden. APLI2 se usa en la enseñanza de las asignaturas de [http://www.cs.us.es/~jalonso/cursos/li/ Lógica informática] y [http://www.cs.us.es/cursos/ra/ Razonamiento automático].	+	El objetivo del proyecto consiste en crear herramientas de ayuda para la enseñanza de la Lógica en Informática. Ya se ha desarrollado [http://www.glc.us.es/apli2 APLI2] (APLIcación de Ayuda Para Lógica Informática) que es una herramienta para ayudar en el aprendizaje de la representación del conocimiento en lógica de primer orden. APLI2 se usa en la enseñanza de las asignaturas de [http://www.cs.us.es/~jalonso/cursos/li/ Lógica informática] y [http://www.cs.us.es/cursos/ra/ Razonamiento automático].

	Un artículo en donde explicamos el desarrollo actual del APLI2 es [http://www.springerlink.com/content/f64u8341157233k2/ KRRT: Knowledge Representation and Reasoning Tutor System]. KRRT es el nombre anterior de APLI2 para poner las siglas en inglés.		Un artículo en donde explicamos el desarrollo actual del APLI2 es [http://www.springerlink.com/content/f64u8341157233k2/ KRRT: Knowledge Representation and Reasoning Tutor System]. KRRT es el nombre anterior de APLI2 para poner las siglas en inglés.

@@ Línea 58: / Línea 58: @@
 == Proyectos relacionados ==
 # [http://www.unirioja.es/cu/joheras reKenzo]
 #: La relación con APLI2 consiste en la comunicación con grandes sistemas de cálculo. En el caso de reKenzo la comunicación es con un sistema escrito en Common Lisp. En el caso de APLI2 la comunicación sería con sistema de demostración interactivo como Isabelle.

@@ Línea 49: / Línea 49: @@
 # Automatizar la configuración e instalación de APLI2.
 # Escribir versión de APLI2 en inglés.
 == Tareas realizadas ==

@@ Línea 1: / Línea 1: @@
-El objetivo del proyecto consiste en crear herramientas de ayuda para la enseñanza de la Lógica en Informática. Ya se ha desarrollado [http://www.glc.us.es/~jalonso/apli2 APLI2] (APLIcación de Ayuda Para Lógica Informática) que es una herramienta para ayudar en el aprendizaje de la representación del conocimiento en lógica de primer orden. APLI2 se usa en la enseñanza de las asignaturas de [http://www.cs.us.es/~jalonso/cursos/li/ Lógica informática] y [http://www.cs.us.es/cursos/ra/ Razonamiento automático]. Las ampliaciones previstas son:
+El objetivo del proyecto consiste en crear herramientas de ayuda para la enseñanza de la Lógica en Informática. Ya se ha desarrollado [http://www.glc.us.es/~jalonso/apli2 APLI2] (APLIcación de Ayuda Para Lógica Informática) que es una herramienta para ayudar en el aprendizaje de la representación del conocimiento en lógica de primer orden. APLI2 se usa en la enseñanza de las asignaturas de [http://www.cs.us.es/~jalonso/cursos/li/ Lógica informática] y [http://www.cs.us.es/cursos/ra/ Razonamiento automático].
 == Tareas pendientes ==
@@ Línea 47: / Línea 49: @@
 # Automatizar la configuración e instalación de APLI2.
 # Escribir versión de APLI2 en inglés.
 == Tareas realizadas ==

@@ Línea 53: / Línea 53: @@
 # Creación de un formulario para que puedan registrarse nuevos usuarios con datos sobre su perfil.
 == Proyectos relacionados ==
 # [http://www.unirioja.es/cu/joheras reKenzo]
 #: La relación con APLI2 consiste en la comunicación con grandes sistemas de cálculo. En el caso de reKenzo la comunicación es con un sistema escrito en Common Lisp. En el caso de APLI2 la comunicación sería con sistema de demostración interactivo como Isabelle.
@@ Línea 60: / Línea 59: @@
 #: TutorMates es una herramienta de apoyo a alumnos y profesores para ser utilizada en la enseñanza de las Matemáticas en Secundaria, Bachillerato y primeros cursos de Universidad, o equivalentes. TutorMates se presenta como una aplicación ambiciosa que integra varios componentes existentes en un solo producto. La interfaz está codificada en Java, y utiliza la potencia del sistema RCP Eclipse (Rich Client Plantform) para facilitar la escalabilidad y la reutilización de componentes; Maxima, el motor de cálculo simbólico, envuelto por una capa intermedia indicada para generar nuevos ejercicios aleatorios y filtrar, si es necesario, los resultados según la configuración presente. La comunicación entre los distintos componentes de TutorMates se realiza mediante un metalenguaje propio, basado en MathML, que contiene información adicional sobre la configuración presente en cada momento. La semejanza con APLI2 es la arquitectura con Maxima en lugar de Otter. La diferencia es que se centra en la enseñanza del álgebra, no de la lógica.
-=== Bibliografía ===
+== Bibliografía ==
 # {{jalonso}}, {{garanda}} y {{fmartin}} (2007) <br> ''[http://www.springerlink.com/content/f64u8341157233k2/ KRRT: Knowledge Representation and Reasoning Tutor System]''.
 # W.H. Billingsley (2008) <br> [http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-719.html The Intelligent Book: technologies for intelligent and adaptive textbooks, focussing on Discrete Mathematics].

@@ Línea 1: / Línea 1: @@
 El objetivo del proyecto consiste en crear herramientas de ayuda para la enseñanza de la Lógica en Informática. Ya se ha desarrollado [http://www.glc.us.es/~jalonso/apli2 APLI2] (APLIcación de Ayuda Para Lógica Informática) que es una herramienta para ayudar en el aprendizaje de la representación del conocimiento en lógica de primer orden. APLI2 se usa en la enseñanza de las asignaturas de [http://www.cs.us.es/~jalonso/cursos/li/ Lógica informática] y [http://www.cs.us.es/cursos/ra/ Razonamiento automático]. Las ampliaciones previstas son:
-# Creación de un sitio web para el desarrollo y prueba de las nuevas características.
-# Automatizar la configuración e instalación de APLI2.
+== Tareas pendientes ==
-# Escribir versión de APLI2 en inglés, tanto del sistema como de los ejercicios.
+=== Tareas sobre contenidos ===
 # Ampliar la base de datos de ejercicios.
-# Desarrollar plantillas de consulta para facilitar a los profesores el seguimiento del aprendizaje de los alumnos.
-# Incorporar ejercicios de determinación de la menor consecuencia.
+=== Mejoras para los alumnos ===
 # Mejorar la presentación de contramodelos en los casos en que la representación es incorrecta.
 # Desarrollo de visualización de pruebas mediante graphviz.
 # Desarrollo de un editor de fórmulas integrado en APLI2; es decir, que se interactúe con el editor a través de la Red, que genere bases de conocimiento para APLI2 y que genera la traza de la edición para su estudio posterior.
 # Desarrollo de editores de demostraciones integrados en APLI2; es decir, que se interactúe con el editor a través de la Red, que admita la base de conocimiento existente en APLI2 y que genera la traza del razonamiento para su estudio posterior.
 ## Mejoras del actual editor de demostraciones libres de APLI2:
@@ Línea 21: / Línea 19: @@
 ## Desarrollo de un editor de demostraciones basadas en deducción natural.
 # Integrar editores de demostración como ProofWeb.
 # Uso de técnicas de minería de datos al conjunto de datos generado por la interacción con APLI2. El objetivo fundamental es la extracción de conocimiento sobre el proceso de aprendizaje de la lógica.
 ## Determinar los saltos conceptuales a lo largo de un curso.
@@ Línea 26: / Línea 27: @@
 ## Analizar los patrones de demostración con el editor de demostraciones libres.
 ## Estudiar la correspondencia entre la calificaciones de la asignatura y el rendimiento en APLI2.
 # Desarrollo de un sistema adaptativo para conseguir que cada alumno desarrolle las máximas capacidades con el menor número de interacciones.
 # Incorporar servicios de MathServe a APLI2:
@@ Línea 32: / Línea 40: @@
 # Integrar APLI2 en MathServe.
 # Aplicar la metodología de APLI2 al desarrollo de wiki semántico de matemática. La base sería Semantic Media Wiki con formularios semánticos.
 # Rediseñar APLI2 como servicios Web.
-A más largo plazo se plantea ampliar las lógicas para incluir lógicas modales, descriptivas, temporales y de orden superior. Se contemplan dos vías, por reducción a primer orden o por integración de otros demostradores.
+=== Tareas de administración ===
 Un artículo en donde explicamos el desarrollo actual del APLI2 es [http://www.springerlink.com/content/f64u8341157233k2/ KRRT: Knowledge Representation and Reasoning Tutor System]. KRRT es el nombre anterior de APLI2 para poner las siglas en inglés.
 === Proyectos relacionados ===
@@ Línea 56: / Línea 71: @@
 [[Category:Projects]]

@@ Línea 47: / Línea 47: @@
 === Bibliografía ===
 # {{jalonso}}, {{garanda}} y {{fmartin}} (2007) <br> ''[http://www.springerlink.com/content/f64u8341157233k2/ KRRT: Knowledge Representation and Reasoning Tutor System]''.
 # C. Kaliszyk, F. van Raamsdonk, F. Wiedijk, H. Wupper, M. Hendriks y R. de Vrijer (2008) <br> ''[[Deduction using the ProofWeb system]]''.
 # A. Merceron y K. Yacef (2005) <br> ''[http://www.it.usyd.edu.au/~kalina/publis/merceron_yacef_aied05.pdf Educational Data Mining: a Case Study]''.

@@ Línea 56: / Línea 56: @@
 [[Category:Projects]]
-=== Cosas hechas
+=== Cosas hechas ===
 # Creación de un formulario para que puedan registrarse nuevos usuarios con datos sobre su perfil.