La Taberna del Puerto

[Rho_Bootis]

.
_________________

[Panoramix]

No sabia que a la chapa le aferctase el polen.

[estruc]

Oyes RHO como has puesto la firma esa???, yo el otro dia lo intente y me decia que firma demasiado larga....esta muy bien pues te da el parte actual creo


_________________

[Spica]

Poss, no me he enterao de naaa..


_________________
LA MAR ENGANCHA, DE VERDAD, ENGANCHA

[Rho_Bootis]

[Spica]

yaaaa no me habia fijado en el cuadro fijo

Unas rondas
_________________
LA MAR ENGANCHA, DE VERDAD, ENGANCHA

[estruc]

Nada que "firma demasiado larga"
_________________

[Anne Bonny]

¿De qué va este post, si se puede preguntar?

[Embat]

Creo que de café, Anne....
Pero ya verás como enseguida alguno saca la cebolla a pasear



Embat
_________________
...and our friends are all on board,
many more of them live next door..."
(Lennon & Mc Cartney)
*******************************
Los barcos hablan!!: _________________
http://embat.latabernadelpuerto.es

[windi]

[MAGOO]

[windi]

[MAGOO]

[ErikElSueco]

Es divertido, pero ¡vaya descoloque!, aún no sé si va de café, paellas o bavarias

[MAGOO]

Va de Windissssssss


_________________
NO LUCHES CONTRA LA MAR, UNETE A ELLA

[windi]

[MAGOO]

[NAUTICO]

Según el manual de post absurdos Versión 3.2 escrito por Roger Rabit entramos en la fase 2: ahora entro yo y digo alguna parida pa amimar la cosa:

A ver cofrades, se me ha escacharrado el enrollador de génova del Masgregor por 25 ava vez , a ver que me sugeris:

1.- Tiro el génova por la borda con el enrollador

2.- Arranco el resto del acasitllaje y el aparejo de vela (al fn y al cabo nunca lo uso)

3.- Me voy a cuatro millas de la costa y lo hundo (pa cobrar el seguro)

4.- Lo pongo a la venta y lo cambio por un Pavaria a ver si encuentro un bajio que esté bien señalizado (pa que serna esas bolas negras ?¿?¿? habra pado por aqui la bruja lola?) y lo empotro en el para luego publicar afotos de mi orza hecha unos zorros y criticar a la marca a diestro y siniestro (Oh Dios Mio no aguanta una caricia del fondo, menuda porqueria de construcción...)

5.- Dejo esta aficción y me dedico a la filatelia que da menos disgustos.

6.- Ninguna de las anteriores.

(Y ahora para continuar con el post de manual Versión 3.2 tengo que poner muchos iconitos mep- )


_________________
Se considera de buen gusto y educación pinchar en los anuncios Xoogle a babor en la página principal
<-- haz click, colabora.
--Miembro de la Liga de los Sin Bronka :P--

[Rho_Bootis]

.
Para entender de que va este hilo hay que tener C.I. = ó > 120



y ajustarlo al momento en que se inicio, o sea ayer por la tarde.
_________________

[NAUTICO]

A entonces lo dejo que no reuno los requisitos
_________________
Se considera de buen gusto y educación pinchar en los anuncios Xoogle a babor en la página principal
<-- haz click, colabora.
--Miembro de la Liga de los Sin Bronka :P--

[ErikElSueco]

Vale, me estás llamando tonto, pues me enfado y me voy.

[peleon]

MMMMMAAAAAANNNNNNDDDDDDEEEEEE!!!!!!!!

_________________
NO WIND, .....NO FUN!!!!!

[slow fox]

Coñe, este foro cada día está más raro

¿Será cosa de la primavera ?

[pierre nodoyuna]

es que todavia no lo habeis cogido, es buenisimo, gracias Rho_Bootis, tan genial como siempre.
_________________
¿A que hoy no habeis pinchado todavia en la publi?. ¿a que esperais para mantener este foro? .¡¡¡Me pinchen c**o!!!!!!

[Natachamar]

Parece algún acertijo pero no lo pillo , aunque para acertijos y averiguaciones, la que nos hizo en su día el cofrade Cor Caroli (que de vez en cuando se va a comprar tabaco un poco lejos) para ayudar al Rapero en un informe que estaba realizando.

Con el permiso de Corca, lo pego aquí porque creo que es una pena que estas cosas se pierdan en la inmensidad del foro. (recuerdo que al pobre lo acusaron de tener algún problema de niñez o algo así ).


"A ver si puedo ayudarte....

"Hay una antigua broma del tiempo de los griegos clásicos que consiste en preguntarle a alguien, digamos Nikolás, si cree que todavía tiene lo que no ha perdido. Nikolás responde que sí, que lo que no se ha perdido todavía se tiene. Entonces se le pregunta si ha perdido cuernos. Nikolás confiesa que no ha perdido cuernos, y se da cuenta de que está forzado a admitir que todavía los tiene.

Lo que tenemos en este ejemplo es una proposición de la forma: Cualquier persona p tiene toda cosa c que no haya perdido. Nikolás es una persona, y no ha perdido cuernos. Así es que unificando la variable p con "Nikolás", y la variable c con "cuernos", podemos sacar conclusiones en detrimento del pobre Nikolás.

Igualmente, examinemos una proposición como "La vida no tiene sentido". A pesar del artículo definido "la", es claro que estamos hablando de cualquier vida, presente, pasada o futura, no de una en especial. Puede ser parafraseado como "Cualquiera vida v no tiene sentido". Esto habla, entre otras, sobre la vida de usted, y la mía, y la de Mahatma Gandhi. Se concluye de ese punto de vista tan pesimista que "La vida de Gandhi no tiene (o tuvo) sentido". Llegamos a la conclusión dándonos cuenta de que podemos unificar la variable v con "la vida de Mahatma Gandhi". El proceso de unificación permite identificar diferentes proposiciones reemplazando variables como p, c y v mediante las substituciones adecuadas.

