LOGICA COMPUTACIONAL

LOGICA COMPUTACIONAL

Contenido

Introduccin............................................................................... Qu es Lgica Computacional?.............................................. Inteligencia Artificial................................................................... Sistemas Expertos..................................................................... Redes Neuronales..................................................................... Anlisis Lxico........................................................................... Anlisis Morfolgico................................................................... Anlisis Semntico....................................................................

2 3 4 5 6 7 8 9

Anlisis Sintctico..................................................................... 10 Conclusin................................................................................. 11

Pgina -1-

LOGICA COMPUTACIONAL

INTRODUCCIN

El nivel menos abstracto dentro de una computadora est constituido por circuitos electrnicos que responden a diferentes seales elctricas, siguiendo los patrones de la lgica booleana; esto es, compuertas lgicas que devuelven un valor dependiendo de las entradas que se le dan al sistema. La lgica computacional tiene el mismo principio de trabajo, entradassalidas, valores de verdad y principios matemticos bsicos o avanzados, lo cual nos indica que el razonamiento humano tiene mucha comparacin con las maquinas que creamos ya que las computadoras son un reflejo de lo que somos a nivel intelectual y aunque los niveles de procesamiento de las maquinas superan por mucho a la velocidad con la que un ser humano realiza tareas nunca se podrn comparar con el hombre en creatividad y razonamiento debido al simple hecho que las maquinas no trabajan si no incluyen en si mismas un programa que les indique que hacer y como hacerlo, programa que, por lgica, es creado por algunos hombres.

Por qu esta magnifica tecnologa cientfica, que ahorra trabajo y nos hace la vida ms fcil, nos aporta tan poca felicidad? La respuesta es est, simplemente: porque an no hemos aprendido a usarla con tino. Albert Einstein.

Pgina -2-

LOGICA COMPUTACIONAL

Qu es La lgica computacional?
La lgica computacional es la misma lgica matemtica aplicada al contexto de las ciencias de la computacin. Su uso es fundamental a varios niveles: en los circuitos computacionales, en la programacin lgica y en el anlisis y optimizacin (de recursos temporales y espaciales) de algoritmos. Todo sistema computacional, por muy complejo que sea, no est compuesto por ms que circuitos electrnicos que nicamente entienden un lenguaje binario. La lgica computacional se encarga de modelar y optimizar tales sistemas a este nivel.

Cibergrafa: http://es.wikipedia.org/wiki/L%C3%B3gica_computacional

Pgina -3-

LOGICA COMPUTACIONAL

Inteligencia Artificial
En ciencias de la computacin se denomina inteligencia artificial (IA) a las inteligencias no naturales en agentes racionales no vivos.1 2 3 John McCarthy, acu el trmino en 1956, la defini: "Es la ciencia e ingeniera de hacer mquinas inteligentes, especialmente programas de cmputo inteligentes." Para explicar la definicin anterior, entindase a un Agente inteligente que permite pensar, evaluar y actuar conforme a ciertos principios de optimizacin y consistencia, para satisfacer algn objetivo o finalidad. De acuerdo al concepto previo, racionalidad es ms general y por ello ms adecuado que inteligencia para definir la naturaleza del objetivo de esta disciplina. Por lo tanto, y de manera ms especfica la inteligencia artificial es la disciplina que se encarga de construir procesos que al ser ejecutados sobre una arquitectura fsica producen acciones o resultados que maximizan una medida de rendimiento determinada, basndose en la secuencia de entradas percibidas y en el conocimiento almacenado en tal arquitectura. Existen distintos tipos de conocimiento y medios de representacin del conocimiento, el cual puede ser cargado en el agente por su diseador o puede ser aprendido por el mismo agente utilizando tcnicas de aprendizaje. Tambin se distinguen varios tipos de procesos vlidos para obtener resultados racionales, que determinan el tipo de agente inteligente. De ms simples a ms complejos, los cinco principales tipos de procesos son:
Ejecucin de una respuesta predeterminada por cada entrada (anlogas a actos

reflejos en seres vivos).

Bsqueda del estado requerido en el conjunto de los estados producidos por las acciones

posibles.
Algoritmos genticos (anlogo al proceso de evolucin de las cadenas de ADN). Redes neuronales artificiales (anlogo al funcionamiento fsico del cerebro de animales y

humanos).
Razonamiento mediante una lgica formal (anlogo al pensamiento abstracto humano).

Cibergrafa: http://es.wikipedia.org/wiki/Inteligencia_artificial

Pgina -4-

LOGICA COMPUTACIONAL

