SlideShare una empresa de Scribd logo
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
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
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

Más contenido relacionado

La actualidad más candente

Razonamiento monotono
Razonamiento monotonoRazonamiento monotono
Razonamiento monotono
joosbeen garcia solano
 
Logica Difusa Introduccion
Logica Difusa IntroduccionLogica Difusa Introduccion
Logica Difusa Introduccion
ESCOM
 
2. Casos de uso y diagramas de casos de uso
2. Casos de uso y diagramas de casos de uso2. Casos de uso y diagramas de casos de uso
2. Casos de uso y diagramas de casos de uso
Saul Mamani
 
Ejercicios prolog
Ejercicios prologEjercicios prolog
Ejercicios prolog
Jose Mejia Viteri
 
Ejercicios de base de datos
Ejercicios de base de datosEjercicios de base de datos
Ejercicios de base de datos
Maria Barrios
 
Back Tracking
Back TrackingBack Tracking
Requerimientos Funcionales y No Funcionales
Requerimientos Funcionales y No FuncionalesRequerimientos Funcionales y No Funcionales
Requerimientos Funcionales y No Funcionales
Carlos Macallums
 
2.5 Razonamiento monótono..pptx
2.5 Razonamiento monótono..pptx2.5 Razonamiento monótono..pptx
2.5 Razonamiento monótono..pptx
Ram Vazquez
 
Automatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No DeterministicosAutomatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No Deterministicos
Rosviannis Barreiro
 
Dfd
DfdDfd
Técnicas para la Obtención de Requerimientos
Técnicas para la Obtención de RequerimientosTécnicas para la Obtención de Requerimientos
Técnicas para la Obtención de Requerimientos
Juan Carlos Olivares Rojas
 
Factibilidad Tecnica, Operativa y Economica
Factibilidad Tecnica, Operativa y EconomicaFactibilidad Tecnica, Operativa y Economica
Factibilidad Tecnica, Operativa y Economica
Sistemas UDC
 
ETL
ETLETL
54714841 ejemplo-propuesta-de-desarrollo-de-software
54714841 ejemplo-propuesta-de-desarrollo-de-software54714841 ejemplo-propuesta-de-desarrollo-de-software
54714841 ejemplo-propuesta-de-desarrollo-de-software
cristina_devargas
 
Requerimientos funcionales y no funcionales de la aplicación
Requerimientos funcionales y no funcionales de la aplicaciónRequerimientos funcionales y no funcionales de la aplicación
Requerimientos funcionales y no funcionales de la aplicaciónYare LoZada
 
Consultorio medico diagrama actividad
Consultorio medico diagrama actividadConsultorio medico diagrama actividad
Consultorio medico diagrama actividadJaziel Torres
 
Problemas de diseño de base de datos
Problemas de diseño de base de datosProblemas de diseño de base de datos
Problemas de diseño de base de datos
gonzalopomboza
 
Diseño y Análisis de una Plataforma e-Commerce
Diseño y Análisis de una Plataforma e-CommerceDiseño y Análisis de una Plataforma e-Commerce
Diseño y Análisis de una Plataforma e-Commerce
ppalos
 
Manual tecnico y manual de usuario
Manual tecnico y manual de usuarioManual tecnico y manual de usuario
Manual tecnico y manual de usuarioD MT
 

La actualidad más candente (20)

Razonamiento monotono
Razonamiento monotonoRazonamiento monotono
Razonamiento monotono
 
Logica Difusa Introduccion
Logica Difusa IntroduccionLogica Difusa Introduccion
Logica Difusa Introduccion
 
2. Casos de uso y diagramas de casos de uso
2. Casos de uso y diagramas de casos de uso2. Casos de uso y diagramas de casos de uso
2. Casos de uso y diagramas de casos de uso
 
Ejercicios prolog
Ejercicios prologEjercicios prolog
Ejercicios prolog
 
Ejercicios de base de datos
Ejercicios de base de datosEjercicios de base de datos
Ejercicios de base de datos
 
Enunciados de casos para Bases de Datos
Enunciados de casos para Bases de DatosEnunciados de casos para Bases de Datos
Enunciados de casos para Bases de Datos
 
Back Tracking
Back TrackingBack Tracking
Back Tracking
 
Requerimientos Funcionales y No Funcionales
Requerimientos Funcionales y No FuncionalesRequerimientos Funcionales y No Funcionales
Requerimientos Funcionales y No Funcionales
 
