Este documento presenta la solución a un acertijo clásico sobre un granjero que debe cruzar un río llevando un lobo, una cabra y una col sin que ninguno se quede solo con otro. Explica el análisis del problema mediante estados y un autómata. Luego, implementa la solución en Prolog usando predicados para los movimientos y verificación de estados seguros.
Cómo identificar el conocimiento crítico en una organización 7CRISEL BY AEFOL
El documento define el conocimiento como la capacidad de tomar decisiones y actuar basado en la experiencia adquirida a través de la práctica, no a través de la mera transmisión de información. El conocimiento se desarrolla de forma inconsciente a nivel neuronal y no puede almacenarse ni transferirse directamente de una persona a otra, sino que requiere del aprendizaje a través de la acción.
El documento describe las diferentes secciones de un taller sobre el uso responsable de las tecnologías de la información y la comunicación (TIC). Brevemente describe el contenido de cada sección, que incluye información institucional, para jóvenes, formadores y medios. Luego define términos como grooming, sexting, ciberdependencia, ciberacoso y delitos informáticos.
Los dispositivos físicos como equipos computacionales cumplen los criterios para ser considerados activos no corrientes según la NIC 1 y la NIC 16. El software también cumple los criterios para ser considerado un activo intangible según la NIC 38. Tanto los dispositivos físicos como el software se depreciarán a lo largo de su vida útil usando métodos como el lineal.
Boubacar touré Buenas noticias para África Fundación Acua
El documento presenta repetidamente la información de que la Fundación ACUA posee activos culturales afro en forma de fotografías tomadas por Boubacar Touré Mandémory.
En la primera visita, el equipo fue asignado al grupo de segundo grado con 33 estudiantes. Llamaron a los estudiantes uno por uno para darles sus gafetes de identificación. Después jugaron en el patio y les dieron de comer antes de despedirse. En la segunda visita, los estudiantes se portaron muy bien y recibieron regalos después de jugar. Estaban divididos por grado en el salón. En la tercera visita, jugaron varios juegos con los estudiantes de cuarto grado y también con otros grados, y asist
El documento muestra fotos del antes y después de una renovación de una casa para demostrar las diferencias entre comprar o alquilar la propiedad y cómo se ve antes y después de la renovación.
El documento resume la página web En TIC Confío, la política nacional de uso responsable de las TIC en Colombia. Se divide en secciones institucionales, para jóvenes, formadores, medios y enlaces. Define términos como grooming, sexting, ciberdependencia, ciberacoso y delitos informáticos. El objetivo es promover un uso seguro, productivo y respetuoso de las TIC.
Un recurso digital es cualquier información almacenada digitalmente, lo que facilita el almacenamiento y recuperación de grandes cantidades de datos. Los recursos digitales son importantes en la enseñanza porque permiten que los maestros utilicen metodologías innovadoras alejadas de lo tradicional. Estos recursos se pueden usar para investigar, comunicarse, enseñar, colaborar y preparar documentos.
Cómo identificar el conocimiento crítico en una organización 7CRISEL BY AEFOL
El documento define el conocimiento como la capacidad de tomar decisiones y actuar basado en la experiencia adquirida a través de la práctica, no a través de la mera transmisión de información. El conocimiento se desarrolla de forma inconsciente a nivel neuronal y no puede almacenarse ni transferirse directamente de una persona a otra, sino que requiere del aprendizaje a través de la acción.
El documento describe las diferentes secciones de un taller sobre el uso responsable de las tecnologías de la información y la comunicación (TIC). Brevemente describe el contenido de cada sección, que incluye información institucional, para jóvenes, formadores y medios. Luego define términos como grooming, sexting, ciberdependencia, ciberacoso y delitos informáticos.
Los dispositivos físicos como equipos computacionales cumplen los criterios para ser considerados activos no corrientes según la NIC 1 y la NIC 16. El software también cumple los criterios para ser considerado un activo intangible según la NIC 38. Tanto los dispositivos físicos como el software se depreciarán a lo largo de su vida útil usando métodos como el lineal.
Boubacar touré Buenas noticias para África Fundación Acua
El documento presenta repetidamente la información de que la Fundación ACUA posee activos culturales afro en forma de fotografías tomadas por Boubacar Touré Mandémory.
En la primera visita, el equipo fue asignado al grupo de segundo grado con 33 estudiantes. Llamaron a los estudiantes uno por uno para darles sus gafetes de identificación. Después jugaron en el patio y les dieron de comer antes de despedirse. En la segunda visita, los estudiantes se portaron muy bien y recibieron regalos después de jugar. Estaban divididos por grado en el salón. En la tercera visita, jugaron varios juegos con los estudiantes de cuarto grado y también con otros grados, y asist
El documento muestra fotos del antes y después de una renovación de una casa para demostrar las diferencias entre comprar o alquilar la propiedad y cómo se ve antes y después de la renovación.
El documento resume la página web En TIC Confío, la política nacional de uso responsable de las TIC en Colombia. Se divide en secciones institucionales, para jóvenes, formadores, medios y enlaces. Define términos como grooming, sexting, ciberdependencia, ciberacoso y delitos informáticos. El objetivo es promover un uso seguro, productivo y respetuoso de las TIC.
Un recurso digital es cualquier información almacenada digitalmente, lo que facilita el almacenamiento y recuperación de grandes cantidades de datos. Los recursos digitales son importantes en la enseñanza porque permiten que los maestros utilicen metodologías innovadoras alejadas de lo tradicional. Estos recursos se pueden usar para investigar, comunicarse, enseñar, colaborar y preparar documentos.
Internacionalización de contenidos e-learning: Producto global, éxito localCRISEL BY AEFOL
El documento discute la importancia de preparar productos para su internacionalización y localización. Explica que la localización debe ser una etapa integrada en el desarrollo del producto para reducir costos. Recomienda usar herramientas de asistencia a la traducción y recurrir a empresas de localización. Incluye definiciones de términos como globalización, internacionalización y localización, y analiza los beneficios y costos de diferentes enfoques para la localización de software y contenidos de e-learning.
Jerome Kern fue un compositor estadounidense que escribió más de 700 canciones y 100 partituras musicales entre 1902 y 1945. Trabajó en Broadway y Hollywood, donde ganó dos premios Oscar. En 1925 conoció a Oscar Hammerstein II, con quien produjo obras exitosas como Show Boat, que incluyó canciones famosas. Juntos revolucionaron el género del musical americano.
Este documento resume varios peligros potenciales de las redes sociales, incluyendo el acoso cibernético, los efectos negativos en el empleo, malware y privacidad. El acoso cibernético puede causar daño emocional a las víctimas e incluso llevar al suicidio. Los empleadores ahora revisan las redes sociales de los candidatos y pueden rechazarlos por contenido inapropiado. Las redes también han sido objetivo de malware que roba información personal o toma control de cuentas. Muchos
Seminario desarrollo rural y construcción de territorios dinámicos y pacíficos Fundación Acua
Este documento presenta la agenda de un seminario sobre estrategias de desarrollo rural para la construcción de territorios pacíficos. La agenda incluye presentaciones de funcionarios gubernamentales de Colombia y El Salvador sobre estrategias de desarrollo rural para la superación del conflicto. También incluye paneles sobre componentes productivos y sociales de las estrategias de desarrollo rural y experiencias de desarrollo rural en territorios específicos contadas por gobernadores y funcionarios locales. El evento concluye con un cierre a cargo de la
La Experiencia de la URV con Port Aventura. B-Learning: una herramienta para ...CRISEL BY AEFOL
ordi Calabui, Universitat Rovira i Virgili; Enrique Fonteca, de Port Aventura; Charo Romano, Dra del Centro Formación Permanente de la Fundación URV - EXPOELEARNING 2008
El documento presenta el Plan Anticorrupción y de Atención al Ciudadano de la ESE Hospital San Rafael de San Luis para el año 2013. El plan contiene cuatro componentes y veinte actividades orientadas a promover la transparencia, eficiencia, participación ciudadana y rendición de cuentas, incluyendo la publicación de información relevante, capacitaciones sobre anticorrupción, y mejora en los canales de atención al usuario.
La presentación original estaba en formato flash y video, por lo que se creó esta presentación en PowerPoint a partir de capturas de pantalla para poder mostrar la información de forma estática.
El documento define la programación y los diferentes tipos de lenguajes de programación, incluyendo lenguajes de máquina, ensamblador y de alto nivel. También describe las fases para crear un programa, que incluyen definir el problema, analizarlo, diseñar el algoritmo, codificarlo, probarlo y depurarlo, documentarlo y mantenerlo.
Este documento describe el proceso de aprendizaje. Explica que aprender implica almacenar experiencias en la memoria para reutilizarlas en el futuro. Señala que la práctica repetida de una tarea, junto con la motivación y oportunidad, son fundamentales para el aprendizaje. También define el aprendizaje como la fuente de producción del conocimiento y enfatiza su importancia tanto para las personas como para las organizaciones.
El documento describe las redes sociales como páginas que permiten a las personas conectarse con amigos y hacer nuevas amistades para compartir contenido e interactuar. También explica que las redes sociales han ganado popularidad rápidamente y se han convertido en exitosos negocios. Además, destaca que las redes sociales permiten que la información se comparta rápidamente con miles de personas debido a la conectividad entre redes de contactos.
¿Por que el tutor es un actor central en la modalidad virtual? 3CRISEL BY AEFOL
Este documento destaca la importancia de mejorar continuamente las competencias de los docentes tutores a través del seguimiento y capacitación permanente. Describe las competencias clave de los docentes virtuales como la gestión del aprendizaje, la comunicación y la evaluación a través de medios tecnológicos. También cubre las actitudes fundamentales de los docentes hacia sí mismos, los contenidos y los estudiantes, así como su nivel de conocimiento y funciones de orientación, académicas e institucionales.
Este documento cuestiona cómo se define e identifica la inteligencia. Señala que tradicionalmente se ha asociado la inteligencia con el rendimiento académico en asignaturas como matemáticas e historia, y se evalúa a través de exámenes. Sin embargo, plantea que esto es absurdo y que las personas más inteligentes que se conocen no necesariamente destacan en todas las materias. Finalmente, sugiere que el concepto de inteligencia es complejo y que debemos reconsiderar su definición.
The document is about the book "Facebook y Twitter para adultos" by Claudio Emilio Veloso published in 2012 by Alfaomega Grupo Editor. It discusses using Facebook and Twitter for adults and was accessed through ProQuest ebrary on May 11, 2015. The copyright is held by Alfaomega Grupo Editor.
Interim tests for CELLUWOOD materials.
CELLUWOOD ( “Laminated Strong Eco-Material for Building Construction Made of Cellulose-Strengthened Wood - Final Outcomes”) is a four years EU project, funded under the Eco Innovation research initiative. The project aims to develop a new range of structural elements made of wood by introducing innovative production elements and includes the use of cellulose instead of petroleum-based glue in the lamination of the timber products. The ‘physical’ results will be the strong eco-beams and columns and their most sustainable manufacturing technologies, in addition to significant environmental and cost benefits of the innovation. These are achieved by the introduction of the (new) technologies from other sectors (e.g. cellulose velvet, biocomposite reinforcement and bio-resin) for innovative uses in the defect removal and repairing, facilitating innovation in the use of nano/micro cellulose and bio-resin technologies in timber reengineering, and the development, testing and demonstration of the novel initiative products.
The CELLUWOOD products include strong glulam Eco-beams and columns manufactured by using bio-based lignin resins and nanocellulose enhanced glue systems. Both innovative building products provide significant environmental benefits.
Coordinator and responsible of the project at AIDIMA: Miguel Ángel Abián
In the case of AIDIMA, this project is co-funded by IVACE (Instituto Valenciano de Competitividad Empresarial) and by the European Regional Development Fund (ERDF).
Este documento presenta el acertijo clásico del granjero, el lobo, la cabra y la col. Explica cómo resolverlo mediante un método de estados que modela las posibles configuraciones y movimientos. Luego implementa la solución en Prolog, definiendo predicados para los movimientos y estados válidos que permiten encontrar de forma recursiva una secuencia de movimientos que lleve a dejar a todos en la orilla opuesta de forma segura.
Este documento presenta el problema clásico del lobo, la cabra y la col. Describe el problema, sus variaciones históricas y una solución al problema mediante un modelo de espacio de estados y un programa en Prolog.
Internacionalización de contenidos e-learning: Producto global, éxito localCRISEL BY AEFOL
El documento discute la importancia de preparar productos para su internacionalización y localización. Explica que la localización debe ser una etapa integrada en el desarrollo del producto para reducir costos. Recomienda usar herramientas de asistencia a la traducción y recurrir a empresas de localización. Incluye definiciones de términos como globalización, internacionalización y localización, y analiza los beneficios y costos de diferentes enfoques para la localización de software y contenidos de e-learning.
Jerome Kern fue un compositor estadounidense que escribió más de 700 canciones y 100 partituras musicales entre 1902 y 1945. Trabajó en Broadway y Hollywood, donde ganó dos premios Oscar. En 1925 conoció a Oscar Hammerstein II, con quien produjo obras exitosas como Show Boat, que incluyó canciones famosas. Juntos revolucionaron el género del musical americano.
Este documento resume varios peligros potenciales de las redes sociales, incluyendo el acoso cibernético, los efectos negativos en el empleo, malware y privacidad. El acoso cibernético puede causar daño emocional a las víctimas e incluso llevar al suicidio. Los empleadores ahora revisan las redes sociales de los candidatos y pueden rechazarlos por contenido inapropiado. Las redes también han sido objetivo de malware que roba información personal o toma control de cuentas. Muchos
Seminario desarrollo rural y construcción de territorios dinámicos y pacíficos Fundación Acua
Este documento presenta la agenda de un seminario sobre estrategias de desarrollo rural para la construcción de territorios pacíficos. La agenda incluye presentaciones de funcionarios gubernamentales de Colombia y El Salvador sobre estrategias de desarrollo rural para la superación del conflicto. También incluye paneles sobre componentes productivos y sociales de las estrategias de desarrollo rural y experiencias de desarrollo rural en territorios específicos contadas por gobernadores y funcionarios locales. El evento concluye con un cierre a cargo de la
La Experiencia de la URV con Port Aventura. B-Learning: una herramienta para ...CRISEL BY AEFOL
ordi Calabui, Universitat Rovira i Virgili; Enrique Fonteca, de Port Aventura; Charo Romano, Dra del Centro Formación Permanente de la Fundación URV - EXPOELEARNING 2008
El documento presenta el Plan Anticorrupción y de Atención al Ciudadano de la ESE Hospital San Rafael de San Luis para el año 2013. El plan contiene cuatro componentes y veinte actividades orientadas a promover la transparencia, eficiencia, participación ciudadana y rendición de cuentas, incluyendo la publicación de información relevante, capacitaciones sobre anticorrupción, y mejora en los canales de atención al usuario.
La presentación original estaba en formato flash y video, por lo que se creó esta presentación en PowerPoint a partir de capturas de pantalla para poder mostrar la información de forma estática.
El documento define la programación y los diferentes tipos de lenguajes de programación, incluyendo lenguajes de máquina, ensamblador y de alto nivel. También describe las fases para crear un programa, que incluyen definir el problema, analizarlo, diseñar el algoritmo, codificarlo, probarlo y depurarlo, documentarlo y mantenerlo.
Este documento describe el proceso de aprendizaje. Explica que aprender implica almacenar experiencias en la memoria para reutilizarlas en el futuro. Señala que la práctica repetida de una tarea, junto con la motivación y oportunidad, son fundamentales para el aprendizaje. También define el aprendizaje como la fuente de producción del conocimiento y enfatiza su importancia tanto para las personas como para las organizaciones.
El documento describe las redes sociales como páginas que permiten a las personas conectarse con amigos y hacer nuevas amistades para compartir contenido e interactuar. También explica que las redes sociales han ganado popularidad rápidamente y se han convertido en exitosos negocios. Además, destaca que las redes sociales permiten que la información se comparta rápidamente con miles de personas debido a la conectividad entre redes de contactos.
¿Por que el tutor es un actor central en la modalidad virtual? 3CRISEL BY AEFOL
Este documento destaca la importancia de mejorar continuamente las competencias de los docentes tutores a través del seguimiento y capacitación permanente. Describe las competencias clave de los docentes virtuales como la gestión del aprendizaje, la comunicación y la evaluación a través de medios tecnológicos. También cubre las actitudes fundamentales de los docentes hacia sí mismos, los contenidos y los estudiantes, así como su nivel de conocimiento y funciones de orientación, académicas e institucionales.
Este documento cuestiona cómo se define e identifica la inteligencia. Señala que tradicionalmente se ha asociado la inteligencia con el rendimiento académico en asignaturas como matemáticas e historia, y se evalúa a través de exámenes. Sin embargo, plantea que esto es absurdo y que las personas más inteligentes que se conocen no necesariamente destacan en todas las materias. Finalmente, sugiere que el concepto de inteligencia es complejo y que debemos reconsiderar su definición.
The document is about the book "Facebook y Twitter para adultos" by Claudio Emilio Veloso published in 2012 by Alfaomega Grupo Editor. It discusses using Facebook and Twitter for adults and was accessed through ProQuest ebrary on May 11, 2015. The copyright is held by Alfaomega Grupo Editor.
Interim tests for CELLUWOOD materials.
CELLUWOOD ( “Laminated Strong Eco-Material for Building Construction Made of Cellulose-Strengthened Wood - Final Outcomes”) is a four years EU project, funded under the Eco Innovation research initiative. The project aims to develop a new range of structural elements made of wood by introducing innovative production elements and includes the use of cellulose instead of petroleum-based glue in the lamination of the timber products. The ‘physical’ results will be the strong eco-beams and columns and their most sustainable manufacturing technologies, in addition to significant environmental and cost benefits of the innovation. These are achieved by the introduction of the (new) technologies from other sectors (e.g. cellulose velvet, biocomposite reinforcement and bio-resin) for innovative uses in the defect removal and repairing, facilitating innovation in the use of nano/micro cellulose and bio-resin technologies in timber reengineering, and the development, testing and demonstration of the novel initiative products.
The CELLUWOOD products include strong glulam Eco-beams and columns manufactured by using bio-based lignin resins and nanocellulose enhanced glue systems. Both innovative building products provide significant environmental benefits.
Coordinator and responsible of the project at AIDIMA: Miguel Ángel Abián
In the case of AIDIMA, this project is co-funded by IVACE (Instituto Valenciano de Competitividad Empresarial) and by the European Regional Development Fund (ERDF).
Este documento presenta el acertijo clásico del granjero, el lobo, la cabra y la col. Explica cómo resolverlo mediante un método de estados que modela las posibles configuraciones y movimientos. Luego implementa la solución en Prolog, definiendo predicados para los movimientos y estados válidos que permiten encontrar de forma recursiva una secuencia de movimientos que lleve a dejar a todos en la orilla opuesta de forma segura.
Este documento presenta el problema clásico del lobo, la cabra y la col. Describe el problema, sus variaciones históricas y una solución al problema mediante un modelo de espacio de estados y un programa en Prolog.
Este documento presenta un resumen de una monografía sobre el acertijo del lobo, la cabra y la col. El acertijo involucra a un granjero que debe cruzar un río usando un bote que solo puede llevarlo a él y una de sus compras (lobo, cabra o col), evitando que el lobo se quede solo con la cabra o la cabra se quede sola con la col. El documento explica cómo resolver el acertijo usando búsqueda en profundidad y anchura, y provee el pseudocódigo de la soluc
El monte el viejo un ejemplo real del monte bajomasajo123
El documento describe un viaje a través del Monte el Viejo, un ejemplo de monte bajo. Se detalla un itinerario con 10 puntos de interés, incluyendo un humedal, una atalaya y líneas eléctricas. También se explica que el monte bajo depende del rebrote masivo pero que este no es infinito, por lo que a veces se requiere reproducción sexual. Se concluye que para la gestión del monte bajo es necesario definir parámetros como el turno de corta, las áreas de corta, si se desea
Este documento presenta un proyecto sobre la resolución del problema del lobo, la cabra y la col mediante programación lógica en Prolog. Incluye el marco teórico, conceptos como búsqueda en profundidad y el planteamiento del problema. Luego detalla el algoritmo para resolverlo en 4 pasos y presenta el programa Prolog desarrollado, incluyendo la definición de los estados inicial y final, las restricciones y los movimientos posibles.
1. TRUJILLO-PERU Universidad Nacional de
Trujillo
ESCUELA DE INFORMATICA
INTEGRANTES:
APRECIADO RIVERA JHEFERSOWN
DOMINGUEZ HONORIO EMERSON ALEXANDER
ESQUIVEL SALDAÑA GIANCARLOS
LAURENTE PACHAMANGO CRISTHIAN
EL GRANJERO, EL LOBO, LA CABRA Y LA COL
DOCENTE: ARTURO DIAZ PULIDO
MONOGRAFIA
2. 1
INDICE
1. DEDICATORIA ………………………………………………………………...................... 2
2. INTRODUCCION …………………………………………………………………………........... 3
3. MARCO TEORICO …………………………………………………………………………………….. 4
3.1 ANTECEDENTES DE ACERTIJO …………………………………………………….. 4
3.2 ANALISIS DE ACERTIJO …………………………………………………….. 4
3.2.1 DECLARACION DEACERTIJO …………………………………………… 4
3.2.2 METODO DE SOLUCION POR ESTADOS ………………………….. 4
3.2.3 AUTOMATA DE SOLUCIONES …………………………………………. 5
3.2.4 TIPO DE METODOS DE BUSQUEDA …………………………………. 5
3.3 REPPRESENTACION DE CASO Y PROBLEMA ……………………………………….. 6
3.3.1 PEOR CASO ……………………………………………………………………….. 7
3.4 IMPLEMENTACION EN PROLOG ………………………………………………………. 8
3.4.1 ALGORITMO …………………………………………………………………….. 8
3.4.2 ANALISIS DE ALGORITMO …………………………………………………… 9
4. CONCLUCIONES ……………………………………………………………………………………….. 10
5. ANEXOS ……………………………………………………………………………………… 11
6. BIOGRAFIA ……………………………………………………………………………………….. 11
4. 3
INTRODUCCION
El presente documento plantea la solución a un acertijo
matemático.se esquematiza la solución con un gráfico de
autómata para un mejor entendimiento. Se explica los 2 tipos
de búsqueda pero solo se utilizara un tipo de búsqueda. La
solución se realiza implementa en el lenguaje de
programación llamado prolog.
5. 4
Capítulo 1: ANTECEDENTES DEL ACERTIJO
El acertijo del lobo, la cabra y la col es un popular juego de lógica. Se sabe
que existe al menos desde el siglo IX y que forma parte del folclore de un
gran número de grupos étnicos.
Capítulo 2: ANALISIS DEL ACERTIJO
2.1. DECLARACION DEL ACERTIJO:
Hace mucho tiempo un granjero fue al mercado y compró un lobo,
una cabra y una col. Para volver a su casa tenía que cruzar un río. El
agricultor dispone de una barca para cruzar a la otra orilla, pero en la
barca solo caben él y una de sus compras.
Si el lobo se queda solo con la cabra se la come, si la cabra se queda sola
con la col se la come.
El reto del granjero era cruzar él mismo y dejar sus compras a la otra
orilla del río, dejando cada compra intacta. ¿Cómo lo hizo?
2.2. METODO DE SOLUCION POR ESTADOS:
Espacio de estados: granjero, cabra, lobo, col; izquierda y derecha.
Numero de estados: 13.
Estado inicial: izquierda.
Estado final (único): pasar todos a la derecha.
Operadores :
Pasa el granjero solo
Pasa el granjero con el lobo
Pasa el granjero con la cabra
Pasa el granjero con la col
Paso de soluciones:
Dejar la cabra al otro lado
Vuelve
Dejar el lobo del otro lado
Regresar con la cabra
Dejar a la col o al lobo del otro lado
Vuelve
Dejar a la cabra del otro lado
6. 5
2.3. AUTOMATA DEL PROCESO DE SOLUCINES:
Estados :
Diagrama del autómata :
2.4. TIPOS DE METODOS DE BUSQUEDA:
Búsqueda por anchura:
- Los nodos se visitan y generan niveles
- La estructura para los nodos abiertos es una cola (FIFO)
- Un nodo es visitado cuando todos los nodos de los niveles
superiores y sus hermanos precedentes han sido visitados
7. 6
Búsqueda por profundidad:
- Los nodos se visitan y generan buscando los nodos a mayor
profundidad y retrocediendo cuando no se encuentran los
nodos sucesores
- La estructura de los nodos abiertos es un pila (LIFO)
- Para garantizar que el algoritmo acaba de imponerse un límite
en la profundidad de explosión.
Capítulo 3: REPRESENTACIÓN Y CASOS DEL PROBLEMA
Estado Predicado (F, W, G, C), describe la ubicación del
agricultor, lobo, la cabra y la col.
Las ubicaciones posibles son el correo para este, w para
oeste, banco para cada una de las 4 variables.
Estado inicial es el estado (w, w, w, w)
Estado de metas es estatal (e, e, e, e)
8. 7
Gráfico de espacio de estado, incluidas estados inseguros:
3.1 PEOR CASO: BUCLE INFINITO:
Trate agricultor teniendo lobo. Cabra come la col. Inseguro? Backtrack.
10. 9
4.2ANALISIS DE CODIGO:
Para resolver este problema, se puede codificar la configuración
de los 4 objetos (el granjero, el lobo, la cabra, la col) en forma de
lista.
Si ' i ' denota la ribera izquierda y ' d ' la ribera derecha, entonces
el estado inicial es el siguiente:
[i, i, i, i] (Todo el mundo está en la orilla de la izquierda)
Si el granjero se va con el lobo, entonces la configuración se
convierte en:
[d, d, i, i] (y la cabra se come la col)
La configuración final deseada es:
[d, d, d, d] (Todo el mundo está en la orilla de la derecha)
En cada movimiento, el granjero cruza el río con el lobo, la cabra,
la col, o nada. Cada movimiento puede ser representado por un
átomo correspondiente: lobo, la cabra, la col, y nada.
Esto se puede escribir como un predicado de movimiento(Config,
Movi, SigConfig) donde :
Config es una configuración
Movi es uno de los cuatro movimientos básicos
SigConfig es la configuración que resulta de la aplicación de
esa medida a Config
Ahora, hay un movimiento cuando van el granjero y el lobo
mover ([X, X, Cabra, Col], lobo, [Y, Y, Cabra, Col]): - cambio
(X, Y).
que supone que un predicado de cambio se define como:
cambiar (d, i).
cambiar (i, d).
Uno podría haber pensado en sólo escribir:
mover ([X, X, Cabra, Col], lobo, [Y, Y, Cabra, Col]).
pero en este caso X e Y anteriormente podrían unificar a cualquier
átomo (por ejemplo, a la cabra), el cual no es válido.
11. 10
Ahora, uno puede codificar todos los movimientos válidos:
cambiar(d, i).
cambiar(i, d).
mover([X,X,Cabra,Col],lobo,[Y,Y,Cabra,Col]) :-
cambiar(X,Y).
mover([X,Lobo,X,Col],cabra,[Y,Lobo,Y,Col]) :-
cambiar(X,Y).
mover([X,Lobo,Cabra,X],col,[Y,Lobo,Cabra,Y]) :-
cambiar(X,Y).
mover([X,Lobo,Cabra,C],nada,[Y,Lobo,Cabra,C]) :-
cambiar(X,Y).
A continuación, las configuraciones deben ser probadas para la
seguridad (para que nada se coma a nada). Para ello se define un
predicado esIgual(X, Y, Z) que es true si al menos uno de Y o Z es
igual a X.
esIgual(X, X, _).
esIgual (X, _, X).
La idea es que si al menos uno, la cabra o el lobo está en el mismo
lado del granjero, y si al menos una, la cabra o la col, está en el
mismo lado del granjero. Esto puede ser codificada como:
verificacion([Granjero,Lobo,Cabra,Col]) :-
esIgual(Granjero,Cabra,Lobo),
esIgual(Granjero,Cabra,Col).
Una solución se define como una configuración inicial y una lista
de movimientos que le lleva a la configuración del objetivo. Una
solución para [d, d, d, d] sería la lista vacía (no se necesitan
movimientos).
De lo contrario, una solución se define recursivamente como una
movida que le lleva a una configuración segura, seguido de una
solución.
12. 11
Esta recursión es fácilmente codificada como:
solucion([d,d,d,d],[]).
solucion(Config,[Movi|Rest]) :-
mover(Config,Movi,SigConfig),
verificacion(SigConfig),
solucion(SigConfig,Rest).
ADVERTENCIA: Una solución podría ser arbitraria larga (por
ejemplo, insertar un número infinito de nada se mueve cuando la
cabra está en un lado y el lobo y la col en la otra). Pero aquí se
pidió una solución de una longitud específica, se le obliga a:
? - Length (X, 7), solución ([w, w, w, w], X).
X = [cabra, nada, el lobo, la cabra, la col, la nada, la cabra]
CONCLUCIONES:
El problema ayuda a incrementar la capacidad de análisis de la
persona dado que se utiliza mucha lógica para su análisis.
El documento plantea una implementación a un acertijo
matemático con más de 1000 años de antigüedad.
Para el desarrollo del problema se estructuro en forma de árbol
por lo cual se utilizó el lenguaje de programación prolog y
métodos de búsqueda por profundidad
ANEXO:
Applications of C++ Programming: Administration, Finance, and Statistics.
http://books.google.com.pe/books?id=I8bq7QaM7UsC&pg=PA339&dq=wolf+c
abbage+goat&hl=es&sa=X&ei=u0izU5icNriosAT7lYHoBA&ved=0CBkQ6AEwAA#
v=onepage&q=wolf%20cabbage%20goat&f=false
BIBLIOGRAFIA:
VICENTE MEAVILLA, el lobo la cabra y la col 272 pags