Sistemas Expertos
Es una aplicacin informtica capaz de solucionar un conjunto de problemas que exigen un gran conocimiento sobre un determinado tema. Un sistema experto es un conjunto de programas que, sobre una base de conocimientos, posee informacin de uno o ms expertos en un rea especfica. Se puede entender como una rama de la inteligencia artificial, donde el poder de resolucin de un problema en un programa de computadora viene del conocimiento de un dominio especfico. Estos sistemas imitan las actividades de un humano para resolver problemas de distinta ndole (no necesariamente tiene que ser de inteligencia artificial). Tambin se dice que un SE se basa en el conocimiento declarativo (hechos sobre objetos, situaciones) y el conocimiento de control (informacin sobre el seguimiento de una accin). Para que un sistema experto sea herramienta efectiva, los usuarios deben interactuar de una forma fcil, reuniendo dos capacidades para poder cumplirlo: Explicar sus razonamientos o base del conocimiento: los sistemas expertos se deben realizar siguiendo ciertas reglas o pasos comprensibles de manera que se pueda generar la explicacin para cada una de estas reglas, que a la vez se basan en hechos. Adquisicin de nuevos conocimientos o integrador del sistema: son mecanismos de razonamiento que sirven para modificar los conocimientos anteriores. Sobre la base de lo anterior se puede decir que los sistemas expertos son el producto de investigaciones en el campo de la inteligencia artificial ya que sta no intenta sustituir a los expertos humanos, sino que se desea ayudarlos a realizar con ms rapidez y eficacia todas las tareas que realiza.

Debido a esto en la actualidad se estn mezclando diferentes tcnicas o aplicaciones aprovechando las ventajas que cada una de estas ofrece para poder tener empresas ms seguras. Un ejemplo de estas tcnicas sera los agentes que tienen la capacidad de negociar y navegar a travs de recursos en lnea; y es por eso que en la actualidad juega un papel preponderante en los sistemas expertos.

Cibergrafa: http://es.wikipedia.org/wiki/Sistema_experto

Pgina -5-

LOGICA COMPUTACIONAL

Redes Neuronales
Las redes de neuronas artificiales (denominadas habitualmente como RNA o en ingls como: "ANN"1 ) son un paradigma de aprendizaje y procesamiento automtico inspirado en la forma en que funciona el sistema nervioso de los animales. Se trata de un sistema de interconexin de neuronas en una red que colabora para producir un estmulo de salida. En inteligencia artificial es frecuente referirse a ellas como redes de neuronas o redes neuronales.

Red neuronal artificial perceptrn simple con n neuronas de entrada, m neuronas en su capa oculta y una neurona de escape.

Una red neuronal se compone de unidades llamadas neuronas. Cada neurona recibe una serie de entradas a travs de interconexiones y emite una salida. Esta salida viene dada por tres funciones: Una funcin de propagacin (tambin conocida como funcin de excitacin), que por lo general consiste en el sumatorio de cada entrada multiplicada por el peso de su interconexin (valor neto). Si el peso es positivo, la conexin se denomina excitatoria; si es negativo, se denomina inhibitoria. Una funcin de activacin, que modifica a la anterior. Puede no existir, siendo en este caso la salida la misma funcin de propagacin. Una funcin de transferencia, que se aplica al valor devuelto por la funcin de activacin. Se utiliza para acotar la salida de la neurona y generalmente viene dada por la interpretacin que queramos darle a dichas salidas. Algunas de las ms utilizadas son la funcin sigmoidea (para obtener valores en el intervalo [0,1]) y la tangente hiperblica (para obtener valores en el intervalo [-1,1]). Cibergrafa:
http://es.wikipedia.org/wiki/Red_neuronal_artificial

Pgina -6-

LOGICA COMPUTACIONAL

Anlisis Lxico
La especificacin de un lenguaje de programacin a menudo incluye un conjunto de reglas que definen el lxico. Estas reglas consisten comunmente en expresiones regulares que indican el conjunto de posibles secuencias de caracteres que definen un token o lexema. En algunos lenguajes de programacin es necesario establecer patrones para caracteres especiales (como el espacio en blanco) que la gramtica pueda reconocer sin que constituya un token en s. Un analizador lxico o analizador lexicogrfico (en ingls scanner) es la primera fase de un compilador consistente en un programa que recibe como entrada el cdigo fuente de otro programa (secuencia de caracteres) y produce una salida compuesta de tokens (componentes lxicos) o smbolos. Estos tokens sirven para una posterior etapa del proceso de traduccin, siendo la entrada para el analizador sintctico (en ingls parser), a este proceso se le conoce en el medio como Anlisis Lxico.

Analizador Lxico SQL

Analizador Lxico Visual Studio

Cibergrafa: ilg http://es.wikipedia.org/wiki/Analizador_l%C3%A9xico

Pgina -7-

LOGICA COMPUTACIONAL