El reto de la unificación es encontrar valores para las variables que hagan a dos expresiones idénticas. Podemos ver a la substitución que buscamos como un conjunto de parejas en las que el primer término es la variable a substituír y el segundo término es aquello con lo que se va a substituír la variable. Por ejemplo, una substitución, llamémosle , podría ser{p/Nikolás, c/cuernos}. Al resultado de aplicar la substitución , sobre una fórmula lo representamos como y decimos que es un posible unificador: unifica a y a si y sólo si = . Por supuesto, cualquier fórmula se unifica consigo misma mediante el unificador vacío {} que es una substitución vacua.

En nuestro segundo ejemplo, reemplazamos la frase original "La vida no tiene sentido" por algo menos general como "La vida de Gandhi no tuvo sentido". Decimos que la fórmula primera subsume a la segunda que es más específica. En general, dada una substitución , cualquier fórmula subsume a , es decir, subsume al resultado de aplicar la substitución a . Si no tiene variables o es vacía o no tiene variables en común con , esta subsunción es vacua porque no cambia. Por supuesto, podemos substituír unas variables por otras. Por ejemplo, con {x/y} convertimos a "Juan es un x" en "Juan es un y", pero es claro que lo único que hemos hecho es una variante. Decimos que A es variante de B si y sólo si A subsume a B, pero también B subsume a A. En cambio, A subsume propiamente a B si y sólo si A subsume a B pero no al revés.

Desde el punto de vista lógico, lo importante es que de podemos inferir, entre otras cosas, todo lo que subsuma. Todo lo que obtenemos por unificación a partir de un conjunto de proposiciones, queda tan demostrado como mismo. Por eso Nikolás se comprometió a que tenía cuernos desde el momento que dijo que tenía todo lo que no había perdido.

Recordemos que una fórmula implica a cualquier fórmula ( v ). Al añadir alternativas decimos lo mismo o menos que la fórmula original. Por ello subsume a ( v ). Podemos generalizar la noción de subsunción de la siguiente manera:

Sean A y B disyunciones cuyos disyuntos representamos respectivamente como Dis(A) y Dis (B).. Decimos que A subsume a B si hay una sustitución tal que Dis(A) Dis(B). Es decir, si todas las literales de A bajo se convierten en literales de B.

Ejemplos: Q(x) subsume a Q(c) R(y)

Q(a) R(y) subsume a P(x) Q(a) R(c)

P(x) P(f(x)) subsume a P(f(y)) P(f(f(y)))

Intuitivamente una disyunción subsume a otra cuando contiene ya toda la información de un disyunto o parte disyuntiva de la otra por lo que, siendo ambas disyunciones, la implica lógicamente. Obsérvese también que la subsunción es una relación transitiva. Así, la relación de subsunción permite eliminar disyunciones redundantes por ser disyunciones ya subsumidas. Esto permite tener un operador de subsunción Sub para conjuntos de disyunciones de modo que, si S es un conjunto de disyunciones, Sub(S) sea un subconjunto de S en el que no haya disyunciones subsumidas por otras.

Para que el resultado sea único, podemos definir a Sub(S) como el subconjunto de S producido de la siguiente manera: siguiendo el orden alfabético de las disyunciones de S (se podría usar otro orden), eliminamos todas las disyunciones subsumidas por la primera disyunción. A continuación eliminamos todas las subsumidas por la siguiente disyunción de entre las que queden, etcétera. El resultado es un conjunto único Sub(S) en el que ninguna disyunción es subsumida por otra de Sub(S). Obsérvese que todo modelo de S es también modelo de Sub(S) e inversamente porque solamente se ha limpiado a S de material redundante (si lo había).

Sobre la unificación, es importante notar que a veces no hay un unificador y a veces hay varios. Por ejemplo, no hay manera de unificar "Juan es un x" con "María es una y". En cambio, hay varias combinaciones para unificar "Juan es un x" con "Juan es un y". Por ejemplo, {x/y} que produce "Juan es un y", {y/x} que produce "Juan es un x", y {x/hombre, y/hombre} que produce "Juan es un hombre". Normalmente es preferible no usar la tercera unificación porque ya está subsumida en las anteriores. Es mejor obtener la conclusión más general posible porque después podemos instanciarla como mejor convenga. Por ello, usamos la noción de unificador más general, es decir, la combinación que en este caso produce el resultado más general posible (no subsumido propiamente por el producto de otra unificación sobre las mismas fórmulas). Siempre que haya un unificador, habrá un único unificador más general (o varios de ellos, variantes cada uno de los otros).

Para regresar al ejemplo de Nikolás, teníamos que unificar dos oraciones: "Nikolás no ha perdido x", y "p no ha perdido c". La cuantificación universal implícita en "Nikolás no ha perdido x" nos dice que Nikolás no ha perdido nada. Al especificar que tiene cuernos estamos perdiendo información, pues Nikolás se ha comprometido a que todavía tiene todo y ésta es la conclusión más general. Así, aunque un unificador sería {p/Nikolás, c/cuernos, x/cuernos}, éste no es el unificador más general. Si usamos {p/Nikolás, c/x}, podemos tener la premisa general "Nikolás no ha perdido x", y obtener de ella la conclusión general "Nikolás todavía tiene x", sin importar qué sea x."



De nada... CORtribuyendo siempre a la claridad"
_________________
_________________