Ensayo:

La lgica aplicada a la ingeniera

A inicios del siglo XXI la ingeniera en sus muy diversos campos ha logrado
explorar los planetas del Sistema Solar con alto grado de detalle; tambin ha
creado un equipo capaz de derrotar al campen mundial de ajedrez; ha logrado
comunicar al planeta en fracciones de segundo; ha generado internet y la
capacidad de que una persona se conecte a esta red desde cualquier lugar de la
superficie del planeta mediante una computadora porttil y telfono satelital;
ha apoyado y permitido innumerables avances de la ciencia mdica,
astronmica, qumica y en general de cualquier otra. Gracias a la ingeniera se
han creado mquinas automticas y semiautomticas capaces de producir con
muy poca ayuda humana grandes cantidades de productos
como alimentos, automviles y telfonos mviles.
Dicho lo anterior la ingeniera ha sido de gran avance para la humanidad, pero
olvidamos un aspecto muy importante en ella, la lgica; sin ella la ingeniera
no sera capaz de avanzar a campos agigantados.
La lgica resuelve cosas tan sencillas, pues todo ser humano es capaz de
resolver situaciones a base de su razonamiento lgico.
En general el ser humano trata con sistemas complejos a los que trata de
emular, modificar, predecir. Estos sistemas no pueden ser representados por
una simple frmula matemtica pues no responden de forma lineal. Adems
en muchas ocasiones el hombre interacta con dichos sistemas haciendo su
respuesta mucho ms incierta dado que el comportamiento del ser humano
dista mucho de ser un sistema independiente que pueda ser modernizado y
aislado de influencias externas que influyan sobre su comportamiento.
El comportamiento de muchos de los sistemas que nos rodean dista mucho de
lo exacto y lo preciso. Es por lo tanto aqu donde surge la idea de la lgica.
Las cosas no son ni blancas ni negras, si no que pueden ser de color gris, y
debemos descartar la idea de solucin nica. La solucin no es lo blanco o
lo negro, si no que una solucin aceptable en funcin de un determinado
criterio puede ser un ligero tono gris claro. La lgica considerada
aisladamente puede resultar indeseable, sin embargo en determinados sistemas
puede ayudar a reducir la complejidad y aumentar la credibilidad del sistema
que pretendemos simular. Se puede hablar de imprecisin en la medida en
trminos de: incertidumbre, imprecisin, inexactitud. Tambin podemos
hablar de imprecisin bajo el punto de vista probabilstico, y entonces
podemos usar trminos del tipo: incierto, probable. Finalmente posemos
hablar de imprecisin en la descripcin de algo y entonces podremos usar
adjetivos del tipo: vago, borroso, posible.
Este tipo de proposiciones forman el ncleo de la relacin de las personas con
las cuestiones habituales del mundo real, con las que tienen que trabajar.
Como se puede ver, en principio, son incompatibles con los tradicionales
sistemas y modelos de informacin clsicamente ingenieriles.
Considrese la siguiente situacin: dos personas viajan en un vehculo y se
disponen a moverlo, como el espacio es pequeo una de ellas se baja del
mismo y se dispone a dirigir la operacin de movimiento desde el exterior del
vehculo. Entonces se dirige al conductor con expresiones de este tipo:

Dale un poquito para atrs
Gira un poquito a la derecha
Vuelve a girar al otro sentido
Hacia atrs casi nada

No cabe la menor duda que la persona mover el vehculo y adems no har
dao a ninguno de los otros estacionados. Ests expresiones utilizadas no cabe
duda que son un claro exponente de la lgica y han servido de forma eficiente
para realizar un acto concreto.
Ahora imaginemos la misma situacin pero la persona que est fuera del
vehculo se dirige al conductor con expresiones de este tipo:

Dale 33 cm. hacia atrs
Hacia adelante a 7 Km. por hora durante 0.5 segundos
Gira 2 grados a la derecha
Vuelve a girar al otro sentido 66 grados
Hacia atrs 12 cm.