Anlisis Morfolgico
Consiste en determinar la forma, clase o categora gramatical de cada palabra de una oracin. No confundir ni mezclar con el anlisis sintctico en el que se determinan las funciones de las palabras o grupos de palabras dentro de la oracin, este sera el significado literario de Anlisis Morfolgico. en programacin el equivalente sera encontrar toda la informacin posible ligada a una palabra (morfemas) para lo cual en informtica contamos con un gran nmero de aplicaciones que nos ayudan a realizar esta tarea de forma ms practica y de manera casi inmediata. Estos programas permiten obtener la informacin morfolgica ligada con una palabra: el usuario introduce una palabra y el programa la descompone en todos los posibles formantes (morfemas) presentes en la base de datos lxicos. Posteriormente, determina qu anlisis pueden ser correctos, de acuerdo con las reglas de formacin de palabras y utilizando la informacin asociada a los distintos formantes. Algunos programas contemplan nicamente la informacin flexiva; otros incorporan todos o algunos fenmenos derivativos. En este segundo caso, algunos programas de anlisis morfolgico pueden intentar dar un anlisis tentativo de palabras desconocidas por medio de diversos procedimientos (por ejemplo, tomando en cuenta los prefijos y/o sufijos involucrados, considerando el contexto de aparicin o posibles antecedentes lingsticos, etc.). La contraparte informtica de estos programas de anlisis morfolgico son los llamados lematizadores, que utilizan la misma base de datos lxicos. Los lematizadores permiten reconocer cul es la palabra (i.e., el lexema) que subyace a determinada forma. Para ello realizan el procedimiento inverso al que hemos detallado antes: contrastan la forma introducida por el usuario con la base de datos hasta reconocer la/s entrada/s con la/s que podra ser compatible.

Cibergrafa: http://aportes.educ.ar/lengua/nucleo-teorico/influencia-de-las-tic/tecnologias-de-la-informacion-y-la-comunicacion-tic-y-lingueistica/analizadores_basicos.php

Pgina -8-

LOGICA COMPUTACIONAL

Anlisis Semntico
La fase de anlisis semntico de un procesador de lenguaje es aqulla que computa la informacin adicional necesaria para el procesamiento de un lenguaje, una vez que la estructura sintctica de un programa haya sido obtenida. Es por tanto la fase posterior a la de anlisis sintctico y la ltima dentro del proceso de sntesis de un lenguaje de programacin. Sintaxis de un lenguaje de programacin es el conjunto de reglas formales que especifican la estructura de los programas pertenecientes a dicho lenguaje. Semntica de un lenguaje de programacin es el conjunto de reglas que especifican el significado de cualquier sentencia sintcticamente vlida. Finalmente, el anlisis semntico1 de un procesador de lenguaje es la fase encargada de detectar la validez semntica de las sentencias aceptadas por el analizador sintctico. Ejemplo 1:Dado el siguiente ejemplo de cdigo en C:

superficie = base * altura / 2;

La sintaxis del lenguaje C indica que las expresiones se pueden formar con un conjunto de operadores y un conjunto de elementos bsicos. Entre los operadores, con sintaxis binaria infija, se encuentran la asignacin, el producto y la divisin. Entre los elementos bsicos de una expresin existen los identificadores y las constantes enteras sin signo (entre otros). Su semntica identifica que en el registro asociado al identificador superficie se le va a asociar el valor resultante del producto de los valores asociados a base y altura, divididos por dos (la superficie de un tringulo).

Bibliografa Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman. Compiladores: Principios, Tcnicas y Herramientas. Addison-Wesley Iberoamericana. 1990.

Pgina -9-

LOGICA COMPUTACIONAL

Anlisis Sintctico
Un analizador sintctico (en ingls parser) es una de las partes de un compilador que transforma su entrada en un rbol de derivacin. El anlisis sintctico convierte el texto de entrada en otras estructuras (comnmente rboles), que son ms tiles para el posterior anlisis y capturan la jerarqua implcita de la entrada. Un analizador lxico crea tokens de una secuencia de caracteres de entrada y son estos tokens los que son procesados por el analizador sintctico para construir la estructura de datos, por ejemplo un rbol de anlisis o rboles de sintaxis abstracta. El anlisis sintctico tambin es un estado inicial del anlisis de frases de lenguaje natural. Es usado para generar diagramas de lenguajes que usan flexin gramatical, como los idiomas romances o el latn. Los lenguajes habitualmente reconocidos por los analizadores sintcticos son los lenguajes libres de contexto. Cabe notar que existe una justificacin formal que establece que los lenguajes libres de contexto son aquellos reconocibles por un autmata de pila, de modo que todo analizador sintctico que reconozca un lenguaje libre de contexto es equivalente en capacidad computacional a un autmata de pila. Los analizadores sintcticos fueron extensivamente estudiados durante los aos 70 del siglo XX, detectndose numerosos patrones de funcionamiento en ellos, cosa que permiti la creacin de programas generadores de analizadores sintticos a partir de una especificacin de la sintaxis del lenguaje en forma Backus-Naur por ejemplo, tales como yacc, GNU bison y javaCC.

Cibergrafa: http://es.wikipedia.org/wiki/Analizador_sint%C3%A1ctico

Pgina -10-

LOGICA COMPUTACIONAL

Conclusin:
La Lgica Computacional pretende que los estudiantes adquieran la lgica y las bases para programar en cualquier lenguaje de programacin, pero, es el individuo quien a travs de su propia lgica realiza dichos programas, por lo tanto, la lgica computacional termina donde la Lgica del individuo comienza, y es esto ultimo lo que ha permitido a los sistemas informticos computarizados avanzan en pocas dcadas lo que a otras tecnologas(incluyendo ciencias) les ha tomado siglos. ilg En tanto las leyes de las matemticas se refieren a la realidad, no son ciertas; en tanto son ciertas, no se refieren a la realidad Albert Einstein.

Pgina -11-