tag:blogger.com,1999:blog-60850730598515829822024-02-20T08:25:25.644-08:00aprendis de matematicasJORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.comBlogger31125tag:blogger.com,1999:blog-6085073059851582982.post-64876469621641792642013-06-22T02:13:00.002-07:002013-06-22T02:13:37.376-07:00Capitulo 55. Control del Retroceso (Backtracking).<br />
Hemos visto hasta ahora que el programador puede controlar la ejecución de un programa<br />
ordenando las cláusulas y metas. En este capítulo estudiaremos otra manera de control<br />
conocida como corte (cut).<br />
<br />
5.1. Prevención del retroceso.<br />
Prolog realizará automáticamente el retroceso si es necesario para satisfacer una meta. El<br />
retroceso automático es un concepto de programación muy útil porque libera al<br />
programador de la tarea de programar explícitamente los retrocesos. Aunque por otra<br />
parte el retroceso sin control puede ocasionar ineficiencia en un programa. Por lo tanto es<br />
necesario saber prevenir y controlar el retroceso.<br />
<br />
la relación entre X y Y puede especificarse con las tres reglas siguientes :<br />
Regla 1 : if X < 3 then Y = 0<br />
Regla 2 : if 3 <= X and X < 6 then Y = 2<br />
Regla 3 : if 6 <= X then Y = 4<br />
lo cual puede escribirse en Prolog como :<br />
f(X,0) :- X < 3. % Regla 1<br />
f(X,2) :- 3 =< X, X < 6. % Regla 2<br />
f(X,4) :- 6 =< X. % Regla 3<br />
<br />
?- f(7, Y).<br />
Y = 4.<br />
Analicemos que ha sucedido. Las tres reglas fueron exploradas antes de que la respuesta<br />
final fuera obtenida. Esto produjo la siguiente secuencia de metas:<br />
regla 1 : 7 < 3 falla, retrocede y trata la regla 2.<br />
regla 2 : 3 ó 7 tiene éxito, enseguida 7 < 6 falla, retrocede y trata la regla 3.<br />
regla 3 : 6 ó 7 tiene éxito.<br />
esta traza nos revela otra fuente de ineficiencia. Primero establece que X < 3 no es cierto<br />
(7<3 3="<" 7="" es="" falla="" la="" meta="" nbsp="" nosotros="" p="" pero="" que="" sabemos="" siguiente="" tiene="" x="" xito="">una vez que la primera prueba ha fallado, la segunda prueba va a realizarse como si fuese<br />
la negación de la primera. Por lo tanto la segunda prueba es redundante y la meta<br />
correspondiente puede omitirse. Lo mismo es verdad acerca de la meta 6 =< X en la regla<br />
3. Esto nos lleva a la siguiente formulación de las tres reglas anteriores:<br />
if X < 3 then Y = 0,<br />
de-otro-modo if X < 6 then Y = 2,<br />
de-otro-modo Y = 4.<br />
lo cual nos lleva a la tercera versión en Prolog :<br />
f(X,0) :- X < 3, !.<br />
f(X,2) :- X < 5, !.<br />
f(X,4).<br />
éste último programa produce los mismos resultados que la versión original pero es la<br />
versión mas eficiente.<br />
Nótese sin embargo que si removemos los símbolos de corte:<br />
f(X,0) :- X < 3.<br />
f(X,2) :- X < 5.<br />
f(X,4).<br />
la ejecución producirá soluciones múltiples y equivocadas. Por ejemplo:<br />
?- f(1,Y).<br />
Y = 0;<br />
Y = 2;<br />
Y = 4;<br />
no.<br />
<br />
5.2. Usando el corte.<br />
Cálculo del máximo.<br />
El procedimiento para encontrar el valor máximo de dos números puede programarse<br />
como una relación :<br />
max(X,Y,Max).<br />
donde Max = X si X es mayor ó igual a Y, y Max es Y si X es menor a Y :<br />
max(X,Y,X) :- X >= Y.<br />
max(X,Y,Y) :- X < Y.<br />
estas dos reglas son mutuamente exclusivas; una formulación mejor es :<br />
if X ó Y then Max = X,<br />
de-otro-modo Max = Y.<br />
ésto se escribe en Prolog usando el corte como :<br />
max(X,Y,X) :- X >= Y, !.<br />
max(X,Y,Y). </3>JORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com0tag:blogger.com,1999:blog-6085073059851582982.post-49418554899737140612013-06-22T02:03:00.002-07:002013-06-22T02:06:53.459-07:00Capitulo 4 (Ejercicios 4.3)Ejercicio<br />
El problema de las ocho reinas.<br />
Se trata de colocar 8 reinas en un tablero de ajedrez vacío de tal manera que ninguna<br />
reina pueda atacar directamente a otra reina. La solución será programada como un<br />
predicado unario solucion(Pos) que será verdadero si y solamente si Pos representa una<br />
posición de las ocho reinas sin que se ataque una a ninguna otra.<br />
Primero tenemos que elegir una representación para las posiciones del tablero. Una<br />
manera lógica sería representar las posiciones de las ocho reinas como una lista de ocho<br />
ítems, cada ítem correspondiendo a la posición de cada reina. La posición de una reina<br />
será especificada por un par de coordenadas (X,Y) sobre el tablero, donde cada<br />
coordenada es un entero entre 1 y 8. En notación de Prolog lo podriamos manejar así:<br />
X/Y donde el símbolo “/” en este caso no indica realizar una división, sino solamente es<br />
un separador de ambos símbolos X y Y.<br />
<b><br /></b>
<br />
<div style="background-color: white; font-family: 'Lucida Grande', Arial, 'Lucida Sans Unicode', sans-serif; font-size: 13px; line-height: 19px; margin-bottom: 1.2em; padding: 0px;">
<b>Colocar n-reinas en un tablero rectangular de dimensiones NxN, de forma que no se encuentren más de una en la misma línea horizontal, vertical o diagonal.</b></div>
<div style="background-color: white; font-family: 'Lucida Grande', Arial, 'Lucida Sans Unicode', sans-serif; font-size: 13px; line-height: 19px; margin-bottom: 1.2em; padding: 0px;">
<strong style="margin: 0px; padding: 0px;">Solución:</strong></div>
<div style="background-color: white; font-family: 'Lucida Grande', Arial, 'Lucida Sans Unicode', sans-serif; font-size: 13px; line-height: 19px; margin-bottom: 1.2em; padding: 0px;">
<b>La implementación del problema de las n-reinas en WSI-Prolog consiste en tres pasos:</b></div>
<ol style="background-color: white; font-family: 'Lucida Grande', Arial, 'Lucida Sans Unicode', sans-serif; font-size: 13px; line-height: 18px; margin: 1em 0px 1.4em 24px; padding: 0px;">
<li style="margin: 0px 0px 0.5em; padding: 0px;"><b>Generar el tablero de dimensión n.</b></li>
<li style="margin: 0px 0px 0.5em; padding: 0px;"><b>Generar la permutación sobre ese tablero.</b></li>
<li style="margin: 0px 0px 0.5em; padding: 0px;"><b>Comprobar si el tablero cumple la condición donde todas las reinas colocadas no se amenacen entre sí.</b></li>
</ol>
<div style="background-color: white; font-family: 'Lucida Grande', Arial, 'Lucida Sans Unicode', sans-serif; font-size: 13px; line-height: 19px; margin-bottom: 1.2em; padding: 0px;">
<strong style="margin: 0px; padding: 0px;">Código fuente:</strong></div>
<div style="background-color: white; font-family: 'Lucida Grande', Arial, 'Lucida Sans Unicode', sans-serif; font-size: 13px; line-height: 19px; margin-bottom: 1.2em; padding: 0px;">
<b>1.- La siguiente línea añade reglas de nivel superior, es muy importante para poner en ejecución sin el cual SWI-Prolog nos dará error.<br style="margin: 0px; padding: 0px;" /><code style="margin: 0px; padding: 0px;">[user].</code><br style="margin: 0px; padding: 0px;" />2.- nreinas (+N,?Sol). Es el predicado principal que nos permite conocer el resultado de la operación.<br style="margin: 0px; padding: 0px;" /><code style="margin: 0px; padding: 0px;">nreinas(N,Sol) :- generarTablero(N,Tablero), permutar(Tablero,Sol), buenTablero(Sol).</code><br style="margin: 0px; padding: 0px;" />3.- generarTablero(+X,?Y). Este predicado genera un tablero de dimensión variable (N).<br style="margin: 0px; padding: 0px;" /><code style="margin: 0px; padding: 0px;">generarTablero(0,[]).<br style="margin: 0px; padding: 0px;" />generarTablero(X,[X|R]) :- XMenos1 is X - 1, XMenos1 >= 0, generarTablero(XMenos1,R).</code><br style="margin: 0px; padding: 0px;" />4.- permutar(?LX,?LY). Verifica si LY es una permutación de los elementos de LX, la única permutación de la lista vacía es la lista vacía.<br style="margin: 0px; padding: 0px;" /><code style="margin: 0px; padding: 0px;">permutar([],[]).<br style="margin: 0px; padding: 0px;" />permutar(X,[C|Z]) :- seleccionar(X,C,R), permutar(R,Z).</code><br style="margin: 0px; padding: 0px;" />5.- seleccionar(L,X,R). Verifica si X es un elemento de L y R, es la lista L sin el elemento X.<br style="margin: 0px; padding: 0px;" /><code style="margin: 0px; padding: 0px;">seleccionar([X|R],X,R).<br style="margin: 0px; padding: 0px;" />seleccionar([C|R],X,[C|Y]) :- seleccionar(R,X,Y).</code><br style="margin: 0px; padding: 0px;" />6.- buenTablero(+X). Verifica si en el tablero X, ninguna reina amenaza a otra; considerando que amenazar también se entiende ser amenazado.<br style="margin: 0px; padding: 0px;" /><code style="margin: 0px; padding: 0px;">buenTablero([]).<br style="margin: 0px; padding: 0px;" />buenTablero([C|R]) :- not(amenaza(C,R)), buenTablero(R).</code><br style="margin: 0px; padding: 0px;" />7.- amenaza(X,Y). Verifica si una reina colocada en la columna X de la fila n de un tablero amenaza a cualquiera de las demás reinas colocadas en las filas 0.n-1 del resto del tablero, y cuyas columnas vienen especificadas en la lista Y.<br style="margin: 0px; padding: 0px;" /><code style="margin: 0px; padding: 0px;">amenaza(X,Prof,[C|_]) :- X is C+Prof;<br style="margin: 0px; padding: 0px;" />X is C-Prof;<br style="margin: 0px; padding: 0px;" />X = C.<br style="margin: 0px; padding: 0px;" />amenaza(X,Prof,[_|R]) :- ProfMas1 is Prof + 1, amenaza(X,ProfMas1,R).<br style="margin: 0px; padding: 0px;" />amenaza(_,[]) :- fail.<br style="margin: 0px; padding: 0px;" />amenaza(X,Y) :- amenaza(X,1,Y).</code></b></div>
<div style="background-color: white; font-family: 'Lucida Grande', Arial, 'Lucida Sans Unicode', sans-serif; font-size: 13px; line-height: 19px; margin-bottom: 1.2em; padding: 0px;">
<strong style="margin: 0px; padding: 0px;">Ejecución en SWI-Prolog:</strong></div>
<div style="background-color: white; color: #666666; font-family: 'Lucida Grande', Arial, 'Lucida Sans Unicode', sans-serif; font-size: 13px; line-height: 19px; margin-bottom: 1.2em; padding: 0px;">
<a class="fancybox" href="http://blog.picturenice.com/wp-content/uploads/2012/09/swi-prolog.png" rel="fancybox" style="color: #026acb; margin: 0px; outline: none; padding: 0px; text-decoration: none;" title="SWI-Prolog - Problema de las n-reinas"><img alt="" class="alignnone size-full wp-image-98" height="710" src="http://blog.picturenice.com/wp-content/uploads/2012/09/swi-prolog.png" style="-webkit-box-shadow: rgba(0, 0, 0, 0.14902) 0px 1px 1px; border-bottom-left-radius: 4px; border-bottom-right-radius: 4px; border-top-left-radius: 4px; border-top-right-radius: 4px; border: 1px solid rgb(204, 204, 204); box-shadow: rgba(0, 0, 0, 0.14902) 0px 1px 1px; box-sizing: border-box; height: auto; margin: 0px 0px 15px; max-width: 100%; padding: 4px;" title="SWI-Prolog - Problema de las n-reinas" width="953" /></a></div>
<div style="background-color: white; font-family: 'Lucida Grande', Arial, 'Lucida Sans Unicode', sans-serif; font-size: 13px; line-height: 19px; margin-bottom: 1.2em; padding: 0px;">
<b>La imagen está delimitada en tres secciones cuya descripción es:</b></div>
<div style="background-color: white; font-family: 'Lucida Grande', Arial, 'Lucida Sans Unicode', sans-serif; font-size: 13px; line-height: 19px; margin-bottom: 1.2em; padding: 0px;">
<b>a) Código.- Sección de código ingresado.<br style="margin: 0px; padding: 0px;" />b) Ctrl+D.- Combinación de teclas para poder compilar el algoritmo..<br style="margin: 0px; padding: 0px;" />c) Pruebas.- Resultado de la ejecución del algoritmo compilado <code style="margin: 0px; padding: 0px;">nreinas (n,S)</code>, donde n es igual a la dimensión.</b></div>
<div style="background-color: white; font-family: 'Lucida Grande', Arial, 'Lucida Sans Unicode', sans-serif; font-size: 13px; line-height: 19px; margin-bottom: 1.2em; padding: 0px;">
<strong style="margin: 0px; padding: 0px;">Gráficos de los resultados obtenidos</strong></div>
<div style="background-color: white; font-family: 'Lucida Grande', Arial, 'Lucida Sans Unicode', sans-serif; font-size: 13px; line-height: 19px; margin-bottom: 1.2em; padding: 0px;">
<b>Representación gráfica del tablero de 4 dimensiones <code style="margin: 0px; padding: 0px;">nreinas (4,S)</code>, donde S=(3,1,4,2) en el que se aprecia la ausencia de amenaza y amenazado.</b></div>
<div style="background-color: white; color: #666666; font-family: 'Lucida Grande', Arial, 'Lucida Sans Unicode', sans-serif; font-size: 13px; line-height: 19px; margin-bottom: 1.2em; padding: 0px;">
<a class="fancybox" href="http://blog.picturenice.com/wp-content/uploads/2012/09/tablero4n.png" rel="fancybox" style="color: #026acb; margin: 0px; outline: none; padding: 0px; text-decoration: none;" title="Tablero de 4 dimensiones del problema de las n-reinas"><img alt="" class="alignnone size-full wp-image-105" height="263" src="http://blog.picturenice.com/wp-content/uploads/2012/09/tablero4n.png" style="-webkit-box-shadow: rgba(0, 0, 0, 0.14902) 0px 1px 1px; border-bottom-left-radius: 4px; border-bottom-right-radius: 4px; border-top-left-radius: 4px; border-top-right-radius: 4px; border: 1px solid rgb(204, 204, 204); box-shadow: rgba(0, 0, 0, 0.14902) 0px 1px 1px; box-sizing: border-box; height: auto; margin: 0px 0px 15px; max-width: 100%; padding: 4px;" title="Tablero de 4 dimensiones del problema de las n-reinas" width="301" /></a></div>
<div style="background-color: white; font-family: 'Lucida Grande', Arial, 'Lucida Sans Unicode', sans-serif; font-size: 13px; line-height: 19px; margin-bottom: 1.2em; padding: 0px;">
<b>Representación gráfica del tablero de 8 dimensiones nreinas (8,S), donde S=(8,4,1,3,6,2,7,5) en el que se aprecia la ausencia de amenaza y amenazado.</b></div>
<div style="background-color: white; color: #666666; font-family: 'Lucida Grande', Arial, 'Lucida Sans Unicode', sans-serif; font-size: 13px; line-height: 19px; margin-bottom: 1.2em; padding: 0px;">
<a class="fancybox" href="http://blog.picturenice.com/wp-content/uploads/2012/09/tablero8n.png" rel="fancybox" style="color: #026acb; margin: 0px; outline: none; padding: 0px;" title="Tablero de 8 dimensiones del problema de las n-reinas"><img alt="" class="alignnone size-full wp-image-107" height="390" src="http://blog.picturenice.com/wp-content/uploads/2012/09/tablero8n.png" style="-webkit-box-shadow: rgba(0, 0, 0, 0.14902) 0px 1px 1px; border-bottom-left-radius: 4px; border-bottom-right-radius: 4px; border-top-left-radius: 4px; border-top-right-radius: 4px; border: 1px solid rgb(204, 204, 204); box-shadow: rgba(0, 0, 0, 0.14902) 0px 1px 1px; box-sizing: border-box; height: auto; margin: 0px 0px 15px; max-width: 100%; padding: 4px;" title="Tablero de 8 dimensiones del problema de las n-reinas" width="452" /></a></div>
JORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com0tag:blogger.com,1999:blog-6085073059851582982.post-87080809691485363632013-06-22T01:55:00.003-07:002013-06-22T02:07:21.801-07:00Capitulo 4 (Ejercicio 4.2)Este ejemplo muestra como una construcción matemática abstracta se puede trasladar<br />
fácilmente al lenguaje Prolog. Un autómata finito no determinístico es una máquina<br />
abstracta que recibe como entrada una cadena de símbolos y decide si acepta ó rechaza<br />
dicha entrada. El autómata contiene un cierto número de estados y siempre se encuentra<br />
en alguno de ellos; puede además cambiarse de un estado a otro. Su estructura interna<br />
se puede representar con un grafo de transición<br />
<img src="http://external.ak.fbcdn.net/safe_image.php?d=AQBMG8hi670zHv-6&w=169&h=235&url=http%3A%2F%2Fupload.wikimedia.org%2Fwikipedia%2Fcommons%2Fb%2Fb4%2FMealy.png" /><br />
<br />
<div style="background-color: white; font-family: sans-serif; font-size: 13px; line-height: 19.1875px; margin-bottom: 0.5em; margin-top: 0.4em;">
<i><b>Un autómata finito (AF) o máquina de estado finito es un </b><span style="background-image: none; text-decoration: none;"><a href="http://es.wikipedia.org/wiki/Modelo_computacional" style="background-image: none; text-decoration: none;" title="Modelo computacional"><span style="color: black;">modelo computaciona</span></a><b>l</b></span><b> que realiza </b><a href="http://es.wikipedia.org/wiki/Proceso_(inform%C3%A1tica)" style="background-image: none; text-decoration: none;" title="Proceso (informática)"><span style="color: black;">cómputos</span></a><b> en forma automática sobre una </b><a href="http://es.wikipedia.org/wiki/Entrada" style="background-image: none; text-decoration: none;" title="Entrada"><span style="color: black;">entrada</span></a><b> para producir una</b> <span style="color: black;"><a href="http://es.wikipedia.org/wiki/Salida_(inform%C3%A1tica)" style="background-image: none; text-decoration: none;" title="Salida (informática)"><span style="color: black;">salida</span></a><b>.</b></span></i></div>
<div style="background-color: white; font-family: sans-serif; font-size: 13px; line-height: 19.1875px; margin-bottom: 0.5em; margin-top: 0.4em;">
<i><b>Este modelo está conformado por un </b><a href="http://es.wikipedia.org/wiki/Alfabeto" style="background-image: none; text-decoration: none;" title="Alfabeto"><span style="color: black;">alfabeto</span></a><b>, un conjunto de</b> <a href="http://es.wikipedia.org/wiki/Estado_(inform%C3%A1tica)" style="background-image: none; text-decoration: none;" title="Estado (informática)"><span style="color: black;">estados</span></a><b> y un conjunto de transiciones entre dichos estados. Su funcionamiento se basa en una</b> <span style="color: black;"><a href="http://es.wikipedia.org/wiki/Tabla_de_transici%C3%B3n_de_estados" style="background-image: none; text-decoration: none;" title="Tabla de transición de estados"><span style="color: black;">función de transición</span></a><b>, </b></span><b>que recibe a partir de un estado inicial una</b> <a href="http://es.wikipedia.org/wiki/Cadena_de_caracteres" style="background-image: none; text-decoration: none;" title="Cadena de caracteres"><span style="color: black;">cadena de caracteres</span></a><b> pertenecientes al alfabeto (la entrada), y que va leyendo dicha cadena a medida que el autómata se desplaza de un estado a otro, para finalmente detenerse en un estado final o de aceptación, que representa la salida.</b></i></div>
<div style="background-color: white; font-family: sans-serif; font-size: 13px; line-height: 19.1875px; margin-bottom: 0.5em; margin-top: 0.4em;">
<i><b>La finalidad de los autómatas finitos es la de reconocer<span style="color: #444444;"> </span></b><a href="http://es.wikipedia.org/wiki/Lenguaje_regular" style="background-image: none; text-decoration: none;" title="Lenguaje regular"><span style="color: #444444;">lenguajes regulares</span></a>,<b> que corresponden a los </b><a href="http://es.wikipedia.org/wiki/Lenguaje_formal" style="background-image: none; text-decoration: none;" title="Lenguaje formal"><span style="color: black;">lenguajes formales</span></a> <b>más simples según la </b><a href="http://es.wikipedia.org/wiki/Jerarqu%C3%ADa_de_Chomsky" style="background-image: none;" title="Jerarquía de Chomsky">Jerarquía de Chomsky</a>.</i></div>
JORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com0tag:blogger.com,1999:blog-6085073059851582982.post-54406731249918288182013-06-22T01:44:00.002-07:002013-06-22T02:07:45.995-07:00Capitulo 4 (Ejercicios 4.1)<b>Ejercicios.</b><br />
<b>Escribir preguntas para encontrar lo siguiente: </b><br />
<b>a). Nombres de las familias que no tienen hijos. </b><br />
<b>b). Nombres de todos los hijos que no trabajan. </b><br />
<b>c). Nombres de las familias con esposas que trabajan y esposos que no trabajan. </b><br />
<b>d). Todos los hijos cuyos padres difieren en edad con al menos 10 años. </b><br />
<b>e). Definir la relación: gemelos(Hijo1, Hijo2) que sirva para encontrar geme-los en la </b><br />
<b>base de datos.</b><br />
<b>Una base de datos se puede representar en Prolog como un conjunto de hechos. Por </b><br />
<b>ejemplo, una base de datos acerca de familias: cada familia se representa con una sola </b><br />
<b>cláusula y tiene tres componentes: Esposo, Esposa e Hijos. El número de hijos es variable </b><br />
<b>y se debe representar con una lista. A su vez cada persona (esposo, esposa ó hijo) tiene </b><br />
<b>cuatro componentes: nombre, apellido, fecha de nacimiento y trabajo : </b><br />
<b>familia( </b><br />
<b> persona(juan,perez,fecha(7,mayo,1950),trabaja(uag,2000)), </b><br />
<b> persona(ana,flores,fecha(9,mayo,1951),no_trabaja), </b><br />
<b> [persona(jose,perez,fecha(5,mayo,1973),no_trabaja), </b><br />
<b> persona(susana,perez,fecha(5,junio,1975),no_trabaja) </b><br />
<b> ]). </b><br />
<b>familia( </b><br />
<b> persona(jorge,flores,fecha(21,abril,1953),trabaja(uag,2500)), </b><br />
<b> persona(edith,juarez,fecha(5,enero,1960),no_trabaja), </b><br />
<b> [persona(pedro,flores,fecha(1,julio,1980),no_trabaja) </b><br />
<b> ]). </b><br />
<b>...</b><br />
<b>Una vez definida la base de datos, es posible ir adicionando procedimientos que hagan </b><br />
<b>más práctica la interacción con ella : </b><br />
<b>% X es esposo. </b><br />
<b>esposo(X) :- familia(X,_,_). </b><br />
<b>% X es esposa. </b><br />
<b>esposa(X) :- familia(_,X,_). </b><br />
<b>% X es hijo. </b><br />
<b>hijo(X) :- familia(_,_,Hijos), miembro(X,Hijos). </b><br />
<b>miembro(X, [X|L]). </b><br />
<b>miembro(X, [Y|L]) :- miembro(X, L).</b><br />
<b><br /></b>
<b><span style="background-color: white; color: #333333; font-family: Arial, Helvetica, sans-serif; font-size: x-small;">familia(<br />persona(jorge,jaimes,fecha(09,mayo,1991),no_trabaja), <span style="color: #6aa84f;">% esposo</span><br />[ <span style="color: #6aa84f;">%, esposa</span><br />[<span style="color: lime;"> <span style="color: #6aa84f;">%, hijos</span></span><span style="color: #6aa84f;">.</span><br /><br />familia(<br />persona(gustavo,jaimes,fecha(23,abril,1964),trabaja(comerciante,3000)),<br />persona(isabel,moyao,fecha(08,julio,1972),trabaja(empleada,3000)),<br />[ persona(orquidea,jaimes,fecha(21</span><span style="background-color: white; color: #333333; font-family: Arial, Helvetica, sans-serif; font-size: x-small;">,agosto,1989),trabaja(comerciante,2000)) ]<br />).<br /> <span style="color: #6aa84f;">% Asi definiremos quien es esposo: Y es esposo.</span><br />esposo(Y) :- familia(Y,_,_).<br /> <span style="color: #6aa84f;">% Asi definiremos quien es esposa: X es esposa.</span><br />esposa(X) :- familia(_,X,_).<br /> <span style="color: #6aa84f;">% Asi definiremos quien es hijo: </span><br />hijo(Z) :- familia(_,_,Hijos), miembro(Z,Hijos).<br />miembro(X, [X|_]). % Asi utilizaremos esta operacion para enlistar a todos los Hijos.<br />miembro(X, [_|L]) :- miembro(X, L).<br /><span style="color: #6aa84f;">% Asi podremos saber si hay una persona en la base de datos.</span><br /><span style="color: red;">existe</span>(Persona) :- esposo(Persona); esposa(Persona); hijo(Persona).<br /><span style="color: #6aa84f;">% Con este por fecha de nacimiento.</span><br /><span style="color: red;">fecha_nacimiento</span>(persona(_,_,Fecha,_), Fecha).<br /><span style="color: #6aa84f;">% Con esta el salario de una persona.</span><br />salario(persona(_,_,_,trabaja(_,S)),S).<br />salario(persona(_,_,_,no_trabaja),0).<br /><span style="color: #6aa84f;">% Con este ultimo el ingreso total de la familia.</span></span></b><br />
<b>total([],0). </b><br />
<b>total([Persona|Lista],Suma) :- salario(Persona,S), </b><br />
<b> total(Lista,Resto), Suma is S + Resto. </b><br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />JORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com0tag:blogger.com,1999:blog-6085073059851582982.post-79541377024996557172013-06-22T01:30:00.000-07:002013-06-22T01:30:02.601-07:00Capitulo 3<b>Ejercicios.</b><br />
<b>1. Escriba una meta, usando concat, para eliminar los tres últimos elementos de una lista </b><br />
<b>L produciendo otra lista L1. Recomendación: L es la concatenación de L1 y una lista de </b><br />
<b>tres elementos. </b><br />
<b>2. Escriba una secuencia de metas para eliminar los tres primeros elementos y los tres </b><br />
<b>últimos elementos de una lista L produciendo la lista L2. </b><br />
<b>3. Defina la relación: </b><br />
<b> ultimo( Elemento, Lista) </b><br />
<b>de tal modo que Elemento sea el último elemento de la lista Lista. Escriba dos versiones: </b><br />
<b>(a) usando la relación concat, y (b) sin usarla. </b><br />
<span style="background-color: white;"><b><br /></b></span>
<h4 style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 22px; margin: 0px; position: relative;">
<span style="background-color: white;">Átomos</span></h4>
<span style="background-color: white;"><b><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">Se construyen de tres formas:</span><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;" /><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">- Cadena de letras, dígitos y el símbolo de subrayado, pero siempre se comienza con una letra MINÚSCULA.</span><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;" /><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">- Cadenas de caracteres especiales.</span><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;" /><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">- Cadenas de caracteres encerrados en comillas simples ( ' ).</span><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;" /></b></span><br />
<h4 style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 22px; margin: 0px; position: relative;">
<span style="background-color: white;">Números</span></h4>
<span style="background-color: white;"><b><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">Estos pueden ser:</span><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;" /><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">- Reales.</span><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;" /><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">- Enteros.</span><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;" /></b></span><br />
<h4 style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 22px; margin: 0px; position: relative;">
<span style="background-color: white;">Variables</span></h4>
<span style="background-color: white;"><b><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">Cadenas de letras, dígitos y el símbolo de subrayado.</span><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;" /><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">Comienzan siempre en MAYÚSCULAS o el símbolo de subrayado ( _ ).</span><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;" /></b></span><br />
<h4 style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 22px; margin: 0px; position: relative;">
<span style="background-color: white;">Estructuras</span></h4>
<span style="background-color: white;"><b><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">Las estructuras son un tipo de dato muy interesante, las definimos como objetos que tienen varios componentes.</span><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;" /><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">propiedades:</span><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;" /><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">-funtor principal.</span><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;" /><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">-componentes.</span><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;" /><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;" /><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">ejemplo:</span><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;" /><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">departamento(sala,comedor,cocina,cochera,dormitorio)</span><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;" /><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;" /><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">funtor principal:</span><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;" /><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">-departamento.</span><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;" /><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;" /><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">componentes:</span><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;" /><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">-sala,comedor,cocina,cochera,dormitorio</span><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;" /><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">Los componentes deben de ir separados por comas, los componentes son constantes, como ya lo vimos anteriormente, pueden también ser variables o estructuras.</span></b></span>JORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com0tag:blogger.com,1999:blog-6085073059851582982.post-78053444457550727292013-06-22T01:03:00.000-07:002013-06-22T01:08:04.567-07:00Ejercicio 2.4<span style="background-color: white;"><b>Ejercicio. </b></span><br />
<span style="background-color: white;"><b>1. Considere el programa anterior y realize la traza de ejecución a la pregunta : </b></span><br />
<span style="background-color: white;"><b> ?- enorme(X), oscuro(X). </b></span><br />
<span style="background-color: white;"><b>compare su traza de ejecución con la anterior, ya que esencialmente es la misma </b></span><br />
<span style="background-color: white;"><b>pregunta pero con otro orden. ¿En cuál de ambos casos Prolog realiza más trabajo antes </b></span><br />
<span style="background-color: white;"><b>de encontrar la respuesta final? </b></span><br />
<span style="background-color: white;"><b><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;"><br /></span></b></span>
<span style="background-color: white;"><b><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;">a) programa:</span></b></span><br />
<b><span style="background-color: white;"><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;" /></span><span style="background-color: white;"><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;">enorme(oso).</span></span></b><br />
<b><span style="background-color: white;"><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;">enorme(elefante).</span></span></b><br />
<b><span style="background-color: white;"><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;">chico(gato).</span></span></b><br />
<b><span style="background-color: white;"><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;">cafe(oso).</span></span></b><br />
<b><span style="background-color: white;"><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;">negro(gato).</span></span></b><br />
<b><span style="background-color: white;"><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;">gris(elefante).</span></span></b><br />
<b><span style="background-color: white;"><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;">oscuro(Z) :- negro(Z).</span></span></b><br />
<b><span style="background-color: white;"><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;">oscuro(Z) :- cafe(Z).</span></span><span style="background-color: white;"><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;" /></span><span style="background-color: white;"><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;"><br /></span></span></b><br />
<b><span style="background-color: white;"><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;">b)pregunta:</span></span><span style="background-color: white;"><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;">?- enorme(X),oscuro(X).</span></span><span style="background-color: white;"><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;" /></span><span style="background-color: white;"><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;"><br /></span></span></b><br />
<b><span style="background-color: white;"><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;">c)Traza de ejecucion:</span></span><span style="background-color: white;"><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;">1) Lista inicial de metas: enorme(X),oscuro(X).</span></span><span style="background-color: white;"><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;">2) Examina el programa de arriba hacia abajo buscando una clausula cuya cabeza empate con la primera meta: enorme(X) se encuentra en la clausula (1), se instancia X = oso.</span></span><span style="background-color: white;"><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;">3) Se trata o busca satisfacer la segunda meta inicial: oscuro(oso), se encuentra la regla en la clausula 7.</span></span><span style="background-color: white;"><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;" /></span><span style="background-color: white;"><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;">Se busca satisfacer: oscuro(oso) :- negro(oso). (no se encuentra negro(oso)) BACKTRACKING.</span></span><span style="background-color: white;"><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;" /></span><span style="background-color: white;"><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;">4) Tras el backtracking se devuelve a la clausula 7 y se prueba con la clausula 8.</span></span><span style="background-color: white;"><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;" /></span><span style="background-color: white;"><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;">Se busca satisfacer: oscuro(oso) :- cafe(oso). (si se encuentra en el programa la clausula cafe(oso)).</span></span><span style="background-color: white;"><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;" /></span><span style="background-color: white;"><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;">Esta clausula no tiene cuerpo, asi que la lista de metas queda vacia. Esto indica una terminacion exitosa y la instanciacion corresponde a la variable queda como:</span></span><span style="background-color: white;"><br style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;" /></span><span style="background-color: white;"><span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px; text-align: justify;">X = oso.</span></span></b>JORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com0tag:blogger.com,1999:blog-6085073059851582982.post-62980868640141480112013-06-22T00:55:00.004-07:002013-06-22T01:04:17.675-07:00Ejercicios 2.3<h2 style="background-color: #141414; border-bottom-color: rgb(0, 0, 0); border-bottom-style: solid; border-bottom-width: 1px; color: white; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 14px; margin: 0px -15px; padding: 0.6em 15px 0.5em; position: relative; text-align: justify;">
<span style="font-family: inherit;">Ejercicios</span></h2>
<div style="border-top-color: rgb(34, 34, 34); border-top-style: solid; border-top-width: 1px; padding-top: 8px;">
<div style="border-top-color: rgb(34, 34, 34); border-top-style: solid; border-top-width: 1px; padding-top: 8px;">
<span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: x-small;"><span style="background-color: white; line-height: 18px;"><b>Ejercicios. </b></span></span></div>
<div style="border-top-color: rgb(34, 34, 34); border-top-style: solid; border-top-width: 1px; padding-top: 8px;">
<span style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: x-small;"><span style="background-color: white; line-height: 18px;"><b>1. Considere el siguiente programa</b></span></span></div>
</div>
<div style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">
<span style="background-color: white;"><b><br /></b></span></div>
<div style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">
<div>
<span style="background-color: white; font-family: Georgia, 'Times New Roman', serif;"><b>f( 1, uno).</b></span></div>
<div>
<span style="background-color: white; font-family: Georgia, 'Times New Roman', serif;"><b>f( s(1), dos).</b></span></div>
<div>
<span style="background-color: white; font-family: Georgia, 'Times New Roman', serif;"><b>f( s(s(1)), tres).</b></span></div>
<div>
<span style="background-color: white; font-family: Georgia, 'Times New Roman', serif;"><b>f( s(s(s(X))), N) :- f( X, N).</b></span></div>
</div>
<div style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">
<span style="background-color: white;"><b><br /></b></span></div>
<div style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">
<span style="background-color: white; font-family: inherit;"><b>Como contestara prolog las siguientes preguntas?</b></span></div>
<div style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">
<span style="background-color: white;"><b><br /></b></span></div>
<div style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">
<div>
<span style="background-color: white; font-family: Georgia, 'Times New Roman', serif;"><b>(a). ?- f( s(1), A).</b></span></div>
<div>
<span style="background-color: white; font-family: Georgia, 'Times New Roman', serif;"><b>(b). ?- f( s(s(1)), dos).</b></span></div>
<div>
<span style="background-color: white; font-family: Georgia, 'Times New Roman', serif;"><b>(c). ?- f( s(s(s(s(s(s(1)))))), C).</b></span></div>
<div>
<span style="background-color: white; font-family: Georgia, 'Times New Roman', serif;"><b>(d). ?- f( D, tres).</b></span></div>
<div>
<span style="background-color: white; font-family: Georgia, 'Times New Roman', serif;"><b>respuestas exactas</b></span></div>
<div style="color: white;">
<b><img src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgTvhrPHJ7U-hofffkTp561w7kqJxIL0KCa3PQoeTEQ7-pSpO8quTy5AyKIpzu0gdNdX2UU3jFuFUvCoKiPg-AovKxghbdhqH0Za75k8QIfwBz-npxep8MbTxmbEgG47j18tCWemf_pU3A/s1600/prolog12.jpg" /></b></div>
</div>
<div style="color: white; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">
<span style="background-color: black;"><b><br /></b></span></div>
<div style="font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 13px; line-height: 18px;">
<span style="font-family: inherit;"><b><br /><span style="background-color: white;">2)- El siguiente programa dice que dos personas son parientes si,</span></b></span><br />
<span style="background-color: white; font-family: inherit;"><b><br />(a). uno es predecesor del otro, ó</b></span><br />
<span style="background-color: white; font-family: inherit;"><b>(b). ambos tienen un predecesor común, ó</b></span><br />
<span style="background-color: white; font-family: inherit;"><b>(c). ambos tienen un sucesor común :</b></span><br />
<span style="background-color: white;"><b><span style="font-family: Georgia, 'Times New Roman', serif;"><br /></span><span style="font-family: Georgia, 'Times New Roman', serif;">parientes( X, Y) :- predecesor( X, Y).</span></b></span><br />
<span style="background-color: white; font-family: Georgia, 'Times New Roman', serif;"><b>parientes( X, Y) :- predecesor( Y, X).</b></span><br />
<span style="background-color: white; font-family: Georgia, 'Times New Roman', serif;"><b>parientes( X, Y) :- predecesor( Z, X), predecesor( Z, Y).</b></span><br />
<span style="background-color: white; font-family: Georgia, 'Times New Roman', serif;"><b>parientes( X, Y) :- predecesor( X, Z), predecesor( Y, Z).</b></span><br />
<span style="background-color: white;"><b><span style="font-family: Georgia, 'Times New Roman', serif;"><br /></span><span style="font-family: inherit;">¿ puede usted acortar el programa usando la notación de ';' ?</span></b></span><br />
<span style="background-color: white;"><b><span style="font-family: Georgia, 'Times New Roman', serif;"><br /></span><span style="font-family: Georgia, 'Times New Roman', serif;">parientes( X, Y) :- predecesor( X, Y) ; parientes( X, Y) :- predecesor( Y, X) ; </span></b></span><br />
<span style="background-color: white; font-family: Georgia, 'Times New Roman', serif;"><b>parientes( X, Y) :- predecesor( Z, X), predecesor( Z, Y) ; parientes( X, Y) :- predecesor( X, Z), predecesor( Y, Z) . </b></span><br />
<span style="background-color: white;"><b><span style="font-family: Georgia, 'Times New Roman', serif;"><br /></span><span style="font-family: Georgia, 'Times New Roman', serif;"><br /></span><span style="font-family: inherit;">3)- Reescriba el siguiente programa sin utilizar la notación de ';' :</span></b></span><br />
<span style="background-color: white;"><b><span style="font-family: Georgia, 'Times New Roman', serif;"><br /></span><span style="font-family: Georgia, 'Times New Roman', serif;">traducir( Numero, Palabra) :-</span></b></span><br />
<span style="background-color: white; font-family: Georgia, 'Times New Roman', serif;"><b>Numero = 1, Palabra = uno;</b></span><br />
<span style="background-color: white; font-family: Georgia, 'Times New Roman', serif;"><b>Numero = 2, Palabra = dos;</b></span><br />
<span style="background-color: white; font-family: Georgia, 'Times New Roman', serif;"><b>Numero = 3, Palabra = tres.</b></span><br />
<span style="background-color: white;"><b><span style="font-family: Georgia, 'Times New Roman', serif;"><br />traducir( Numero, Palabra) :- Numero = 1, Palabra = uno.</span><br /><span style="font-family: Georgia, 'Times New Roman', serif;">traducir( Numero, Palabra) :- Numero = 1, Palabra = dos.</span><br /><span style="font-family: Georgia, 'Times New Roman', serif;">traducir( Numero, Palabra) :- Numero = 1, Palabra = tres.</span></b></span></div>
JORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com0tag:blogger.com,1999:blog-6085073059851582982.post-46403088359005047282013-06-22T00:33:00.000-07:002013-06-22T00:38:09.534-07:00Ejercicio 2.1 y 2.2Ejercicio. Sugiera una representación para rectángulos, cuadrados y círculos como<br />
objetos Prolog estructurados. Escriba algunos ejemplos que representen objetos físicos<br />
concretos utilizando la representación que sugirió.<br />
<br />
<br />
<span style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: x-small; text-align: justify;"><span style="font-family: Arial, Helvetica, sans-serif;">podemos ver que para construir una circunferencia almenos necesitamos el punto de origen y su radio.</span></span><br />
<br />
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: justify;">
<span style="font-size: x-small;"><span style="font-family: Arial, Helvetica, sans-serif;"><span id="internal-source-marker_0.12435826798900962"><span style="vertical-align: baseline; white-space: pre-wrap;">1. ¿ Las siguiente operaciones de matching tienen éxito ó fallan ?</span></span></span></span></div>
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: justify;">
<span style="font-size: x-small;"><span style="font-family: Arial, Helvetica, sans-serif;"><span style="vertical-align: baseline; white-space: pre-wrap;">Si tienen éxito, ¿cuáles son las instanciaciones resultantes en las variables?</span><br /><span style="vertical-align: baseline; white-space: pre-wrap;">(a). punto( A, B) = punto( 1, 2).</span><br /><span style="vertical-align: baseline; white-space: pre-wrap;">(b). punto( A, B) = punto( X, Y, Z).</span><br /><span style="vertical-align: baseline; white-space: pre-wrap;">(c). +( 2, 2) = 4.</span><br /><span style="vertical-align: baseline; white-space: pre-wrap;">(d). +( 2, D) = +( E, 2).</span><br /><span style="vertical-align: baseline; white-space: pre-wrap;">(c). triangulo(punto(-1,0),P2,P3) = triangulo(P1,punto(1,0),punto(0,Y)).</span><br /><span style="vertical-align: baseline; white-space: pre-wrap;">2. Usando la representación que se definió anteriormente para segmentos de línea,</span><br /><span style="vertical-align: baseline; white-space: pre-wrap;">escriba un término que represente cualquier segmento de línea vertical en x = 5.</span><br /><span style="vertical-align: baseline; white-space: pre-wrap;">3. Asuma que un rectángulo se representa con el término rectángulo( P1, P2, P3, P4)</span><br /><span style="vertical-align: baseline; white-space: pre-wrap;">donde P1,P2,P3,P4 son los vértices del rectángulo ordenado positivamente. Defina la</span><br /><span style="vertical-align: baseline; white-space: pre-wrap;">relación regular( R) que es verdad (true) si R es un rectángulo cuyos lados son vertical y</span><br /><span style="vertical-align: baseline; white-space: pre-wrap;">horizontal.</span></span></span></div>
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: justify;">
<span style="font-size: x-small;"><span style="font-family: Arial, Helvetica, sans-serif;"><span style="vertical-align: baseline; white-space: pre-wrap;"><br /></span></span></span></div>
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: justify;">
<span style="font-size: x-small;"><span style="font-family: Arial, Helvetica, sans-serif;"><span style="white-space: pre-wrap;">a) Podemos ver que hay empatamiento ya que:</span></span></span></div>
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: justify;">
</div>
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: center;">
<span style="font-size: x-small;"><span style="font-family: Arial, Helvetica, sans-serif;"><span style="white-space: pre-wrap;"> A=1 B=2</span></span></span></div>
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: justify;">
<span style="font-size: x-small;"><span style="font-family: Arial, Helvetica, sans-serif;"><span style="white-space: pre-wrap;"><br /></span></span></span></div>
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: justify;">
<span style="font-size: x-small;"><span style="font-family: Arial, Helvetica, sans-serif;"><span style="white-space: pre-wrap;">b) En este caso no hay empatamiento, ya que los argumentos no concuerdan</span><span style="white-space: pre-wrap;">.</span></span></span></div>
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: justify;">
<span style="font-size: x-small;"><span style="font-family: Arial, Helvetica, sans-serif;"><span style="white-space: pre-wrap;"><br /></span></span></span></div>
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: justify;">
<span style="font-size: x-small;"><span style="font-family: Arial, Helvetica, sans-serif;"><span style="white-space: pre-wrap;">c) En este caso si hay empatamiento, ya que la opracion nos lleva al resultado:</span></span></span></div>
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: justify;">
</div>
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: center;">
<span style="font-size: x-small;"><span style="font-family: Arial, Helvetica, sans-serif;"><span style="white-space: pre-wrap;">4=4</span></span></span></div>
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: center;">
<span style="font-size: x-small;"><span style="font-family: Arial, Helvetica, sans-serif;"><span style="white-space: pre-wrap;"><br /></span></span></span></div>
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: center;">
<span style="font-size: x-small;"><span style="font-family: Arial, Helvetica, sans-serif;"><span style="white-space: pre-wrap;"><br /></span></span></span></div>
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: center;">
<span style="font-size: x-small;"><span style="font-family: Arial, Helvetica, sans-serif;"><span style="white-space: pre-wrap;"><br /></span></span></span></div>
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: center;">
<span style="font-size: x-small;"><span style="font-family: Arial, Helvetica, sans-serif;"><span style="white-space: pre-wrap;"><br /></span></span></span></div>
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: center;">
<span style="font-size: x-small;"><span style="font-family: Arial, Helvetica, sans-serif;"><span style="white-space: pre-wrap;"><br /></span></span></span></div>
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: center;">
<span style="font-size: x-small;"><span style="font-family: Arial, Helvetica, sans-serif;"><span style="white-space: pre-wrap;"><br /></span></span></span></div>
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: center;">
<span style="font-size: x-small;"><span style="font-family: Arial, Helvetica, sans-serif;"><span style="white-space: pre-wrap;"><br /></span></span></span></div>
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: center;">
<span style="font-size: x-small;"><span style="font-family: Arial, Helvetica, sans-serif;"><span style="white-space: pre-wrap;"><br /></span></span></span></div>
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjBlGomciJKraz-0XrOtBNlV45KqG-RcFErIBj_FlYWtK8P1KrVppkyA9CmR02J62XMf2_MlBxtrLj4j9Iewb73qTlLf-sBXDCcPNxxFdYX7KlcrktMd8pyhCiNF2HYMvhTN49JqBoKiEU/s1600/circulo.gif" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="320" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjBlGomciJKraz-0XrOtBNlV45KqG-RcFErIBj_FlYWtK8P1KrVppkyA9CmR02J62XMf2_MlBxtrLj4j9Iewb73qTlLf-sBXDCcPNxxFdYX7KlcrktMd8pyhCiNF2HYMvhTN49JqBoKiEU/s320/circulo.gif" width="307" /></a></div>
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: center;">
<span style="font-size: x-small;"><span style="font-family: Arial, Helvetica, sans-serif;"><span style="white-space: pre-wrap;"><br /></span></span></span></div>
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: justify;">
<span style="font-size: x-small;"><span style="font-family: Arial, Helvetica, sans-serif;"><span style="white-space: pre-wrap;"><br /></span></span></span></div>
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: justify;">
<span style="font-size: x-small;"><span style="font-family: Arial, Helvetica, sans-serif;"><span style="white-space: pre-wrap;">d) por lo que vemos si empatan ya que tienen los mismos funtores y por ultimo:</span></span></span></div>
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: center;">
</div>
<span style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: x-small; text-align: justify;"><span style="font-family: Arial, Helvetica, sans-serif;"></span></span><span style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: x-small; text-align: justify;"><span style="font-family: Arial, Helvetica, sans-serif;"></span></span><span style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: x-small; text-align: justify;"><span style="font-family: Arial, Helvetica, sans-serif;"></span></span><span style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: x-small; text-align: justify;"><span style="font-family: Arial, Helvetica, sans-serif;"></span></span><span style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: x-small; text-align: justify;"><span style="font-family: Arial, Helvetica, sans-serif;"></span></span><span style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: x-small; text-align: justify;"><span style="font-family: Arial, Helvetica, sans-serif;"></span></span><span style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: x-small; text-align: justify;"><span style="font-family: Arial, Helvetica, sans-serif;"></span></span><span style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: x-small; text-align: justify;"><span style="font-family: Arial, Helvetica, sans-serif;"></span></span><span style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: x-small; text-align: justify;"><span style="font-family: Arial, Helvetica, sans-serif;"></span></span><span style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: x-small; text-align: justify;"><span style="font-family: Arial, Helvetica, sans-serif;"></span></span><br />
<div style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; text-align: center;">
<span style="font-size: x-small;"><span style="font-family: Arial, Helvetica, sans-serif;"><span style="white-space: pre-wrap;">D=2 E=2</span></span></span></div>
JORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com0tag:blogger.com,1999:blog-6085073059851582982.post-79447409615540456192013-06-18T11:57:00.001-07:002013-06-18T11:57:26.437-07:00Sintaxis y Significado de los Programas <div class="MsoNormal" style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; margin-bottom: 0.0001pt;">
<b><i><span style="font-family: 'Times New Roman', serif; font-size: 12pt;">Prolog reconoce el tipo de un objeto por su sintaxis.<o:p></o:p></span></i></b></div>
<div class="MsoNormal" style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; margin-bottom: 0.0001pt;">
<br /></div>
<div class="MsoNormal" style="background-color: white; margin-bottom: 0.0001pt;">
<span style="color: #333333; font-family: Times New Roman, serif; font-size: small;"><span style="line-height: 20px;">Al igual que en Lógica de Primer Orden, los términos en Prolog se clasifican en tres </span></span><span style="color: #333333; font-family: Times New Roman, serif;"><span style="line-height: 20px;">categorías</span></span><span style="color: #333333; font-family: Times New Roman, serif; font-size: small;"><span style="line-height: 20px;"> constantes, variables y términos compuestos.</span></span><br /><br /><b style="color: #333333; font-family: 'Times New Roman', serif; font-size: 12pt; line-height: 20px;">Constantes</b><br /><br /><span style="color: #333333; font-family: Times New Roman, serif; font-size: small;"><span style="line-height: 20px;">Prolog distingue dos tipos de constantes:</span></span><br /><br /><i style="color: #333333; font-family: 'Times New Roman', serif; font-size: 12pt; line-height: 20px;">Números</i><span style="color: #333333; font-family: Times New Roman, serif; font-size: small;"><span style="line-height: 20px;">. Este tipo de constantes se utilizan para representar tanto números enteros como</span></span><br /><br /><span style="color: #333333; font-family: Times New Roman, serif; font-size: small;"><span style="line-height: 20px;">números reales y poder realizar con ellos operaciones aritméticas.</span></span><br /><br /><span style="color: #333333; font-family: Times New Roman, serif; font-size: small;"><span style="line-height: 20px;">- La representación mas corriente de los números enteros es la notación decimal habitual</span></span><br /><br /><span style="color: #333333; font-family: Times New Roman, serif; font-size: small;"><span style="line-height: 20px;">(por ejemplo 0, 1, -320, 539, etc) aunque también se pueden representar en otras</span></span><br /><br /><span style="color: #333333; font-family: Times New Roman, serif; font-size: small;"><span style="line-height: 20px;">bases no decimales.</span></span><br /><br /><span style="color: #333333; font-family: Times New Roman, serif; font-size: small;"><span style="line-height: 20px;">- Los números reales se pueden representar tanto en notación decimal (por ejemplo</span></span><br /><br /><span style="color: #333333; font-family: Times New Roman, serif; font-size: small;"><span style="line-height: 20px;">1.0, -3.14) como en notación exponencial (por ejemplo 4.5E6, -0.12e+3, 12.0e-2). En ambos casos deberá haber siempre por lo menos un dígito a cada lado del punto.</span></span><br /><br /><b style="color: #333333; font-family: 'Times New Roman', serif; font-size: 12pt; line-height: 20px;"><i>Átomos</i></b><span style="color: #333333; font-family: Times New Roman, serif; font-size: small;"><span style="line-height: 20px;">. Los átomos (no confundir con las formulas atómicas de la LPO) se utilizan para</span></span><br /><br /><span style="color: #333333; font-family: Times New Roman, serif; font-size: small;"><span style="line-height: 20px;">dar nombre a objetos especificos, es decir, representan individuos concretos. Existen tres</span></span><br /><br /><span style="color: #333333; font-family: Times New Roman, serif; font-size: small;"><span style="line-height: 20px;">clases principales de atomos:</span></span><br /><br /><i style="color: #333333; font-family: 'Times New Roman', serif; font-size: 12pt; line-height: 20px;">- cadenas formadas por letras, digitos y el simbolo de subrayado, que deben empezar necesariamente por una letra minuscula.<b><br /></b></i><u style="color: #333333; font-family: 'Times New Roman', serif; font-size: 12pt; line-height: 20px;"><br /><i>Cadenas validas</i></u><span style="color: #333333; font-family: Times New Roman, serif; font-size: small;"><span style="line-height: 20px;">: f, pepe1, libro33a, libro_blanco.</span></span><br /><br /><i style="color: #333333; font-family: 'Times New Roman', serif; font-size: 12pt; line-height: 20px;"><u>Cadenas no validas</u></i><span style="color: #333333; font-family: Times New Roman, serif; font-size: small;"><span style="line-height: 20px;">: 1libro, libro-blanco, _hola, Libro.</span></span><br /><br /><i style="color: #333333; font-family: 'Times New Roman', serif; font-size: 12pt; line-height: 20px;">- cualquier cadena de caracteres encerrada entre comillas simples.<br /></i><span style="color: #333333; font-family: Times New Roman, serif; font-size: small;"><span style="line-height: 20px;">Ejemplos: 'Juan' 'Pepe_Hernandez' 'Carlos Hernández Lopez'.</span></span><br /><br /><span style="color: #333333; font-family: 'Times New Roman', serif; font-size: 12pt; line-height: 20px;"><o:p></o:p></span></div>
<div class="MsoNormal" style="background-color: white; margin-bottom: 0.0001pt; text-align: justify;">
<span style="color: #333333; font-family: Times New Roman, serif; font-size: small;"><span style="line-height: 20px;">Estos </span></span><span style="color: #333333; font-family: Times New Roman, serif;"><span style="line-height: 20px;">átomos</span></span><span style="color: #333333; font-family: Times New Roman, serif; font-size: small;"><span style="line-height: 20px;"> son útiles cuando se necesita trabajar con constantes que empiecen por una letra mayúscula o por un dígito.<o:p></o:p></span></span></div>
<div class="MsoNormal" style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; margin-bottom: 0.0001pt; text-align: justify;">
<br /></div>
<div class="MsoNormal" style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 15px; line-height: 20px; margin-bottom: 0.0001pt;">
<span style="font-family: 'Times New Roman', serif; font-size: 12pt;">- existe además otro tipo de átomos, compuestos por combinaciones especiales de signos, de uso menos común.<o:p></o:p></span></div>
<div>
<span style="font-family: 'Times New Roman', serif; font-size: 12pt;"><br /></span></div>
JORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com0tag:blogger.com,1999:blog-6085073059851582982.post-83619298583673484002013-06-18T11:48:00.002-07:002013-06-18T11:48:51.049-07:001.7Resumen.<br />
La programación en Prolog consiste en definir relaciones y preguntar acerca de las<br />
relaciones.<br />
Un programa consiste de cláusulas. Estas son de tres tipos: hechos, reglas y preguntas.<br />
Una relación puede especificarse con hechos, estableciendo la lista de objetos que<br />
satisfacen la relación o estableciendo las reglas acerca de la relación.<br />
Un procedimiento es un conjunto de cláusulas acerca de una misma relación.<br />
En Prolog, para establecer si un objeto satisface una pregunta puede ser un proceso<br />
complicado que involucra inferencias lógicas, exploración entre alternativas posibles y<br />
posibles procesos de backtracking (vuelta atrás). Todo esto lo realiza automáticamente<br />
Prolog y es en principio oculto para los usuariosJORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com0tag:blogger.com,1999:blog-6085073059851582982.post-81530131899709910602013-03-07T23:23:00.002-08:002013-03-07T23:23:36.578-08:00ejercicio 1.6<div data-canvas-width="412.42240000000027" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 354.64px; transform-origin: 0% 0% 0px; transform: scale(1.07682, 1);">
1.6. Considere la siguiente definición alternativa de predecesor: </div>
<div data-canvas-width="4" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 373.28px; transform-origin: 0% 0% 0px; transform: scale(1, 1);">
</div>
<div data-canvas-width="270.20000000000005" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 391.92px; transform-origin: 0% 0% 0px; transform: scale(1.04324, 1);">
predecesor( X, Z) :- progenitor( X, Z). </div>
<div data-canvas-width="397.4799999999999" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 410.56px; transform-origin: 0% 0% 0px; transform: scale(1.04325, 1);">
predecesor( X, Z) :- progenitor( Y, Z) , predecesor( X, Y). </div>
<div data-canvas-width="553.3408000000001" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 429.2px; transform-origin: 0% 0% 0px; transform: scale(1.05599, 1);">
¿es apropiada esta definición? Si</div>
<div data-canvas-width="553.3408000000001" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 429.2px; transform-origin: 0% 0% 0px; transform: scale(1.05599, 1);">
¿puede usted dibujar un diagrama que corresponda con </div>
<div data-canvas-width="109.1536" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 447.84px; transform-origin: 0% 0% 0px; transform: scale(1.09154, 1);">
esta definición? </div>
<div data-canvas-width="109.1536" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 447.84px; transform-origin: 0% 0% 0px; transform: scale(1.09154, 1);">
</div>
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhEma0AkPSYRij-S9Yjmq6bFkH5yhk3cIoSOtmA0lhSI72_jx8mJHP8FzjMgrDw9rvbm34TQNCt6wkCEleZ7FXZN0NQJSRtP2LCStyBZTLwG9oG2LtM5cnaCmQlDipp8_uyFc_kkZF8BNg/s1600/4.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="259" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhEma0AkPSYRij-S9Yjmq6bFkH5yhk3cIoSOtmA0lhSI72_jx8mJHP8FzjMgrDw9rvbm34TQNCt6wkCEleZ7FXZN0NQJSRtP2LCStyBZTLwG9oG2LtM5cnaCmQlDipp8_uyFc_kkZF8BNg/s320/4.png" width="320" /></a></div>
<div data-canvas-width="109.1536" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 447.84px; transform-origin: 0% 0% 0px; transform: scale(1.09154, 1);">
</div>
<div data-canvas-width="109.1536" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 447.84px; transform-origin: 0% 0% 0px; transform: scale(1.09154, 1);">
</div>
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEi88UlEKDDcwrce74ywgw82txO5pc0HpFW2C65s3SYBVSMXHlx_KNs2rZAzS_1WOM6Ys-38IPBfn9qQrtChdX8zMSsqELEOw9pLJegPxBXheL7qCsCAh0hz0WPmUcTFS9ySGMQXY47hHBY/s1600/5.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="194" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEi88UlEKDDcwrce74ywgw82txO5pc0HpFW2C65s3SYBVSMXHlx_KNs2rZAzS_1WOM6Ys-38IPBfn9qQrtChdX8zMSsqELEOw9pLJegPxBXheL7qCsCAh0hz0WPmUcTFS9ySGMQXY47hHBY/s320/5.png" width="320" /></a></div>
<div data-canvas-width="109.1536" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 447.84px; transform-origin: 0% 0% 0px; transform: scale(1.09154, 1);">
</div>
<div data-canvas-width="109.1536" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 447.84px; transform-origin: 0% 0% 0px; transform: scale(1.09154, 1);">
Diagrama.- </div>
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhEg42vlToI9V_7qV6IuJTuj_SjSxGKsty_MdATwqfTEZO71h4j0mV1bdwV-4-F_uxFZ2JVos9AcTwdXcAiFnLQAdjv1AHKMOR3JMsSr2HjJeTWtaHRZG9-y5UMxRLBVCZb-fuM1ATJuQw/s1600/numero+6.jpeg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhEg42vlToI9V_7qV6IuJTuj_SjSxGKsty_MdATwqfTEZO71h4j0mV1bdwV-4-F_uxFZ2JVos9AcTwdXcAiFnLQAdjv1AHKMOR3JMsSr2HjJeTWtaHRZG9-y5UMxRLBVCZb-fuM1ATJuQw/s1600/numero+6.jpeg" /></a></div>
<div data-canvas-width="109.1536" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 447.84px; transform-origin: 0% 0% 0px; transform: scale(1.09154, 1);">
</div>
JORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com0tag:blogger.com,1999:blog-6085073059851582982.post-38397795706444059732013-03-07T22:54:00.004-08:002013-03-07T22:54:56.988-08:00imagenes de los ejercicios 1.3,1.4 y 1.5<div class="separator" style="clear: both; text-align: center;">
</div>
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhFXZmRcwnCLwP0oH56RBpHU0h_2DDVl96wlJV_cXfZ1fWdSAaPW6xjqzn980mL66i8yPDoqOoxXSJH0klJhZrnYbhs5mziQLpntNrjNqWe0gLWB8k8R1MsFXyCH7ANvv9M56e_VNxAOPw/s1600/Sin+t%C3%ADtulo.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="259" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhFXZmRcwnCLwP0oH56RBpHU0h_2DDVl96wlJV_cXfZ1fWdSAaPW6xjqzn980mL66i8yPDoqOoxXSJH0klJhZrnYbhs5mziQLpntNrjNqWe0gLWB8k8R1MsFXyCH7ANvv9M56e_VNxAOPw/s320/Sin+t%C3%ADtulo.png" width="320" /></a></div>
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEi0sM5VmJkbuCRe63TWKtQSvbjw3k0XETKN27FrKmIcmVTE3blvMXXCtWR1KF96TfDbEJ60M9HeZu9R3rSF6YZMLnImfQYYd1XRk-JVxJwbiCOHdDn6kbJaqzYipdnfBHcvBkPzCxKBPUs/s1600/2.png" imageanchor="1" style="clear: left; float: left; margin-bottom: 1em; margin-right: 1em;"></a><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEi0sM5VmJkbuCRe63TWKtQSvbjw3k0XETKN27FrKmIcmVTE3blvMXXCtWR1KF96TfDbEJ60M9HeZu9R3rSF6YZMLnImfQYYd1XRk-JVxJwbiCOHdDn6kbJaqzYipdnfBHcvBkPzCxKBPUs/s1600/2.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="193" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEi0sM5VmJkbuCRe63TWKtQSvbjw3k0XETKN27FrKmIcmVTE3blvMXXCtWR1KF96TfDbEJ60M9HeZu9R3rSF6YZMLnImfQYYd1XRk-JVxJwbiCOHdDn6kbJaqzYipdnfBHcvBkPzCxKBPUs/s320/2.png" width="320" /></a><br />
<br />
<br />
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiWMmCK8pL0fT3gPdC3hRLbDtZUBtNE3Tx1GKsxAnJVVHXI1NWIXz5LCX4P8tu7cRRIaF6NRrM31s3mSONuzHnEUDJ5jQteQMxhloM1v6Durlg9tUoc40wFRNx9qJ0XXsxVR7lpgcyClyo/s1600/3.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="194" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiWMmCK8pL0fT3gPdC3hRLbDtZUBtNE3Tx1GKsxAnJVVHXI1NWIXz5LCX4P8tu7cRRIaF6NRrM31s3mSONuzHnEUDJ5jQteQMxhloM1v6Durlg9tUoc40wFRNx9qJ0XXsxVR7lpgcyClyo/s320/3.png" width="320" /></a></div>
<br />JORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com0tag:blogger.com,1999:blog-6085073059851582982.post-85016796015984055912013-03-07T22:46:00.001-08:002013-03-07T22:46:59.606-08:00Ejercicios<div data-canvas-width="71.712" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 895.36px; transform-origin: 0% 0% 0px; transform: scale(1.13829, 1);">
Ejercicios </div>
<div data-canvas-width="355.7696000000003" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 913.84px; transform-origin: 0% 0% 0px; transform: scale(1.07483, 1);">
1.3. Traduzca las siguientes sentencias a reglas Prolog. </div>
<div data-canvas-width="554.5664000000004" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 932.48px; transform-origin: 0% 0% 0px; transform: scale(1.09382, 1);">
a). Cualquiera que tiene un hijo es feliz (introduzca la relación unaria llamada 'feliz'). </div>
<div data-canvas-width="554.5664000000004" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 932.48px; transform-origin: 0% 0% 0px; transform: scale(1.09382, 1);">
feliz(X):- padre (X,Y).</div>
<div data-canvas-width="554.5664000000004" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 932.48px; transform-origin: 0% 0% 0px; transform: scale(1.09382, 1);">
1 ?- feliz(X).<br />X = pamela ;<br />X = tomas ;<br />X = tomas ;<br />X = roberto ;<br />X = roberto ;<br />X = patricia.</div>
<div data-canvas-width="554.5664000000004" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 932.48px; transform-origin: 0% 0% 0px; transform: scale(1.09382, 1);">
<br /><div data-canvas-width="545.0592000000001" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 93.6px; transform-origin: 0% 0% 0px; transform: scale(1.06457, 1);">
b). Para todo X, si X tiene un hijo que tiene una hermana, entonces X tiene dos hijos </div>
<div data-canvas-width="261.1407999999999" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 112.24px; transform-origin: 0% 0% 0px; transform: scale(1.07465, 1);">
(introduzca la relación tiene-dos-hijos). </div>
<div data-canvas-width="261.1407999999999" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 112.24px; transform-origin: 0% 0% 0px; transform: scale(1.07465, 1);">
</div>
<div data-canvas-width="261.1407999999999" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 112.24px; transform-origin: 0% 0% 0px; transform: scale(1.07465, 1);">
tiene_dos_hijos(X):- padre(X,Y), padre(Y,Z).</div>
<div data-canvas-width="261.1407999999999" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 112.24px; transform-origin: 0% 0% 0px; transform: scale(1.07465, 1);">
2 ?- tiene_dos_hijos(X).<br />X = pamela ;<br />X = tomas ;<br />X = tomas ;<br />X = tomas ;<br />X = tomas ;<br />X = roberto ;<br />X = roberto ;<br />X = roberto ;<br />X = roberto ;<br />X = patricia.<br /> </div>
<div data-canvas-width="261.1407999999999" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 112.24px; transform-origin: 0% 0% 0px; transform: scale(1.07465, 1);">
1.4. Defina la relación 'nieto' usando la relación 'progenitor'. <div data-canvas-width="333.7392" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 149.52px; transform-origin: 0% 0% 0px; transform: scale(1.07658, 1);">
Recomendación: Será similar a la relación abuelo. </div>
<div data-canvas-width="333.7392" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 149.52px; transform-origin: 0% 0% 0px; transform: scale(1.07658, 1);">
</div>
<div data-canvas-width="333.7392" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 149.52px; transform-origin: 0% 0% 0px; transform: scale(1.07658, 1);">
es_nieto(X):- padre(Y,Z), padre(Z,X).</div>
<div data-canvas-width="333.7392" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 149.52px; transform-origin: 0% 0% 0px; transform: scale(1.07658, 1);">
3?- es_nieto(X).<br />X = ana ;<br />X = patricia ;<br />X = ana ;<br />X = patricia ;<br />X = jaime ;</div>
<div data-canvas-width="333.7392" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 149.52px; transform-origin: 0% 0% 0px; transform: scale(1.07658, 1);">
</div>
<div data-canvas-width="333.7392" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 149.52px; transform-origin: 0% 0% 0px; transform: scale(1.07658, 1);">
</div>
<div data-canvas-width="333.7392" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 149.52px; transform-origin: 0% 0% 0px; transform: scale(1.07658, 1);">
<div data-canvas-width="522.2976" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 168.16px; transform-origin: 0% 0% 0px; transform: scale(1.06809, 1);">
</div>
<div data-canvas-width="522.2976" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 168.16px; transform-origin: 0% 0% 0px; transform: scale(1.06809, 1);">
1.5. Defina la relación tia( X, Y) en términos de las relaciones 'progenitor' y </div>
<div data-canvas-width="378.76160000000004" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 186.8px; transform-origin: 0% 0% 0px; transform: scale(1.06693, 1);">
'hermana'. Dibuje primero un diagrama para ésta relación.</div>
<div data-canvas-width="378.76160000000004" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 186.8px; transform-origin: 0% 0% 0px; transform: scale(1.06693, 1);">
mujer(pamela).<br />mujer(elizabeth).<br />mujer(ana).<br />mujer(patricia).<br />es_hermana(X):- padre(Z,Y), padre(Z,X), mujer(X).</div>
<div data-canvas-width="378.76160000000004" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 186.8px; transform-origin: 0% 0% 0px; transform: scale(1.06693, 1);">
4 ?- es_hermana(X).<br />X = elizabeth ;<br />X = elizabeth ;<br />X = ana ;<br />X = patricia ;<br />X = ana ;<br />X = patricia ;</div>
<div data-canvas-width="378.76160000000004" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 186.8px; transform-origin: 0% 0% 0px; transform: scale(1.06693, 1);">
es_tia(X):- es_hermana(X), padre(Z,Y), padre(Z,X), mujer(X).</div>
<div data-canvas-width="378.76160000000004" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 186.8px; transform-origin: 0% 0% 0px; transform: scale(1.06693, 1);">
5 ?- es_tia(X).<br />X = elizabeth ;<br />X = elizabeth ;<br />X = elizabeth ;<br />X = elizabeth ;<br />X = ana ;<br />X = ana ;<br />X = patricia ;<br />X = patricia ;<br />X = ana ;<br />X = ana ;<br />X = patricia;</div>
<div data-canvas-width="378.76160000000004" data-font-name="Times" dir="ltr" style="font-family: serif; font-size: 16px; left: 120px; top: 186.8px; transform-origin: 0% 0% 0px; transform: scale(1.06693, 1);">
<br /> </div>
<br /> </div>
</div>
</div>
JORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com0tag:blogger.com,1999:blog-6085073059851582982.post-3706455157875925282013-02-27T22:58:00.001-08:002013-02-27T22:58:58.363-08:001.2. Conjunciones de cláusulas.<br />
Ejercicios.<br />
<br />
1. Asumiendo las relaciones definidas en el ejemplo, ¿qué contestará Prolog a las<br />
siguientes preguntas?<br />
<br />
a). ?- progenitor( jaime, X).<br />
<span style="color: #990000;">falso</span><br />
<br />
b). ?- progenitor( X, jaime).<br />
X = patricia<br />
<br />
c). ?- progenitor( pamela, X), progenitor( X, patricia).<br />
X = roberto<br />
<br />
d). ?- progenitor( pamela, X), progenitor( X, Y), progenitor(Y,jaime).<br />
X = roberto<br />
Y = patricia<br />
<br />
2. Formule en Prolog las siguientes preguntas acerca de la relación progenitor:<br />
<br />
a). ¿ cómo se llama el progenitor de patricia ?<br />
X = roberto<br />
<br />
b). ¿ tiene elizabeth algún hijo ?<br />
<span style="color: #990000;">falso</span><br />
<br />
c). ¿ cómo se llama el abuelo de patricia ?<br />
X = tomas<br />
Y = pamela<br />
JORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com0tag:blogger.com,1999:blog-6085073059851582982.post-12916938608614670842013-02-27T21:48:00.000-08:002013-02-27T21:48:14.713-08:00arbol genealogico <h3>
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg8hlKIQU3EDII5eU0J86fe1afYqyTqCvIJ6vcZ7t-HaJ_8GOEkyONjje1wz2bY_9csNFpW-b_5FP4FxkFAgdJUxJuvtWi37zKYvKVYLEsLQcjjC82hRuWbwa_EqIeq8d9X1sU3G6uW2-o/s1600/arbol+genealogico.bmp" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="341" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg8hlKIQU3EDII5eU0J86fe1afYqyTqCvIJ6vcZ7t-HaJ_8GOEkyONjje1wz2bY_9csNFpW-b_5FP4FxkFAgdJUxJuvtWi37zKYvKVYLEsLQcjjC82hRuWbwa_EqIeq8d9X1sU3G6uW2-o/s400/arbol+genealogico.bmp" width="400" /></a></h3>
<h2>
<br /></h2>
JORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com0tag:blogger.com,1999:blog-6085073059851582982.post-74556616625092216672010-09-10T21:49:00.000-07:002010-09-13T18:40:35.658-07:00<a onblur="try {parent.deselectBloggerImageGracefully();} catch(e) {}" href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiM88oYgLHkg4VqIaJxk4p2icJvxFesIMnKqBKcqirKGbCky36SAmZ5ou8G2KsXGSrCuA6LMQrGwSKEkU4Uc3-JiZb32UxpDQIV1rSdTK5Di0oYZFD1QsrJtNHfjJ2tHjZ6321UtZQzVSc/s1600/1625l3.jpg"><img style="float: left; margin: 0pt 10px 10px 0pt; cursor: pointer; width: 320px; height: 258px;" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiM88oYgLHkg4VqIaJxk4p2icJvxFesIMnKqBKcqirKGbCky36SAmZ5ou8G2KsXGSrCuA6LMQrGwSKEkU4Uc3-JiZb32UxpDQIV1rSdTK5Di0oYZFD1QsrJtNHfjJ2tHjZ6321UtZQzVSc/s320/1625l3.jpg" alt="" id="BLOGGER_PHOTO_ID_5516566834193019074" border="0" /></a><a onblur="try {parent.deselectBloggerImageGracefully();} catch(e) {}" href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjFYhH6uDb3P6HorW7hKrMerQfbksA4yMgwxIvd3OZ0zA1BQKEScPFIjxwxqUrJVot2Z_mK-fChIzBwTgf_8Y981DUXLitFchCXBCL2hBXXLlz00hICg8gjUprqBM3xsDTGktoxa1rDXlY/s1600/blaeu.gif"><img style="float: left; margin: 0pt 10px 10px 0pt; cursor: pointer; width: 332px; height: 249px;" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjFYhH6uDb3P6HorW7hKrMerQfbksA4yMgwxIvd3OZ0zA1BQKEScPFIjxwxqUrJVot2Z_mK-fChIzBwTgf_8Y981DUXLitFchCXBCL2hBXXLlz00hICg8gjUprqBM3xsDTGktoxa1rDXlY/s320/blaeu.gif" alt="" id="BLOGGER_PHOTO_ID_5516567293562697346" border="0" /></a><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><div style="text-align: left;"><span style="" onmouseover="_tipon(this)" onmouseout="_tipoff()"><br /></span><br /><span style="" onmouseover="_tipon(this)" onmouseout="_tipoff()"> El mapa de Blaeu 1635 de Nueva Holanda</span><br /></div><span style="" onmouseover="_tipon(this)" onmouseout="_tipoff()">y Nueva Inglaterra refleja estas exploraciones se basa en un mapa manuscrito el famoso Adriaen Block Chart de 1614 </span><span style="" onmouseover="_tipon(this)" onmouseout="_tipoff()"> se muestra como interrumpida por recursos de agua, un elemento tomado del lago Champlain que siguen desplazados lejos hacia el este, una característica que fue copiado de un mapa inédito de Champlain. Una serie de nombres de lugares importantes, hacen su primera aparición cartográfica en este mapa. </span><span style="" onmouseover="_tipon(this)" onmouseout="_tipoff()">Los inicios de asentamientos holandeses </span><span style="" onmouseover="_tipon(this)" onmouseout="_tipoff()"> </span><span style="" onmouseover="_tipon(this)" onmouseout="_tipoff()">en esta área se reflejan en la toponimia "New Amsterdam" y "Fuerte Orange cerca de Albany. Los neerlandeses lugar de numerosos nombres a lo largo de la costa de Nueva Inglaterra.</span><br /><span style="" onmouseover="_tipon(this)" onmouseout="_tipoff()"></span><span style="" onmouseover="_tipon(this)" onmouseout="_tipoff()"><span class="google-src-text" style="direction: ltr; text-align: left;"></span> Un número de tribus se nombran, incluyendo los mohawk ("Maques") y Mohegan.</span><br /><span style="" onmouseover="_tipon(this)" onmouseout="_tipoff()"></span><span style="" onmouseover="_tipon(this)" onmouseout="_tipoff()"><span class="google-src-text" style="direction: ltr; text-align: left;"></span>Corteza de abedul y canoas se muestran, así como un poco establecido los asentamientos indígenas.</span><span style="" onmouseover="_tipon(this)" onmouseout="_tipoff()"><span class="google-src-text" style="direction: ltr; text-align: left;"></span> la vida silvestre de América, incluyendo el pavo y el castor, también se ilustran.</span> <span style="" onmouseover="_tipon(this)" onmouseout="_tipoff()"><span class="google-src-text" style="direction: ltr; text-align: left;"></span></span><br /><span style="" onmouseover="_tipon(this)" onmouseout="_tipoff()"><span class="google-src-text" style="direction: ltr; text-align: left;"></span> Estas ilustraciones, que fueron copiados con frecuencia en los mapas más tarde, fueron importantes fuentes de información sobre la vida en el Nuevo Mundo para los europeos</span>.<span style="" onmouseover="_tipon(this)" onmouseout="_tipoff()"></span><span style="" onmouseover="_tipon(this)" onmouseout="_tipoff()"><span class="google-src-text" style="direction: ltr; text-align: left;"></span></span>JORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com0tag:blogger.com,1999:blog-6085073059851582982.post-75158385482772223532010-04-12T22:43:00.000-07:002010-04-14T14:06:32.291-07:00Fahrenheit 451<div style="text-align: center;"> INTRODUCCION<br /></div><br />Es una novela distópica publicada en 1953, el autor es Ray Bradbury, el término distópico refiere a la perversión de la utopía, el título Fahrenheit 451 hace referencia a la temperatura a la que arde el papel de los libros y equivale 233 grados centígrados, la historia fue llevada al cine por François <span class="IL_AD" id="IL_AD2">Truffaut</span> en 1966.<br /><div style="text-align: center;"> DESCRIPCION<br /></div><br /><br />El personaje principal es un bombero llamado Guy Montag, de la sociedad ficticia de la novela, este no se dedica a apagar incendios, los bomberos tienen la misión quemar libros, de acuerdo a la organización de su gobierno la lectura es perjudicial para la sociedad, ya que impide ser felices ante la angustia de la lectura<br /><br />Guy Montag se relaciona con una chica de tan solo diecisiete años llamada Clarisse McClellan, que tiene el hábito la que le cuenta que su familia y ella misma es llamada antisocial al tener la costumbre de formular preguntas, Guy Montag la tacha de loca pero genera cierta duda sobre su felicidad que va creciendo, más tarde se entera que la muchacha muere atropellada.<br /><br />Beatty, amigo y jefe de Montag, ferviente defensor y admirador del sistema de gobierno le restriega que los libros hacen sentir mal a la gente y son causas de muchos males en la sociedad.<br /><br />En un llamado a los bomberos Motag acude a quemar la casa de una anciana que tenía con ella una biblioteca, la anciana prefiere prenderse fuego ella misma antes que salir de su casa, Montag se impacta ante la escena y piensa que cuanto deben valer los ideales de esas personas que prefieren morir que doblegarse, cosa que aumenta su curiosodad<br /><br />Las esposa de Montag, Mildred es una mujer superficial, a la cual sólo le interesan las tres pantallas de televisor de su sala, Montag cuenta con algunos libros como carnadas, conoce a Faber, antiguo profesor de literatura, Montag le plantea la necesidad para que los libros prevalezcan sobre la ignorancia. Diseñan un plan , donde se ponen de acuerdos con editores.<br /><br />Al llegar a su casa Montag se encuentra a su mujer y sus amigos hablando con <span class="IL_AD" id="IL_AD4">la familia</span>, molesto por su ignorancia e incapacidad de proveer cariño, extrae un libro de poemas y lo lee. Las amigas de Mildret lloran asustadas y su mujer le reprocha su imprudencia.Es una critica muy buena por que aqui te explica una manera de ver las cosas de una forma muy difrente a algunas otras cosas.<br /><br /> CRITICA<br />Esta tiene una critica muy buena por que en esta lectura te muestra una forma muy diferente de ver las cosas con un gran sentido de las cosas.<br /><br /> CONCLUCION<br />Los hombres cuando leen dejan de ser iguales, y la igualdad es el objetivo primordial del gobierno que vela por la felicidad de sus ciudadanos para que no tengan que cuestionar sus acciones y rindan mejor en sus labores, en el inicio de la novela el país se encuentra al borde de una guerra civil.<br /><br /> BIBLIOGRAFIA<br />Autor: Ray Bradbury, el título Fahrenheit 451 hace referencia a la temperatura a la que arde el papel de los libros y equivale 233 grados centígrados.JORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com0tag:blogger.com,1999:blog-6085073059851582982.post-60655386405472806482010-03-05T11:43:00.000-08:002010-03-09T16:44:10.064-08:00TEORÍA DE LA ACTIVIDADBibliografía<br />1.- La categoría del sujeto en la teoria de la<br />actividad, Jorge C. Potrony García, Facultad de Psicología, Universidad de La Habana.<br />2.- -Lomov,B.F (1983) ciclo de conferencias.A.C de cuba. Instituto de ciencias sociales.<br /><br /><br /><br /><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhMu94PQmB2bx3lM_FTfJ1bDZrj1idBR-mfXKC4jAs0UuMXHLkt3E2NVLcM3Tn9OcLGGtS8KMfOChkiT3bnWQZBmpDJNdU8b7jXkrLl2EjJlBcDAHwBq0u6jI0KiqrmJ5V1pn1tZ6wjzsQ/s1600-h/jorge.png"><img style="margin: 0px 10px 10px 0px; width: 320px; float: left; height: 205px;" id="BLOGGER_PHOTO_ID_5446721723634803074" alt="" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhMu94PQmB2bx3lM_FTfJ1bDZrj1idBR-mfXKC4jAs0UuMXHLkt3E2NVLcM3Tn9OcLGGtS8KMfOChkiT3bnWQZBmpDJNdU8b7jXkrLl2EjJlBcDAHwBq0u6jI0KiqrmJ5V1pn1tZ6wjzsQ/s320/jorge.png" border="0" /></a><br /><div></div>JORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com0tag:blogger.com,1999:blog-6085073059851582982.post-6130903295054580062010-02-26T23:12:00.001-08:002010-03-01T13:39:38.589-08:00SINTESIS PRIMER TEMA<a onblur="try {parent.deselectBloggerImageGracefully();} catch(e) {}" href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjbG5kKnhvcJQFX877O14YnmL5Lx1nDxYLg-c0zMMKQ6IWeqoTZQO9qDt6f6Jf-mZCkTu27mhQZPMC8u7xpeWKrzePApmuJ_0XZs7cQ9trAFH6DxzhaUAhz5daAIHibOBHn40kBx684umg/s1600-h/9788420614809.jpg"><img style="margin: 0pt 10px 10px 0pt; float: left; cursor: pointer; width: 195px; height: 320px;" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjbG5kKnhvcJQFX877O14YnmL5Lx1nDxYLg-c0zMMKQ6IWeqoTZQO9qDt6f6Jf-mZCkTu27mhQZPMC8u7xpeWKrzePApmuJ_0XZs7cQ9trAFH6DxzhaUAhz5daAIHibOBHn40kBx684umg/s320/9788420614809.jpg" alt="" id="BLOGGER_PHOTO_ID_5443783266243451362" border="0" /></a><br /><h1 style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >CAPITULO I<o:p></o:p></span></h1> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" ><o:p> </o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><b style=""><span style=";font-family:";font-size:14pt;" >LA CIENCIA DE LA COMUNICACION</span></b><span style=";font-family:";font-size:14pt;" ><o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >¿Es la comunicación una ciencia? podríamos preguntar con cierto escepticismo, ya que nada hay más cotidiano que el acto de comunicarnos constantemente con los demás. Lo fascinante de esta temática es que cada una de estas suposiciones tendría su espacio en la comprensión de los procesos comunicativos, es por esto que la comunicación ha sido calificada como "una ciencia <b style="">múltiple</b> y <b style="">dispersa. </b>Algunos autores ubican el surgimiento de la comunicación como ciencia a partir de los años 30, con el auge de la propaganda en los países capitalistas más desarrollados, sin embargo, pueden encontrarse huellas mucho más remotas, en la filosofía griega de la Antigüedad: en su Oratoria, Aristóteles define los elementos que permiten construir un discurso persuasivo, mientras que en la Retórica, se caracterizan los medios para lograr el fin deseado a través de la palabra. A estos medios el filósofo los llamó: <b style="">ethos</b>, <b style="">pathos</b> y <b style="">logos</b> haciendo referencia a lo que actualmente sería la credibilidad del comunicador.<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >En el pasado más reciente encontramos un valioso aporte a la comprensión científica de la comunicación en los trabajos de C.Marx, quién señaló por vez primera, la doble acepción del concepto, en los planos material y espiritual A la conformación del cuerpo teórico y metodológico de la<span style=""> </span>comunicación han contribuido tanto filósofos, teólogos, psicólogos, antropólogos, sociólogos, como matemáticos, físicos y cibernéticos, los cuales, analizando desde ópticas propias sus diferentes aspectos, han enriquecido su aparato conceptual,<span style=""> </span>contribuyendo a dotarlo de gran complejidad y diversidad. Es así que pueden distinguirse tres fuentes fundamentales en el surgimiento de la ciencia de la Comunicación:- teorías sistémico - matemáticas<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >- teorías antropológicas y lingüísticas<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >- teorías psicológicas y socio psicológicas<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >1. <b style="">Teorías sistémico-matemáticas de la Comunicación</b><o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >En 1928 Hartley introdujo el término en el mundo científico, al crear una medida de la capacidad relativa de transmisión de información de los sistemas eléctricos. Sobre esta base, Shannon y sus colaboradores elaboraron una teoría que aplicaba nociones matemáticas para explicar la transmisión de información, con el objetivo de buscar soluciones a problemas de calidad de las telecomunicaciones. De esta forma surge la <b style="">Teoría de la Información</b>, La teoría de la información ha ejercido una enorme influencia en la conceptualización de la comunicación, introduciendo una<span style=""> </span>terminología particular en este campo, que aún está vigente, tal como <b style="">sintonía</b>, <b style="">ruido</b>, <b style="">frecuencias</b>, etc.<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" ><span style=""> </span>Esta teoría estudia las condiciones técnicas en las cuales la comunicación ocurre pero no los problemas derivados de los contenidos de la misma.<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >Otro importante aporte a la conformación de la comunicación como ciencia lo encontramos en la Cibernética. En 1948 Wiener publicó una obra que revolucionó el mundo científico, con el principio del <b style="">feed-back</b> o <b style="">retroalimentación</b> por medio del cual, determinados dispositivos controlan y regulan su propio funcionamiento, constituyendo lo que se ha denominado <b style="">servomecanismos</b>.<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >La idea de la retroalimentación juega un decisivo papel en el desarrollo de la Teoría General de los Sistemas, que surge en 1950 con la obra de un biólogo: Bertalanffy. Empieza entonces a reconocerse la naturaleza sistémica de los fenómenos en múltiples campos, no sólo biológicos. La Teoría General de los Sistemas y la Cibernética se integran en lo que actualmente se denomina <b style="">Sistémica</b>, la cual ha repercutido considerablemente sobre la interpretación de los procesos comunicativos, como reacción crítica a la concepción lineal y simplista derivada de la Teoría de la Información.<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >Este enfoque resulta mucho más abarcador que el "modelo telegráfico: y ha continuado desarrollándose e integrándose con otras disciplinas científicas. Una variante es la llamada <b style="">perspectiva etológica</b> cuyo objetivo principal es ensanchar sistemáticamente la perspectiva en el<span style=""> </span>estudio de la comunicación para alcanzar la <b style="">relación interactiva entre el sistema y su entorno</b>.<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >En este abordaje se entiende por<span style=""> </span><b style="">sistema</b> En la escuela el <b style="">maestro</b> puede constituir un sistema que es entorno para los alumnos, ya que<span style=""> </span>constituye una importante<span style=""> </span>condición para su aprendizaje. A su vez los alumnos son entorno para el sistema <b style="">maestro</b>.<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >El <b style="">enfoque sistémico</b>, un grupo de investigadores<span style=""> </span>norteamericanos han hecho una importante contribución a la concepción científica de la comunicación. Este grupo surge en la década del 50, encabezado por G. Bateson y es conocido posteriormente como "<b style="">Escuela de Palo Alto</b>", lugar de su ubicación. Propugnan que la ciencia humana de la comunicación debe tener un modelo propio, multidisciplinario, que se nutra de diversas especialidades, principalmente de la Antropología y la Psiquiatría.<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" ><o:p> </o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" ><o:p> </o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" ><o:p> </o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >2. <b style="">Teorías antropológicas y lingüísticas de la Comunicación</b><o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" ><o:p> </o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >Las teorías antropológicas de la comunicación se ocupan de los intercambios significativos a partir del lenguaje y su relación con la cultura. Entre sus principales autores están E. Sapir, E. Cassirer, S. Hayakawa.<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >El hombre está inmerso en un <b style="">contexto cultural dado</b>, del cual no puede aislarse; la comunicación es un proceso permanente, que integra múltiples modos de comportamiento: palabras, gestos, miradas, mímica, manejo del espacio, es un todo integrado del cual no puede aislarse una parte. A esta concepción se le ha denominado "<b style="">modelo orquestal de la comunicación</b>", en oposición al "<b style="">modelo telegráfico</b>" propuesto por Shannon, y supone una acción conjunta donde cada elemento juega un papel determinado, aún de forma involuntaria, ya que en ninguna situación podemos dejar de comunicarnos.<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" ><o:p> </o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >Los principales aportes de la Escuela de Palo Alto a la conceptualización de la comunicación como ciencia son:<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" ><o:p> </o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >R. Birdwhistell y E.T. Hall, extienden el campo de la comunicación a la gestualidad (<b style="">quinésica</b>) y al espacio (<b style="">prosémica</b>). Birdwhistell desarrolla una antropología de la gestualidad;<span style=""> </span>estudia las relaciones entre el lenguaje oral y gestual. Gestualidad y lenguaje se integran en un sistema constituido por diversos modos de comunicación, como el tacto, el olfato, el<span style=""> </span>espacio y el tiempo. E.T.Hall estudia la "dimensión oculta" de la cultura: las relaciones del hombre con el espacio.<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><b style=""><span style=";font-family:";font-size:14pt;" >Las teorías lingüísticas</span></b><span style=";font-family:";font-size:14pt;" > comienzan a contribuir a la ciencia de la comunicación con la diversificación de los estudios sobre el lenguaje, que surgen en las primeras décadas de este siglo y continúan su desarrollo en la actualidad.<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" ><o:p> </o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >La gran diversidad de estudios lingüísticos pueden clasificarse en tres grupos de aspectos son: <o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >El <b style="">semántico</b>, relativo al significado de los términos que componen una lengua; el <b style="">sintáctico</b>, que abarca el análisis de las convenciones o regularidades que estructuran una lengua y como hay que utilizarla y por último, el <b style="">pragmático</b>, En el seno de la Filosofía se estudian también contenidos del lenguaje, como en la obra "The Meaning of Meaning", de Ogden y Richard (1923), la cual contribuyó grandemente a impulsar el estudio de los <b style="">signos</b>, elemento esencial del lenguaje. Como la Sociolingüística<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" ><span style=""> </span>La Psicolingüística y la Semiología o Semiótica. Esta última integrará los tres aspectos antes mencionados, entrando en relaciones estrechas y conflictivas con la Lingüística.<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" ><o:p> </o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >Los pioneros en la constitución de la Semiología o Semiótica son S.C.Pierce y F. de Saussure, norteamericano y europeo<span style=""> </span>respectivamente, quienes darán denominaciones y enfoques distintos a la misma.<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" ><o:p> </o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >Mientras que Peirce se interesa fundamentalmente por la función lógica de los signos y trata de elaborar la <b style="">Semiótica</b> para aplicarla al estudio de cualquier rama del saber, Saussure se preocupa por la función social de los signos y habla de <b style="">Semiología</b>, como disciplina que superaría a la Lingüística, 3. <b style="">Teorías sociológicas y psicológicas de la Comunicación</b><o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" ><o:p> </o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >Bajo este rubro presentamos la concepción marxista de comunicación, los aportes de la Sociología norteamericana, a partir de finales del siglo XIX, la sociología europea y los estudios de corte socio-psicológicos desarrollada principalmente en los Estados Unidos.<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" ><o:p> </o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><b style=""><span style=";font-family:";font-size:14pt;" >Concepción marxista de la comunicación</span></b><span style=";font-family:";font-size:14pt;" ><o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" ><o:p> </o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >La psicología marxista se ha nutrido de las concepciones de Marx sobre comunicación en algunos de sus trabajos filosóficos, para desarrollar científicamente esta temática. En los trabajos de Marx, la comunicación tiene una doble acepción: se maneja en un sentido amplio, como conjunto de relaciones sociales entre los hombres, y en un sentido más limitado, como relaciones espirituales entre ellos.<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" ><o:p> </o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >La comunicación en sentido amplio, también llamada <b style="">comunicación material</b>, se refiere a las relaciones sociales que están en la base de las <b style="">relaciones espirituales</b> para que estas relaciones sociales se produzcan, para que se establezcan vínculos materiales, productivos, políticos, ideológicos, etc.<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" ><span style=""> </span>En la relación mutua se forman sentimientos, afectos, emociones, etc., que determinan el clima emocional en el grupo y pueden afectar su función social.<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" ><o:p> </o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >En la situación del aula, por ejemplo, la calidad de las<span style=""> </span>relaciones que se establecen entre el profesor y sus alumnos y entre los educandos, puede facilitar o entorpecer el proceso docente<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" ><span style=""> </span>Ellas influirán en las relaciones sociales derivadas de los roles de maestro y alumnos.<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >La psicología de orientación marxista asume el principio metodológico de la unidad de la actividad, la comunicación y la conciencia. Esta unidad se basa en su origen común, de índole social: es en la interacción social donde se origina el psiquismo humano.<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><b style=""><span style=";font-family:";font-size:14pt;" >La sociología y psicología social norteamericana</span></b><span style=";font-family:";font-size:14pt;" ><o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" ><o:p> </o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >La sociología norteamericana ha llevado a cabo diversos estudios acerca de las interacciones de los individuos en la sociedad, cuya contribución a la Teoría de la Comunicación son notables.<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" ><o:p> </o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >En este sentido pueden mencionarse como importantes aportes a la conceptualización de los procesos comunicacionales, el<span style=""> </span>pragmatismo de W. James, las teorías educativas y de J. Dewey, el interaccionismo simbólico de G.Mead, así como conceptos de la Psicología Social, tales como <b style="">rol</b>, <b style="">actitud</b>, <b style="">socialización</b> y <b style="">liderazgo</b>, todos los cuales, sustituyen el estudio del sujeto aislado, por su condición de miembro de un grupo y de un sistema social determinado.<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >Los primeros sociólogos destacaron el papel del lenguaje y de la comunicación, como el vehículo unificador del todo social. De todos estos aspectos, debe destacarse especialmente la<span style=""> </span>concepción del <b style="">interaccionismo simbólico</b>, desarrollado por G.Mead. Este autor interpreta cualquier situación de comunicación como situación de interacción, la cual examina desde el punto de<span style=""> </span>vista socio psicológico En la década del 20 emigran a Estados Unidos, presionados por el fascismo europeo, los llamados "padres de la comunicación". Lazars feld y K.Lewin, los cuales, junto a Hovland y Lasswell han sido los más importantes teóricos de la visión socio psicológica de la comunicación durante decenios.<o:p></o:p></span></p> <p class="MsoNormal" style="text-align: center;" align="center"><span style=";font-family:";font-size:14pt;" >En esta época se desarrollan metodologías específicas para la investigación de la opinión pública y en general, para el estudio de los efectos de los medios: Katz y Lazars feld toman de la Psicología Social, métodos y técnicas con tales fines.<o:p></o:p></span></p>JORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com1tag:blogger.com,1999:blog-6085073059851582982.post-43109142316954711192010-02-19T21:19:00.000-08:002010-02-19T22:14:49.688-08:00Síntesis<p class="MsoNormal" align="center" style="text-align:center"><span style="font-size:16.0pt;line-height:115%">ANALOGÍAS CON LA REVOLUCIÓN DE GUTENBERG<o:p></o:p></span></p> <p class="MsoNormal" align="center" style="text-align:center"><span style="font-size:16.0pt;line-height:115%"><o:p> </o:p></span></p> <p class="MsoNormal" style="margin-bottom:0cm;margin-bottom:.0001pt;text-align: justify;line-height:150%"><span style="font-size:12.0pt;line-height:150%; font-family:"Arial","sans-serif"">Nos encontramos realmente en un periodo de fundamentales cambios tecnológicos y culturales análogos a la revolución de Gutenberg, en particular, que podemos predecir a cerca del futuro al comprender la lógica de una tecnología dada o de un conjunto de tecnologías. Según Alvin Kernan, “La lógica” de una tecnología, de una idea o de una institución es su tendencia a conformar en un limitado número de formas o direcciones.<o:p></o:p></span></p> <p class="MsoNormal" style="margin-bottom:0cm;margin-bottom:.0001pt;text-align: justify;line-height:150%"><span style="font-size:12.0pt;line-height:150%; font-family:"Arial","sans-serif""><o:p> La obra de Kernan y de otros como Roger Chartier<span style="mso-spacerun:yes"> </span>y <span style="mso-spacerun:yes"> </span>Eisenstein, que han estudiado las complejas transiciones desde la cultura del manuscrito hacia la de la imprenta, sugiere tres lecciones claras o normas para cualquiera que presenta similares transiciones.</o:p></span></p> <p class="MsoNormal" style="margin-bottom:0cm;margin-bottom:.0001pt;text-align: justify;line-height:150%"><span style="font-size:12.0pt;line-height:150%; font-family:"Arial","sans-serif""><o:p> Según Kernan, no fue hasta principios del siglo XVIII que la tecnología de la imprenta hizo pasar a los países más adelantados de Europa en una cultura oral a otra impresa, reordenando toda la sociedad y reestructurando las letras, más que meramente modificándolas. </o:p></span></p>JORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com1tag:blogger.com,1999:blog-6085073059851582982.post-8072844028507172982009-08-13T16:11:00.000-07:002009-08-13T16:28:54.558-07:00COMO SERA LA TECNOLOGÍA EN EL AÑO 2020<span style="color: rgb(51, 102, 255);">Pues segun lo que yo pienso sera todo mas avanzado creo yo que las cosas van a estar un poco ya mas relacionadas con lo virtual.</span><br /><span style="color: rgb(51, 102, 255);">Esto lo que piensan unos expertos “</span><span style="font-weight: bold; font-style: italic; color: rgb(51, 102, 255);">El Teléfono celular, ahora con características similares a la de una computadora, será en el 2020 el principal medio de conexión a <a href="http://www.mykromix.com/">Internet</a>, suministrando información de manera portátil y con buena conexión</span><span style="color: rgb(51, 102, 255);">“</span><span style="font-weight: bold; font-style: italic; color: rgb(51, 102, 255);">El estilo de vida en el 2020 será afectado por el gran avance tecnológico de esos tiempos</span><span style="font-style: italic; color: rgb(51, 102, 255);"> pero no están para nada seguros de que la gente haga avances iguales al adoptar aparatos mejores, más rápidos y más baratos</span><span style="color: rgb(51, 102, 255);">".</span>JORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com0tag:blogger.com,1999:blog-6085073059851582982.post-25840162551440543772009-08-13T15:59:00.000-07:002009-08-13T16:10:53.357-07:00MUNDOS VIRTUALES<span style="color: rgb(204, 153, 51);"> </span><br /> <div class="entry-content"> <div class="entry-body"> <p style="color: rgb(255, 102, 0);"><a rel="bookmark" href="http://www.3pointd.com/20060531/teaching-science-in-virtual-worlds/" title="Permalink: Teaching Science in Virtual Worlds"><br /></a></p> <p><span style="color: rgb(255, 102, 0);">Los mundos virtuales son la</span><span style="text-decoration: underline; color: rgb(255, 102, 0);"> ultima tendencia en todo el mundo</span><span style="color: rgb(255, 102, 0);">, y están trascendiendo su objetivo inicial y básico para convertirse en entornos alternativos donde desarrollar actividades sociales de todo tipo, en las cuales desea mantener relaciones sociales o incluso hacer negocios para crear una realidad diferente.</span><br /></p></div></div>JORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com0tag:blogger.com,1999:blog-6085073059851582982.post-46349567750064033822009-08-07T19:24:00.000-07:002009-08-07T19:26:09.439-07:00HashtagMe parecio muy interesante porque si deseas buscar a alguien el lo busca sin nececidad de que te vayas a buscar en otro lado.JORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com0tag:blogger.com,1999:blog-6085073059851582982.post-67846931844165138502009-08-07T19:19:00.000-07:002009-08-07T19:24:09.800-07:00TAREA<span style="color:#ff6600;"> Acabo de entrar al hashtag de cristiano ronaldo y pues pienso que como es uno de los mejores jugadores de futbol del mundo si no es que el mejor tiene una cantidad de seguidores que hasta yo quisiera tener y pues esta bien porque todas las personas que lo siguen por medio del twitter es para decirle puras cosas buenas.</span>JORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com0tag:blogger.com,1999:blog-6085073059851582982.post-79723575455603746252009-08-07T17:04:00.000-07:002009-08-07T17:07:46.363-07:00Podcast<span style="color: rgb(255, 102, 0);"> Es un archivo de audio digital (generalmente en formato mp3) ahi puedes acceder en forma automatica, puede tener programas de conversacion, musica, y puedes hacer uso de ello en donde quieras y a la hora que quieras.<br /></span>JORGE ARMANDO JAIMES MOYAOhttp://www.blogger.com/profile/17235431126968542185noreply@blogger.com0