Vemos pues que la lgica no es sinnimo de confusin ni de imprecisin en
sentido estricto, muy al contrario podemos incluso beneficiarnos de ella.
Adems es claro que el ser humano habitualmente se expresa de la primera
forma y este tipo de expresiones que los dems seres humanos son capaces de
procesar, seran en principio, intratables por un ordenador.
Los sistemas actuales altamente basados en procesar la informacin mediante
el uso de ordenadores requieren evidentemente un alto grado de precisin en
la informacin que se les facilita. Cmo se puede salvar esta aparente
distancia entre el tipo de informacin requerido por las mquinas y la
informacin que intercambian entre s los seres humanos. El objetivo es claro
si el ser humano puede tomar decisiones y actuar en condiciones y con
informaciones difusas, por qu no pueden hacerlo las mquinas.
Las afirmaciones que se han hecho hasta aqu cobran especial importancia en
determinados campos de la ingeniera en donde la informacin con la que se
trabaja o la informacin de la que se dispone presenta esta caracterstica antes
mencionada de difusa, vaga o altamente imprecisa, y no es posible cambiar el
modo de operar pues ciertos datos son difcilmente cuantificables de forma
precisa.
La lgica utiliza mtodos de deduccin y de estudio de estructuras de
pensamiento de tantas maneras que se aplica a cualquier ciencia existente.
La matemtica tiene una aplicacin de la lgica muy obvia, sobre todo al tratar
de explicar los teoremas complejos y los pasos y procesos a seguir para
encontrar la solucin en los diferentes problemas.
En la fsica se observa de igual manera la aplicacin de la lgica, sobretodo en
el momento de decidir que formula utilizar y dnde y cmo aplicarla
dependiendo del problema que se plantee.
Ambas ciencias son aplicadas en ramas como la ingeniera, donde la lgica es
aplicada para crear muchas de las cosas que utilizamos hoy en da. Aparatos
electrnicos y medios de transporte son algunos ejemplos de aplicaciones de
la ingeniera con la ayuda de las ciencias matemticas y fsica con ayuda de la
lgica.
En la medicina se utiliza la qumica y la biologa de manera principal como
ciencias auxiliares para la prctica de esta rea. La lgica corre un papel
importante ya que el aporte de muchos de los cientficos e inventores ha sido
gracias a mtodos de deduccin lgicos, los cuales ayudaron a que fueran
capaces de crear y descubrir herramientas que han ayudado a alcanzar un alto
potencial en el mundo de la medicina.
En la ciencia de la gramtica (s, es una ciencia), se aplica el uso de la lgica
al estudiar la estructura de las palabras y poder definir de manera concreta y
precisa el uso de ciertas palabras y oraciones en determinado momento.
Es bien conocido que los profesionales que aplican adecuadamente el
razonamiento lgico tiene mayores posibilidades de xito, tanto en lo
profesional como en lo personal, ya que analizar, saber buscar posibilidades,
demostrar o refutar afirmaciones diversas, le permite a quien tiene ese
conocimiento y manejo ser un mejor ser humano y por consiguiente un
profesional con mayores y mejores aptitudes y actitudes para vivir en una
sociedad como la actual, necesitada de ecuanimidad, raciocinio y capacidad de
anlisis para solucionar sus cada vez ms complejos problemas.
Desde la publicacin de los trabajos de Herbrand en 1930 la lgica se ha
convertido en un valioso instrumento conceptual al servicio de las ciencias, en
la que ayudan para representar el conocimiento y para soportar el diseo de
sistemas de informacin, es decir, hoy la lgica se aborda desde la perspectiva
de aplicacin a la ciencia.
Por ejemplo, basando nuestros argumentos anteriores en la ingeniera en
sistemas computacionales veremos que el uso de la lgica est presente, pues
sus teoras se aplican a diversos campos como el diseo de computadores
digitales y los que funcionan con circuitos integrados VLSI, en estos se utiliza
lgica computacional. La lgica de Hoare en los primeros y la lgica de orden
superior en los segundos, y para ambos la base es el clculo proposicional;
tambin se usa en la ingeniera de software, ya que a travs de la abstraccin
de problemas, representacin grfica de modelos, iteraciones e interacciones.
El ciclo de vida del software que se aplica en la ingeniera de software
requiere de la lgica computacional para que la ingeniera de requisitos y las
pruebas del software se integren desde el comienzo mismo de la interaccin
con los usuarios; y por ltimo, no olvidemos los lenguajes de programacin,
pues aunque la lgica como lenguaje se orienta ms a las personas que a otros
lenguajes de programacin clsicos, esta se convirti en la base fundamental
para la aparicin de la nueva generacin de lenguajes de programacin. Este
paradigma de programacin, conocido como programacin lgica, por s solo
justifica la inclusin de la lgica en los programas de informtica. Los
lenguajes funcionales como LISP se inspiran en el clculo lamba de Church, y
los lgicos como PROLOG3 en el teorema de Herbrand y en el principio de
Resolucin de Robinson, conceptos que hacen parte de la demostracin
automtica de teoremas y utilizados en las investigaciones para demostrar
automticamente teoremas y sistemas de razonamiento.
Ahora una vez que hemos terminado de profundizar en el tema de la lgica
aplicada a las ingenieras, esta ltima, la ingeniera, veremos a lo que se
refiere, pues no llega a ser muy clara la palabra en s.