2.5 Razonamiento monótono..pptx
2.5 Razonamiento monótono..pptx2.5 Razonamiento monótono..pptx
2.5 Razonamiento monótono..pptx
 
Automatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No DeterministicosAutomatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No Deterministicos
 
Dfd
DfdDfd
Dfd
 
Técnicas para la Obtención de Requerimientos
Técnicas para la Obtención de RequerimientosTécnicas para la Obtención de Requerimientos
Técnicas para la Obtención de Requerimientos
 
Factibilidad Tecnica, Operativa y Economica
Factibilidad Tecnica, Operativa y EconomicaFactibilidad Tecnica, Operativa y Economica
Factibilidad Tecnica, Operativa y Economica
 
ETL
ETLETL
ETL
 
54714841 ejemplo-propuesta-de-desarrollo-de-software
54714841 ejemplo-propuesta-de-desarrollo-de-software54714841 ejemplo-propuesta-de-desarrollo-de-software
54714841 ejemplo-propuesta-de-desarrollo-de-software
 
Requerimientos funcionales y no funcionales de la aplicación
Requerimientos funcionales y no funcionales de la aplicaciónRequerimientos funcionales y no funcionales de la aplicación
Requerimientos funcionales y no funcionales de la aplicación
 
Consultorio medico diagrama actividad
Consultorio medico diagrama actividadConsultorio medico diagrama actividad
Consultorio medico diagrama actividad
 
Problemas de diseño de base de datos
Problemas de diseño de base de datosProblemas de diseño de base de datos
Problemas de diseño de base de datos
 
Diseño y Análisis de una Plataforma e-Commerce
Diseño y Análisis de una Plataforma e-CommerceDiseño y Análisis de una Plataforma e-Commerce
Diseño y Análisis de una Plataforma e-Commerce
 
Manual tecnico y manual de usuario
Manual tecnico y manual de usuarioManual tecnico y manual de usuario
Manual tecnico y manual de usuario
 

Similar a Aplicaciones desarrolladas con PROLOG

Fundamentos de ingenieria de software
Fundamentos de ingenieria de softwareFundamentos de ingenieria de software
Fundamentos de ingenieria de software
ITSPR
 
Portafolio vistual Análisis de Sistema Uam
Portafolio vistual  Análisis de Sistema UamPortafolio vistual  Análisis de Sistema Uam
Portafolio vistual Análisis de Sistema UamRicardo Díaz
 
Portafolio de Analisis de Sistema I Uam los Pueblos
Portafolio de Analisis de Sistema I Uam los PueblosPortafolio de Analisis de Sistema I Uam los Pueblos
Portafolio de Analisis de Sistema I Uam los Pueblos
Anais Jimenez
 
Proyecto ciid uti_2011
Proyecto ciid uti_2011Proyecto ciid uti_2011
Proyecto ciid uti_2011
Luis Sailema
 
Data warehouse
Data warehouseData warehouse
Data warehouse
Cleiver Huamani
 
Diseño de sistemas
Diseño de sistemasDiseño de sistemas
Diseño de sistemas
Mirna Lozano
 
Introducción ingeniería de software
Introducción ingeniería de softwareIntroducción ingeniería de software
Introducción ingeniería de software
SergioNincoQ
 
Introducción ingeniería de software
Introducción ingeniería de softwareIntroducción ingeniería de software
Introducción ingeniería de software
SergioNincoQ
 
Analisis de requerimientos
Analisis de requerimientosAnalisis de requerimientos
Analisis de requerimientos
ssalzar
 
Taller de Programación Distribuida
Taller de Programación DistribuidaTaller de Programación Distribuida
Taller de Programación Distribuida
Gilber Basilio Robles
 
Ambitos de desarrollo de un ing. en sistemas
Ambitos de desarrollo de un ing. en sistemasAmbitos de desarrollo de un ing. en sistemas
Ambitos de desarrollo de un ing. en sistemasAna Karen
 
Ambitos de desarrollo de un ing. en sistemas
Ambitos de desarrollo de un ing. en sistemasAmbitos de desarrollo de un ing. en sistemas
Ambitos de desarrollo de un ing. en sistemasxinithazangels
 
Lenguajes de Programación
 Lenguajes de Programación Lenguajes de Programación
Lenguajes de Programación
JuanRengel2
 
METODOLOGÍA DE DESARROLLO DE SOFTWARE
METODOLOGÍA DE DESARROLLO DE SOFTWAREMETODOLOGÍA DE DESARROLLO DE SOFTWARE
METODOLOGÍA DE DESARROLLO DE SOFTWARE
MariaFlores354
 
