3 resultados para Prolog
em Universidad de Alicante
Resumo:
This paper presents an algorithm for identifying noun-phrase antecedents of pronouns and adjectival anaphors in Spanish dialogues. We believe that anaphora resolution requires numerous sources of information in order to find the correct antecedent of the anaphor. These sources can be of different kinds, e.g., linguistic information, discourse/dialogue structure information, or topic information. For this reason, our algorithm uses various different kinds of information (hybrid information). The algorithm is based on linguistic constraints and preferences and uses an anaphoric accessibility space within which the algorithm finds the noun phrase. We present some experiments related to this algorithm and this space using a corpus of 204 dialogues. The algorithm is implemented in Prolog. According to this study, 95.9% of antecedents were located in the proposed space, a precision of 81.3% was obtained for pronominal anaphora resolution, and 81.5% for adjectival anaphora.
Resumo:
La relación entre los videojuegos y el mundo de la educación es y ha sido tormentosa, con amores y odios, con sus altibajos. Pero lo que es indudable es que los videojuegos son una realidad en el mundo actual y una potente industria. Y además, los juegos siempre han jugado un papel fundamental en la educación. Aunque su incorporación a la actividad académica no ha sido todo lo ágil que hubiera sido conveniente, los videojuegos ya forman parte de la universidad. En este artículo vamos a presentar algunas de las iniciativas que hemos llevado a cabo desde que en el año 2002 incorporamos los videojuegos en nuestras actividades académicas, tanto docentes como investigadoras. MadUniversity es un videojuego que dio lugar a varios proyectos final de carrera de la Ingeniería en Informática. Screaming Racers es un videojuego diseñado y desarrollado para ser utilizado como plataforma de experimentación de técnicas en inteligencia artificial basadas en la neuroevolución. The Conference Interpreter (CoIn) es un videojuego para la práctica del inglés desarrollado para apoyar una tesis doctoral. GameLearning es una colección de minijuegos conceptuales para la adquisición de habilidades directivas. ABPgame es la aplicación de la metodología basada en proyectos a varias asignaturas de las titulaciones de Ingeniería en Informática y del Grado en Ingeniería Multimedia que realizan un proyecto común: un videojuego. PLMan es un sistema gamificado que ayuda a desarrollar habilidades de pensamiento lógico, a través del lenguaje Prolog. Nuestro objetivo es mostrar la utilidad de los videojuegos y sus múltiples aplicaciones en el entorno universitario: como objetos de aprendizaje por medio de videojuegos educativos (serious games); como proyectos informáticos complejos para ser desarrollados por nuestros estudiantes; como entorno de experimentación para comprobar la validez de las investigaciones en inteligencia artificial; y finalmente como filosofía a aplicar al campo de la educación, lo que se ha etiquetado como gamificación.
Resumo:
La Lógica de Predicados pone a nuestra disposición un lenguaje que nos permitirá formalizar expresiones del conocimiento humano haciendo explícitos los objetos y las relaciones, así como sus restricciones. Además nos proporciona un método, la deducción matemática, para obtener nuevo conocimiento a partir del antiguo. Es por ello que la lógica se convierte en una asignatura presente en los primeros cursos de distintas titulaciones, especialmente de informática, ya que proporciona una base formal de trabajo. En la actualidad existe un variado número de herramientas que pueden servir de ayuda en el aprendizaje de la lógica. El razonamiento es el proceso cognitivo por medio del cual utilizamos y aplicamos nuestro conocimiento, permitiéndonos pasar de una información a otra relacionada con esta. Sin la posibilidad de hacer inferencias, el sistema de procesamiento de información se vería obligado a tener que definir todas las situaciones puntuales y específicas con las que se tenga que enfrentar. A las sentencias de las cuales partimos en el proceso de razonamiento se les llama premisas y a la sentencia a la cual llegamos se le denomina conclusión. Las premisas junto a la conclusión forman el argumento. El concepto lógico de deducción correcta dice que de premisas verdaderas debemos obtener conclusión verdadera, es decir, no podemos aceptar que las premisas sean verdaderas y la conclusión falsa. La lógica nos proporciona métodos de cálculo que nos permiten inferir, por simple manipulación sintáctica, nuevas fórmulas a partir de las conocidas. Uno de estos métodos es la Deducción Natural , cuyo mecanismo está muy cercano al razonamiento intuitivo del ser humano. Así, de forma sencilla, a partir de las fórmulas dadas como premisas y con el único apoyo de unas reglas básicas, obtenemos determinadas conclusiones. Podemos utilizar una herramienta didáctica diseñada específicamente para enseñar a los estudiantes a realizar deducciones naturales, el Asistente para Deducción Natural (ADN). Además podemos intentar abordar el tema de la automatización de la deducción. Para ello debemos realizar pequeñas modificaciones a esta técnica (de notación, de reglas a aplicar y de estrategia a utilizar) que nos lo permita. Todos estos desarrollos teóricos dieron lugar a la aparición de la programación lógica, como paradigma de resolución de problemas basado en la lógica. Prolog es el lenguaje de programación lógica más utilizado.