La ingeniera ante todo, es una profesin creativa. Estamos rodeados de
ejemplos creados por esta profesin en nuestra vida diaria. Podremos
percatarnos de todas las cosas que han sido producto de esta actividad. La casa
o el edificio en que vivimos. El agua que utilizamos para las actividades y que
aceptamos como una comodidad ms de la vida moderna, llega a nuestros
hogares gracias a un sistema de distribucin. Los medios que utilizamos para
transportarnos a la escuela; la electricidad, los alimentos, las maquinas, los
combustibles, las computadoras, todo est relacionado con la ingeniera.
La ingeniera probablemente es una de las profesiones ms antiguas, los
egipcios, los romanos y los mayas desarrollaron actividades de ingeniera para
poder darle a esas civilizaciones el impulso que hoy admiramos.
La definicin de esta profesin ha venido modificndose a medida que las
necesidades del mundo han cambiado. Sin embargo, podemos elaborar una
definicin que se adapte a funciones de esta profesin vigentes en la
actualidad:
La ingeniera es una actividad profesional que usa el mtodo cientfico para
transformar, de una manera econmica y optima, los recursos naturales en
formas tiles para el beneficio del ser humano.

Cuando pensamos en la ingeniera, asociamos esta idea con alguno de los
campos ms comunes de esta profesin.
Sin embargo, la ingeniera no es un proceso mental, no se puede ver a la
ingeniera.
Lo que se ve son los resultados concretos de esta actividad: una presa, una
bomba de agua, una computadora, un edificio, una silla.
La ciencia intenta explicar los fenmenos recientes y sin explicacin, con
ayuda de la lgica, creando modelos matemticos que correspondan con los
resultados experimentales, esto se hace con ayuda de la lgica. Tecnologa e
ingeniera constituyen la aplicacin del conocimiento obtenido a travs de la
ciencia, produciendo resultados prcticos. Los cientficos trabajan con
la ciencia y los ingenieros con la tecnologa. Sin embargo, puede haber puntos
de contacto entre la ciencia y la ingeniera. No es raro que los cientficos se
vean implicados en las aplicaciones prcticas de sus descubrimientos. De
modo anlogo, durante el proceso de desarrollo de la tecnologa, los
ingenieros se encuentran a veces explorando nuevos fenmenos.
La ingeniera tiene principales funciones que describiremos en forma breve a
continuacin.
En el campo de investigacin, el ingeniero colabora estrechamente con el
trabajo cientfico. La investigacin consiste en buscar mtodos, sistemas o
procedimientos nuevos para utilizar los recursos naturales.
En el campo de desarrollo, esta funcin consiste en establecer cul es la
aplicacin prctica de un producto.