HERRAMIENTAS CASE.pdf
HERRAMIENTAS CASE.pdfHERRAMIENTAS CASE.pdf
HERRAMIENTAS CASE.pdf
CarmenKeim2
 
4tageneracion 090512224610-phpapp02
4tageneracion 090512224610-phpapp024tageneracion 090512224610-phpapp02
4tageneracion 090512224610-phpapp02Lupunkd Ruiz Angulo
 
Respuestas de analisis de sistema
Respuestas de analisis de sistemaRespuestas de analisis de sistema
Respuestas de analisis de sistema
Murcie Lago
 
Metodologías De Diseño Y Desarrollo De Sistemas De Información
Metodologías De Diseño Y Desarrollo De Sistemas De InformaciónMetodologías De Diseño Y Desarrollo De Sistemas De Información
Metodologías De Diseño Y Desarrollo De Sistemas De Información
davinson garcia
 

Similar a Aplicaciones desarrolladas con PROLOG (20)

Fundamentos de ingenieria de software
Fundamentos de ingenieria de softwareFundamentos de ingenieria de software
Fundamentos de ingenieria de software
 
Portafolio vistual Análisis de Sistema Uam
Portafolio vistual  Análisis de Sistema UamPortafolio vistual  Análisis de Sistema Uam
Portafolio vistual Análisis de Sistema Uam
 
4ta Generacion
4ta Generacion4ta Generacion
4ta Generacion
 
Portafolio de Analisis de Sistema I Uam los Pueblos
Portafolio de Analisis de Sistema I Uam los PueblosPortafolio de Analisis de Sistema I Uam los Pueblos
Portafolio de Analisis de Sistema I Uam los Pueblos
 
Proyecto ciid uti_2011
Proyecto ciid uti_2011Proyecto ciid uti_2011
Proyecto ciid uti_2011
 
Data warehouse
Data warehouseData warehouse
Data warehouse
 
Diseño de sistemas
Diseño de sistemasDiseño de sistemas
Diseño de sistemas
 
Introducción ingeniería de software
Introducción ingeniería de softwareIntroducción ingeniería de software
Introducción ingeniería de software
 
Introducción ingeniería de software
Introducción ingeniería de softwareIntroducción ingeniería de software
Introducción ingeniería de software
 
Analisis de requerimientos
Analisis de requerimientosAnalisis de requerimientos
Analisis de requerimientos
 
Taller de Programación Distribuida
Taller de Programación DistribuidaTaller de Programación Distribuida
Taller de Programación Distribuida
 
Ambitos de desarrollo de un ing. en sistemas
Ambitos de desarrollo de un ing. en sistemasAmbitos de desarrollo de un ing. en sistemas
Ambitos de desarrollo de un ing. en sistemas
 
Ambitos de desarrollo de un ing. en sistemas
Ambitos de desarrollo de un ing. en sistemasAmbitos de desarrollo de un ing. en sistemas
Ambitos de desarrollo de un ing. en sistemas
 
Lenguajes de Programación
 Lenguajes de Programación Lenguajes de Programación
Lenguajes de Programación
 
METODOLOGÍA DE DESARROLLO DE SOFTWARE
METODOLOGÍA DE DESARROLLO DE SOFTWAREMETODOLOGÍA DE DESARROLLO DE SOFTWARE
METODOLOGÍA DE DESARROLLO DE SOFTWARE
 
HERRAMIENTAS CASE.pdf
HERRAMIENTAS CASE.pdfHERRAMIENTAS CASE.pdf
HERRAMIENTAS CASE.pdf
 
4tageneracion 090512224610-phpapp02
4tageneracion 090512224610-phpapp024tageneracion 090512224610-phpapp02
4tageneracion 090512224610-phpapp02
 
Hcase
HcaseHcase
Hcase
 
Respuestas de analisis de sistema
Respuestas de analisis de sistemaRespuestas de analisis de sistema
Respuestas de analisis de sistema
 
Metodologías De Diseño Y Desarrollo De Sistemas De Información
Metodologías De Diseño Y Desarrollo De Sistemas De InformaciónMetodologías De Diseño Y Desarrollo De Sistemas De Información
Metodologías De Diseño Y Desarrollo De Sistemas De Información
 

Más de GabyNarvaez

Ponencia "Laboratorio Virtual para la Simulación de los Componentes Internos ...
Ponencia "Laboratorio Virtual para la Simulación de los Componentes Internos ...Ponencia "Laboratorio Virtual para la Simulación de los Componentes Internos ...
Ponencia "Laboratorio Virtual para la Simulación de los Componentes Internos ...
GabyNarvaez
 
