10 resultados para semântica das lógicas paraconsistentes

em Universitat de Girona, Spain


Relevância:

20.00% 20.00%

Publicador:

Resumo:

El último nivel de concreción del currículum educativo, plasmado después en las denominadas Programaciones Didácticas o Unidades Didácticas, es el que tiene mayor repercusión en el proceso enseñanza / aprendizaje, porque buena parte de los resultados que se obtengan del mismo, llevarán la huella personal de cada docente, de cómo concibe su labor, de cómo es capaz de comunicar, qué técnicas y recursos utiliza en su tarea diaria, qué estrategias diseña, cómo evalúa, etc

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este trabajo presenta un exhaustivo estudio sobre los principales formalismos que permiten representar conocimiento y las herramientas que los utilizan disponibles en dispositivos móviles. El artículo presenta, para cada uno de los formalismos y herramientas, una descripción, sus actuales implementaciones en dispositivos móviles y las limitaciones de dichas implementaciones. Este estudio permite vislumbrar rápidamente las distintas opciones disponibles para implementar aplicaciones geográficas semánticas en dispositivos móviles. El articulo muestra también un caso práctico donde se han utilizado ontologías para aportar semántica a un asistente de viaje que se ejecuta en los dispositivos móviles

Relevância:

20.00% 20.00%

Publicador:

Resumo:

La principal contribución del trabajo es estudiar como representar la información turística de manera que sea fácilmente interpretable por programas de cálculo de rutas. Esto permitirá implementar asistentes que creen rutas turísticas en función de los gustos del usuario y que proporcionen información sobre sus puntos de interés de forma transparente con independencia de su formato o ubicación en la web

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Des d’un punt de vista sincrònic, s’ha realitzat en els últims anys una sèrie d’estudis, dins el marc de la gramàtica generativa, sobre la negació no tant sols en les llengües romàniques sinó també en les germàniques. Les conclusions a les que s’han arribat a partir d’aquestes investigacions es troben resumides en aquesta comunicació

Relevância:

20.00% 20.00%

Publicador:

Resumo:

L'objectiu d'aquest article és doble. D'una banda, s'exposen els problemes que planteja l’anàlisi que la morfologia generativa ha proposat per a la sufixació apreciativa, especialment per a noms i adjectius. D'altra banda, es defensa la unificació de dos tipus d'afixos apreciatius que les gramàtiques tradicionals han considerat diferents: els sufixos que s'adjunten a arrels nominals (diminutius, augmentatius i despectius) i els que s'adjunten a arrels adjectivals (anomenats intensius ). Aquest treball es centra, fonamentalment, en les dades del català i es demostra que hi ha raons per suposar que tots els sufixos apreciatius formen una única classe d'afixos. Si bé es discuteixen diversos aspectes problemàtics d'aquests derivats, només es presenta una proposta de solució al de la interpretació semàntica. Es defensa que les diferències en la interpretació semàntica dels derivats es poden deduir de l'estructura lexicoconceptual (ELC) de la base i de l'element d'aquesta ELC que sigui modificat per l'afix

Relevância:

20.00% 20.00%

Publicador:

Resumo:

