El documento describe varias aplicaciones desarrolladas en Prolog, incluyendo sistemas para la enseñanza de historia, la escritura de aventuras, la simulación, el procesamiento de conocimiento, la recomendación de recursos educativos, la asignación de vuelos, el diseño de anteojos, la verificación de circuitos digitales y la configuración de redes. También menciona sistemas para asesorar sobre la salud financiera de compañías.
2.5 Razonamiento Monótono
Concepto
Que es la lógica?
Lógica Proposicional
Lógica Proposicional ejemplo
Deducción Lógica
Deducción Lógica ejemplo
Lógica de Primer Orden
Deducción Lógica ejemplo
2. Casos de uso y diagramas de casos de usoSaul Mamani
Tutorial detallado de los casos de uso y los diagramas de casos de suso en UML 2.
Si tienes problemas para ver la presentación, lo puedes descargar de aquí...
https://drive.google.com/folderview?id=1-1ypq1SSRLCjL2USp0iAIaBMcSNoEzub
2.5 Razonamiento Monótono
Concepto
Que es la lógica?
Lógica Proposicional
Lógica Proposicional ejemplo
Deducción Lógica
Deducción Lógica ejemplo
Lógica de Primer Orden
Deducción Lógica ejemplo
2. Casos de uso y diagramas de casos de usoSaul Mamani
Tutorial detallado de los casos de uso y los diagramas de casos de suso en UML 2.
Si tienes problemas para ver la presentación, lo puedes descargar de aquí...
https://drive.google.com/folderview?id=1-1ypq1SSRLCjL2USp0iAIaBMcSNoEzub
Ponencia "Laboratorio Virtual para la Simulación de los Componentes Internos ...GabyNarvaez
Ponencia realizada para las V Jornadas Pedagógicas en Tecnología e Innovación Tecnológica,CITA, UCG, Guayaquil, Ecuador, 2014
Laboratorio Virtual para la Simulación de los Componentes Internos del Computador, es un entorno virtual cuyos contenidos son sobre el Computador, sus partes y funciones. Los temas tratados tienen asociados recursos 3D como una Galería Virtual, Gráficos 3D de los dispositivos hardware y un Simulador de Ensamblaje de Computador.
Valores, Actitudes y Comportamiento Ecologico Modelado con una Red Bayesiana GabyNarvaez
Ensayo acerca de una problemática global que es la contaminación ambiental, en donde la conducta ecológica juega un papel importante y su estudio puede lograrse a través de la aplicación de los principios de las Redes Bayesianas.
Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLMJuan Martín Martín
Examen de Selectividad de la EvAU de Geografía de junio de 2023 en Castilla La Mancha. UCLM . (Convocatoria ordinaria)
Más información en el Blog de Geografía de Juan Martín Martín
http://blogdegeografiadejuan.blogspot.com/
Este documento presenta un examen de geografía para el Acceso a la universidad (EVAU). Consta de cuatro secciones. La primera sección ofrece tres ejercicios prácticos sobre paisajes, mapas o hábitats. La segunda sección contiene preguntas teóricas sobre unidades de relieve, transporte o demografía. La tercera sección pide definir conceptos geográficos. La cuarta sección implica identificar elementos geográficos en un mapa. El examen evalúa conocimientos fundamentales de geografía.
Ponencia en I SEMINARIO SOBRE LA APLICABILIDAD DE LA INTELIGENCIA ARTIFICIAL EN LA EDUCACIÓN SUPERIOR UNIVERSITARIA. 3 de junio de 2024. Facultad de Estudios Sociales y Trabajo, Universidad de Málaga.
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...JAVIER SOLIS NOYOLA
El Mtro. JAVIER SOLIS NOYOLA crea y desarrolla el “ROMPECABEZAS DE ECUACIONES DE 1ER. GRADO OLIMPIADA DE PARÍS 2024”. Esta actividad de aprendizaje propone retos de cálculo algebraico mediante ecuaciones de 1er. grado, y viso-espacialidad, lo cual dará la oportunidad de formar un rompecabezas. La intención didáctica de esta actividad de aprendizaje es, promover los pensamientos lógicos (convergente) y creativo (divergente o lateral), mediante modelos mentales de: atención, memoria, imaginación, percepción (Geométrica y conceptual), perspicacia, inferencia, viso-espacialidad. Esta actividad de aprendizaje es de enfoques lúdico y transversal, ya que integra diversas áreas del conocimiento, entre ellas: matemático, artístico, lenguaje, historia, y las neurociencias.
La Unidad Eudista de Espiritualidad se complace en poner a su disposición el siguiente Triduo Eudista, que tiene como propósito ofrecer tres breves meditaciones sobre Jesucristo Sumo y Eterno Sacerdote, el Sagrado Corazón de Jesús y el Inmaculado Corazón de María. En cada día encuentran una oración inicial, una meditación y una oración final.
IMÁGENES SUBLIMINALES EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁClaude LaCombe
Recuerdo perfectamente la primera vez que oí hablar de las imágenes subliminales de los Testigos de Jehová. Fue en los primeros años del foro de religión “Yahoo respuestas” (que, por cierto, desapareció definitivamente el 30 de junio de 2021). El tema del debate era el “arte religioso”. Todos compartíamos nuestros puntos de vista sobre cuadros como “La Mona Lisa” o el arte apocalíptico de los adventistas, cuando repentinamente uno de los participantes dijo que en las publicaciones de los Testigos de Jehová se ocultaban imágenes subliminales demoniacas.
Lo que pasó después se halla plasmado en la presente obra.
Elites municipales y propiedades rurales: algunos ejemplos en territorio vascónJavier Andreu
Material de apoyo a la conferencia pórtico de la XIX Semana Romana de Cascante celebrada en Cascante (Navarra), el 24 de junio de 2024 en el marco del ciclo de conferencias "De re rustica. El campo y la agricultura en época romana: poblamiento, producción, consumo"
Elites municipales y propiedades rurales: algunos ejemplos en territorio vascón
Aplicaciones desarrolladas con PROLOG
1. APLICACIONES DESARROLLADAS EN PROLOG
DETECT
Se trata de un sistema que permite actividades de descubrimiento, obtención y verificación
de evidencias, ha sido empleado en la enseñanza de Historia y de estrategias generales de
solución de problemas [1]
PLAN
Un sistema para la escritura de aventuras que permite al usuario crear su propio mundo
imaginario sobre el cual puede explorar y desarrollar habilidades cognitivas de tipo general como
la concepción y ejecución de planes, y diversas estrategias de solución de problemas.[1]
LINX
Un sistema que provee los mecanismos para construir simulaciones u programas que
requieran la aplicación de criterios de decisión y una estructura de consulta ramificada como la
que se aplica en proceso de identificación de diversos tipos de evidencia. [1]
SLOTS
Un sistema que provee soporte para la construcción verificación y procesamiento de
conocimiento.[1]
Un Sistema Inteligente para Asistir la Búsqueda Personalizada de Objetos de Aprendizaje
Ayuda a un usuario a encontrar los recursos educativos electrónicos que le sean más
apropiados, de acuerdo con su perfil. El sistema de recomendación se diseña con una
arquitectura multiagente para la recuperación de los recursos educativos en la Web. Esta
plataforma incluye varios tipos de agentes con diferentes funcionalidades… El agente BDI
graduado se encarga de realizar una recuperación flexible y presentar una lista ordenada con los
mejores recursos, de acuerdo con el perfil de usuario. Ademas se diseña el Agente-R siguiendo y
se implementa un prototipo de este agente utilizando el lenguaje SWI-Prolog[2]
El-Al
Desarrollado por el laboratorio de investigación de la IBM Haifa; se trata de un sistema en
Prolog para asignar aviones en las líneas aéreas israelíes. El sistema está conectado en línea
con el sistema de programación del El-Al y se actualiza en tiempo real en cuanto a cambios de
horarios de vuelo [3]
Autora: Gabriela Narváez
2. Diseño experto de productos
Es un sistema experto en Prolog que permite diseñar anteojos a la medida. La entrada de
datos es una fotografía de la cara del cliente, el sistema propone un diseño que cliente debe
aprobarlo, de darse el caso el diseño, éste se transmite desde las estaciones gráficas a la fábrica
usando una red. La base de conocimiento para proponer el diseño incluye entre otros, datos
sobre el color de la piel y del pelo del cliente, preferencias individuales, conocimientos técnicos [3]
CVE-verificación de circuitos digitales
La Empresa Siemens ha desarrollado en Prolog el sistema CVE, el cual es utilizado para
verificar de forma automática el comportamiento de salida de un circuito digital como una función
Booleana como una función de la entrada. El sistema garantiza 100% de seguridad, ya que la
comparación simbólica es equivalente a simular un circuito con todos los posibles patrones de
entrada, verificando todas las salidas de la simulación [3]
Configurador (Wizard) de red de Windows NT
El sistema operativo Microsoft Windows NT utiliza un intérprete interno de Prolog para
configurar sus sistemas de red de área local (LAN) y de la red de área amplia (WAN). Los
resultados de la consulta, almacenados en la base de datos de la configuración del NT (registry),
informan a cada componente o driver su orden de la carga y asociación de componentes[3]
AGGREGATE
Ayuda a los contables en el diseño de los sistemas de información contable y de los
estados financieros[4]
ALFEX
Es un proyecto de construcción de sistemas expertos, patrocinado por el Alvey Financial
Community Club. El objetivo de este proyecto es crear sistemas expertos capaces de asesorar
sobre la salud financiera de una compañía, así como desarrollar bases de conocimiento y
herramientas apropiadas para la construcción de estos sistemas. Proporciona un informe sobre
la salud financiera de la compañía, apoyado con gráficos, previsiones de ventas, ratios, análisis de
sensibilidad [4]
Autora: Gabriela Narváez
3. BIBLIOGRAFIA
[1]HERNÁNDEZ Germán Ricardo. PROLOG: REFLEXIONES SOBRE SU POTENCIAL
EDUCATIVO [Internet]. Colombia. Vol.2, Nº2, 1989. [cited 2012 Apr 04]. Available from:
http://www.colombiaaprende.edu.co/html/mediateca/1607/articles-126389_archivo.pdf
[2] Valeria Bibiana Gerling. Un Sistema Inteligente para Asistir la Búsqueda Personalizada de
Objetos de Aprendizaje. [Internet]. Universidad Nacional de Rosario. 2009 Dec. [cited 2012 Apr
4]. Available from: http://www.fceia.unr.edu.ar/lcc/t523/uploads/21.pdf
[3] Egdares Futch H. Programación en Prolog para Inteligencia Artificial. [Internet]. [cited 2012 Apr
04]. Available from: http://maestros.unitec.edu/~efutch/concapanxxiii-prolog.pdf
[4] Antonio Sánchez Tomás. Aplicación de los Sistemas Expertos en Contabilidad [Internet].
Universidad de Valencia. Artes Gráficas 13, (46010) Valencia. [cited 2012 Apr 4]. Available from:
http://www.ciberconta.unizar.es/Biblioteca/0002/Sanchez95.html
Autora: Gabriela Narváez