Consorcion World Wide Web W3C
Consorcion World Wide Web W3CConsorcion World Wide Web W3C
Consorcion World Wide Web W3C
GabyNarvaez
 
Valores, Actitudes y Comportamiento Ecologico Modelado con una Red Bayesiana
Valores, Actitudes y Comportamiento Ecologico Modelado con una Red Bayesiana Valores, Actitudes y Comportamiento Ecologico Modelado con una Red Bayesiana
Valores, Actitudes y Comportamiento Ecologico Modelado con una Red Bayesiana
GabyNarvaez
 
Practicas de Observacion
Practicas de ObservacionPracticas de Observacion
Practicas de Observacion
GabyNarvaez
 
Algoritmos geneticos con JGAP
Algoritmos geneticos con JGAPAlgoritmos geneticos con JGAP
Algoritmos geneticos con JGAP
GabyNarvaez
 
Ejercicios de Razonamiento
Ejercicios de RazonamientoEjercicios de Razonamiento
Ejercicios de Razonamiento
GabyNarvaez
 

Más de GabyNarvaez (6)

Ponencia "Laboratorio Virtual para la Simulación de los Componentes Internos ...
Ponencia "Laboratorio Virtual para la Simulación de los Componentes Internos ...Ponencia "Laboratorio Virtual para la Simulación de los Componentes Internos ...
Ponencia "Laboratorio Virtual para la Simulación de los Componentes Internos ...
 
Consorcion World Wide Web W3C
Consorcion World Wide Web W3CConsorcion World Wide Web W3C
Consorcion World Wide Web W3C
 
Valores, Actitudes y Comportamiento Ecologico Modelado con una Red Bayesiana
Valores, Actitudes y Comportamiento Ecologico Modelado con una Red Bayesiana Valores, Actitudes y Comportamiento Ecologico Modelado con una Red Bayesiana
Valores, Actitudes y Comportamiento Ecologico Modelado con una Red Bayesiana
 
Practicas de Observacion
Practicas de ObservacionPracticas de Observacion
Practicas de Observacion
 
Algoritmos geneticos con JGAP
Algoritmos geneticos con JGAPAlgoritmos geneticos con JGAP
Algoritmos geneticos con JGAP
 
Ejercicios de Razonamiento
Ejercicios de RazonamientoEjercicios de Razonamiento
Ejercicios de Razonamiento
 

Último

El ensayo mexicano en el siglo XX LITERATURA
El ensayo mexicano en el siglo XX LITERATURAEl ensayo mexicano en el siglo XX LITERATURA
El ensayo mexicano en el siglo XX LITERATURA
Armando920824
 
INFORME MINEDU DEL PRIMER SIMULACRO 2024.pdf
INFORME MINEDU DEL PRIMER SIMULACRO 2024.pdfINFORME MINEDU DEL PRIMER SIMULACRO 2024.pdf
INFORME MINEDU DEL PRIMER SIMULACRO 2024.pdf
Alejandrogarciapanta
 
El Liberalismo económico en la sociedad y en el mundo
El Liberalismo económico en la sociedad y en el mundoEl Liberalismo económico en la sociedad y en el mundo
El Liberalismo económico en la sociedad y en el mundo
SandraBenitez52
 
Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLM
Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLMExamen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLM
Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLM
Juan Martín Martín
 
Aprender-IA: Recursos online gratuitos para estar al tanto y familiarizarse c...
Aprender-IA: Recursos online gratuitos para estar al tanto y familiarizarse c...Aprender-IA: Recursos online gratuitos para estar al tanto y familiarizarse c...
Aprender-IA: Recursos online gratuitos para estar al tanto y familiarizarse c...
María Sánchez González (@cibermarikiya)
 
-Dia- de- la- bandera- en- el -Perú-.PPT
-Dia- de- la- bandera- en- el -Perú-.PPT-Dia- de- la- bandera- en- el -Perú-.PPT
-Dia- de- la- bandera- en- el -Perú-.PPT
PROTHEORO Apellidos
 
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...
JAVIER SOLIS NOYOLA
 
Nuevos espacios,nuevos tiempos,nuevas practica.pptx
Nuevos espacios,nuevos tiempos,nuevas practica.pptxNuevos espacios,nuevos tiempos,nuevas practica.pptx
Nuevos espacios,nuevos tiempos,nuevas practica.pptx
lautyzaracho4
 