La principal contribución de esta Tesis es la propuesta de un modelo de agente BDI graduado (g-BDI) que permita especificar una arquitetura de agente capaz de representar y razonar con actitudes mentales graduadas. Consideramos que una arquitectura BDI más exible permitirá desarrollar agentes que alcancen mejor performance en entornos inciertos y dinámicos, al servicio de otros agentes (humanos o no) que puedan tener un conjunto de motivaciones graduadas. En el modelo g-BDI, las actitudes graduadas del agente tienen una representación explícita y adecuada. Los grados en las creencias representan la medida en que el agente cree que una fórmula es verdadera, en los deseos positivos o negativos permiten al agente establecer respectivamente, diferentes niveles de preferencias o de rechazo. Las graduaciones en las intenciones también dan una medida de preferencia pero en este caso, modelan el costo/beneficio que le trae al agente alcanzar una meta. Luego, a partir de la representación e interacción de estas actitudes graduadas, pueden ser modelados agentes que muestren diferentes tipos de comportamiento. La formalización del modelo g-BDI está basada en los sistemas multi-contextos. Diferentes lógicas modales multivaluadas se han propuesto para representar y razonar sobre las creencias, deseos e intenciones, presentando en cada caso una axiomática completa y consistente. Para tratar con la semántica operacional del modelo de agente, primero se definió un calculus para la ejecución de sistemas multi-contextos, denominado Multi-context calculus. Luego, mediante este calculus se le ha dado al modelo g-BDI semántica computacional. Por otra parte, se ha presentado una metodología para la ingeniería de agentes g-BDI en un escenario multiagente. El objeto de esta propuesta es guiar el diseño de sistemas multiagentes, a partir de un problema del mundo real. Por medio del desarrollo de un sistema recomendador en turismo como caso de estudio, donde el agente recomendador tiene una arquitectura g-BDI, se ha mostrado que este modelo es valioso para diseñar e implementar agentes concretos. Finalmente, usando este caso de estudio se ha realizado una experimentación sobre la flexibilidad y performance del modelo de agente g-BDI, demostrando que es útil para desarrollar agentes que manifiesten conductas diversas. También se ha mostrado que los resultados obtenidos con estos agentes recomendadores modelizados con actitudes graduadas, son mejores que aquellos alcanzados por los agentes con actitudes no-graduadas.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

La investigación didáctica ha revelado las destrezas cognitivas y metacognitivas como excelentes predictores del éxito académico frente a otros factores cognitivos e instruccionales (Campanario y Otero, 2000; Baker, 1994). Cuando un sujeto resuelve preguntas o lee con otro objetivo, debe ser capaz de comprender, utilizar información y reflexionar a partir de la información obtenida. Es en este último aspecto, cuando entra en juego el módulo de control, para revisar la representación y evaluar la ausencia de incoherencias temáticas y de contradicciones con su conocimiento previo. En síntesis, la comprensión del tema de Evolución Biológica y por ende cualquier texto científico, requiere tanto de habilidades de Comprensión Lectora para poder construir una buena representación semántica del texto (la Base del Texto), como de estrategias que Controlen el proceso de Comprensión por el que se vincula esta representación textual con el conocimiento previo para formar la representación Modelo de la Situación. Esta construcción requiere la vinculación vía inferencia de la información de la base del texto con la información de la MLP. Si se tiene un nivel alto de Control de la Comprensión, el número y fuerza de las conexiones realizadas vía inferencia, en esa construcción se optimiza. Asimismo se detectan inconsistencias (incoherencias) y se intentan superar. Dada la importancia del control de la comprensión, resulta interesante examinar la situación actual de dichas estrategias en temáticas particulares, tales como la evolución biológica y comprobar hasta que punto se replican los resultados obtenidos en investigaciones anteriores que indican que los niveles bajos en control de la comprensión se asocian en mayor grado con persistencia en ideas lamarckianas tras un tratamiento instruccional

Relevância:

10.00% 10.00%

Publicador:

Resumo:

En este trabajo parto de la base de considerar que la didáctica de las ciencias experimentales ha alcanzado madurez suficiente (cf. Adúriz-Bravo, 1999/2000; Adúriz-Bravo e Izquierdo-Aymerich, 2001, 2002) como para que la comunidad de investigadores e investigadoras podamos discutir cuál concepción metateórica de modelo científico es más fructífera para la consecución de los objetivos perseguidos por nuestra disciplina (cf. Gutiérrez 2005; Adúriz-Bravo e Izquierdo-Aymerich, 2009). Propongo que una aproximación modeloteórica –una que tome el constructo de ‘modelo teórico’ de la filosofía de la ciencia semántica de las últimas tres décadas (cf. Giere, 1992; Díez y Moulines, 1999; Suppe, 2000)– satisface el requerimiento antedicho. También asumo que hay un creciente movimiento –parcialmente no explicitado– hacia esa concepción de modelo en muchos/as didactas de las ciencias; para mostrarlo, recorro algunas producciones recientes que ‘sintonizan’ con tal concepción. A mi juicio, es posible actualmente inferir la ‘emergencia’ de una didáctica de las ciencias basada en modelos