En el campo de proyectos, el ingeniero, utiliza una metodologa racional
para encontrar una solucin a algunas necesidades establecidas en un estudio
inicial.
En el campo de construccin, el ingeniero combina los resultados obtenidos
en las etapas anteriores para ensamblar, armar, construir o producir los
sistemas o los aparatos deseados.
En el campo de produccin, los resultados se obtienen mediante un proceso
que se repite cientos o miles de veces. La produccin de un televisor, difiere
de la construccin de una presa, en que la construccin de la presa es una
actividad nica, puesto que otra presa no presentara las mismas caractersticas
que el televisor, en donde la directriz principal consiste en mantener un nivel
de calidad homogneo en todos los aparatos que se fabriquen. A veces la lnea
que separa la construccin de la produccin no se puede definir fcilmente.
En el campo de la operacin, el comportamiento o rendimiento de una
maquina o de una central generadora de energa elctrica, son algunas de las
caractersticas de esta funcin. La preocupacin principal que rige esta
actividad no reside tanto en la calidad del producto que se utiliza, como en la
manera de obtener un mejor rendimiento de los aparatos o sistemas
empleados.
En el campo de la aplicacin y ventas, una vez que se ha elaborado un
producto, hay que distribuirlo en el mercado y convencer a los clientes, en
perspectiva, de las caractersticas que hacen que este producto sea superior al
del competidor. Con el desarrollo de un producto nuevo hay que difundir el
uso al que puede destinarse.
En el campo de la industria, esta funcin est relacionada ms con el
elemento humano que con las mquinas. El ingeniero que desarrolla este
trabajo, acta por lo general, en su capacidad de asesor. El adiestramiento o la
capacitacin del personal nuevo, el establecimiento de una escala de salarios
compatibles con la importancia y la dificultad de la operacin e incluso al
anlisis de un nuevo contrato colectivo de trabajo.
En el campo de la administracin, todo proceso o sistema, debe controlarlo
una o varias personas. Alguna de ellas puede ser ingenieros que se dedican a
la administracin y que alcanzan puestos ejecutivos.
Todos estos campos de la ingeniera, utilizan las teoras de la lgica en sus
diferentes formas, o si no bien la lgica en s, un razonamiento lgico.
En conclusin, y una vez analizada la informacin anterior, estoy de acuerdo
en que siempre se va a aplicar la lgica en las ingenieras, pues es parte
fundamental de toda investigacin, proceso o ciencia, y no solo se puede hacer
uso de la lgica en este campo, pues normalmente, las personas en general,
usamos razonamiento lgico, y la lgica en s para pensar, razonar, analizar,
conversar, etc.
Bibliografa complementaria:

- Arenas, A. L. (1996). Lgica Formal para Informticos. Madrid: Ed. Daz
Santos.
- Ben-Ari, M. (2001). Mathematical Logic for Computer Science. USA:
Springer Verlag.
-Cuenca, J. (1985). Lgica Informtica. Alianza Editorial, S.A.
- Dez, C. J. A. (2002). Iniciacin a la lgica. Madrid: Ariel S.A.
-Huth, M. & Ryan M. (2004). Logic in Computer Science - Modelling and
Reasoning about Systems. Cambridge: Cambridge University Press.
-Iranzo, P. J. (2005). Lgica Simblica para informticos. Espaa: Alfaomega
Ra-Ma.
-Manzano, M. y Huertas S. M. A. (2004). Lgica para principiantes. Madrid:
Alianza Editorial, S. A.
-Paniagua, A. E., Snchez G. J. L. y Martn R. F. (2003). Lgica
Computacional. Espaa: Paraninfo. S. A.
- DUARTE, Oscar G. UNFUZZY Software para el anlisis, diseo,
simulacin e
implementacin de Sistemas de Lgica Difusa. Tesis de Magster en
Automatizacin
Industrial. Universidad Nacional de Colombia, Facultad de Ingeniera, 1997.
-http://www.buenastareas.com/Aplicaciones-de-la-ingenieria-E/722541.html