Tema 3-3 Métodos anticonceptivos y ETS 2024
Tema 3-3 Métodos anticonceptivos y ETS 2024Tema 3-3 Métodos anticonceptivos y ETS 2024
Tema 3-3 Métodos anticonceptivos y ETS 2024
IES Vicent Andres Estelles
 
Sesión: El espiritismo desenmascarado.pdf
Sesión: El espiritismo desenmascarado.pdfSesión: El espiritismo desenmascarado.pdf
Sesión: El espiritismo desenmascarado.pdf
https://gramadal.wordpress.com/
 
Examen de la EvAU 2024 en Navarra Latín.
Examen de la EvAU 2024 en Navarra Latín.Examen de la EvAU 2024 en Navarra Latín.
Examen de la EvAU 2024 en Navarra Latín.
amayaltc18
 
Friedrich Nietzsche. Presentación de 2 de Bachillerato.
Friedrich Nietzsche. Presentación de 2 de Bachillerato.Friedrich Nietzsche. Presentación de 2 de Bachillerato.
Friedrich Nietzsche. Presentación de 2 de Bachillerato.
pablomarin116
 
Las Tecnologias Digitales en los Aprendizajesdel Siglo XXI UNESCO Ccesa007.pdf
Las Tecnologias Digitales en los Aprendizajesdel Siglo XXI  UNESCO Ccesa007.pdfLas Tecnologias Digitales en los Aprendizajesdel Siglo XXI  UNESCO Ccesa007.pdf
Las Tecnologias Digitales en los Aprendizajesdel Siglo XXI UNESCO Ccesa007.pdf
Demetrio Ccesa Rayme
 
Las diversas Sociedades Mercantiles Mexico.pdf
Las diversas Sociedades Mercantiles Mexico.pdfLas diversas Sociedades Mercantiles Mexico.pdf
Las diversas Sociedades Mercantiles Mexico.pdf
La Paradoja educativa
 
Triduo Eudista: Jesucristo, Sumo y Eterno Sacerdote; El Corazón de Jesús y el...
Triduo Eudista: Jesucristo, Sumo y Eterno Sacerdote; El Corazón de Jesús y el...Triduo Eudista: Jesucristo, Sumo y Eterno Sacerdote; El Corazón de Jesús y el...
Triduo Eudista: Jesucristo, Sumo y Eterno Sacerdote; El Corazón de Jesús y el...
Unidad de Espiritualidad Eudista
 
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
20minutos
 
PLAN DE CAPACITACION xxxxxxxxxxxxxxxxxxx
PLAN DE CAPACITACION xxxxxxxxxxxxxxxxxxxPLAN DE CAPACITACION xxxxxxxxxxxxxxxxxxx
PLAN DE CAPACITACION xxxxxxxxxxxxxxxxxxx
cportizsanchez48
 
IMÁGENES SUBLIMINALES EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁ
IMÁGENES SUBLIMINALES EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁIMÁGENES SUBLIMINALES EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁ
IMÁGENES SUBLIMINALES EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁ
Claude LaCombe
 
Blogs_y_Educacion_Por Zaracho Lautaro_.pdf
Blogs_y_Educacion_Por Zaracho Lautaro_.pdfBlogs_y_Educacion_Por Zaracho Lautaro_.pdf
Blogs_y_Educacion_Por Zaracho Lautaro_.pdf
lautyzaracho4
 
Elites municipales y propiedades rurales: algunos ejemplos en territorio vascón
Elites municipales y propiedades rurales: algunos ejemplos en territorio vascónElites municipales y propiedades rurales: algunos ejemplos en territorio vascón
Elites municipales y propiedades rurales: algunos ejemplos en territorio vascón
Javier Andreu
 

Último (20)

El ensayo mexicano en el siglo XX LITERATURA
El ensayo mexicano en el siglo XX LITERATURAEl ensayo mexicano en el siglo XX LITERATURA
El ensayo mexicano en el siglo XX LITERATURA
 
INFORME MINEDU DEL PRIMER SIMULACRO 2024.pdf
INFORME MINEDU DEL PRIMER SIMULACRO 2024.pdfINFORME MINEDU DEL PRIMER SIMULACRO 2024.pdf
INFORME MINEDU DEL PRIMER SIMULACRO 2024.pdf
 
El Liberalismo económico en la sociedad y en el mundo
El Liberalismo económico en la sociedad y en el mundoEl Liberalismo económico en la sociedad y en el mundo
El Liberalismo económico en la sociedad y en el mundo
 
Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLM
Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLMExamen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLM
Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLM
 
Aprender-IA: Recursos online gratuitos para estar al tanto y familiarizarse c...
Aprender-IA: Recursos online gratuitos para estar al tanto y familiarizarse c...Aprender-IA: Recursos online gratuitos para estar al tanto y familiarizarse c...
Aprender-IA: Recursos online gratuitos para estar al tanto y familiarizarse c...
 
-Dia- de- la- bandera- en- el -Perú-.PPT
-Dia- de- la- bandera- en- el -Perú-.PPT-Dia- de- la- bandera- en- el -Perú-.PPT
-Dia- de- la- bandera- en- el -Perú-.PPT
 
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...
 
Nuevos espacios,nuevos tiempos,nuevas practica.pptx
Nuevos espacios,nuevos tiempos,nuevas practica.pptxNuevos espacios,nuevos tiempos,nuevas practica.pptx
Nuevos espacios,nuevos tiempos,nuevas practica.pptx
 
Tema 3-3 Métodos anticonceptivos y ETS 2024
Tema 3-3 Métodos anticonceptivos y ETS 2024Tema 3-3 Métodos anticonceptivos y ETS 2024
Tema 3-3 Métodos anticonceptivos y ETS 2024
 
Sesión: El espiritismo desenmascarado.pdf
Sesión: El espiritismo desenmascarado.pdfSesión: El espiritismo desenmascarado.pdf
Sesión: El espiritismo desenmascarado.pdf
 
Examen de la EvAU 2024 en Navarra Latín.
Examen de la EvAU 2024 en Navarra Latín.Examen de la EvAU 2024 en Navarra Latín.
Examen de la EvAU 2024 en Navarra Latín.
 
Friedrich Nietzsche. Presentación de 2 de Bachillerato.
Friedrich Nietzsche. Presentación de 2 de Bachillerato.Friedrich Nietzsche. Presentación de 2 de Bachillerato.
Friedrich Nietzsche. Presentación de 2 de Bachillerato.
 
Las Tecnologias Digitales en los Aprendizajesdel Siglo XXI UNESCO Ccesa007.pdf
Las Tecnologias Digitales en los Aprendizajesdel Siglo XXI  UNESCO Ccesa007.pdfLas Tecnologias Digitales en los Aprendizajesdel Siglo XXI  UNESCO Ccesa007.pdf
Las Tecnologias Digitales en los Aprendizajesdel Siglo XXI UNESCO Ccesa007.pdf
 
Las diversas Sociedades Mercantiles Mexico.pdf
Las diversas Sociedades Mercantiles Mexico.pdfLas diversas Sociedades Mercantiles Mexico.pdf
Las diversas Sociedades Mercantiles Mexico.pdf
 
Triduo Eudista: Jesucristo, Sumo y Eterno Sacerdote; El Corazón de Jesús y el...
Triduo Eudista: Jesucristo, Sumo y Eterno Sacerdote; El Corazón de Jesús y el...Triduo Eudista: Jesucristo, Sumo y Eterno Sacerdote; El Corazón de Jesús y el...
Triduo Eudista: Jesucristo, Sumo y Eterno Sacerdote; El Corazón de Jesús y el...
 
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
Examen de Lengua Castellana y Literatura de la EBAU en Castilla-La Mancha 2024.
 
PLAN DE CAPACITACION xxxxxxxxxxxxxxxxxxx
PLAN DE CAPACITACION xxxxxxxxxxxxxxxxxxxPLAN DE CAPACITACION xxxxxxxxxxxxxxxxxxx
PLAN DE CAPACITACION xxxxxxxxxxxxxxxxxxx
 
IMÁGENES SUBLIMINALES EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁ
IMÁGENES SUBLIMINALES EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁIMÁGENES SUBLIMINALES EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁ
IMÁGENES SUBLIMINALES EN LAS PUBLICACIONES DE LOS TESTIGOS DE JEHOVÁ
 
Blogs_y_Educacion_Por Zaracho Lautaro_.pdf
Blogs_y_Educacion_Por Zaracho Lautaro_.pdfBlogs_y_Educacion_Por Zaracho Lautaro_.pdf
Blogs_y_Educacion_Por Zaracho Lautaro_.pdf
 
Elites municipales y propiedades rurales: algunos ejemplos en territorio vascón
Elites municipales y propiedades rurales: algunos ejemplos en territorio vascónElites municipales y propiedades rurales: algunos ejemplos en territorio vascón
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