martes, 25 de mayo de 2010

Inteligencia Artificial

Se denomina inteligencia artificial (IA) a la rama de las Ciencias de la Computación dedicada al desarrollo de agentes racionales no vivos.

Para explicar la definición anterior, entiéndase a un agente como cualquier cosa capaz de percibir su entorno (recibir entradas), procesar tales percepciones y actuar en su entorno (proporcionar salidas), y entiéndase a la [racionalidad] como la característica que posee una elección de ser correcta, más específicamente, de tender a maximizar un resultado esperado (este concepto de racionalidad es más general y por ello más adecuado que inteligencia para definir la naturaleza del objetivo de esta disciplina).

Por lo tanto, y de manera más específica la inteligencia artificial es la disciplina que se encarga de construir procesos que al ser ejecutados sobre una arquitectura física producen acciones o resultados que maximizan una medida de rendimiento determinada, basándose en la secuencia de entradas percibidas y en el conocimiento almacenado en tal arquitectura.

Aplicaciones de la Logica Matematica

La lógica proposicional se la usa para proporcionar reglas y técnicas para poder saber si un argumento es válido o no. Además en matemáticas se puede aplicar para la resolución de teoremas; en ciencias de la computación se lo puede aplicar para saber si son o no correctos los algoritmos de un programa; en las ciencias físicas y naturales se los usa para sacar conclusiones de experimentos; y en las ciencias sociales y el diario vivir se lo usa para resolver multitud de problemas.

Otra de las aplicaciones que se le ha podido encontrar a la lógica proposicional es en el internet en un buscador ya que si tratamos de buscar dos significados que tengan relación o bien que sean opuestos mediante el uso de los conectora and y or: si buscamos un concepto y lo queremos asociar con otro usamos el conector and, en cambio si queremos buscar dos significados que sean diferentes usamos el conector or.

Definicion de Logica Matemática


La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática guarda estrechas conexiones con la ciencias de la computación y la lógica filosófica.

La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican conceptos intuitivos de objetos matemáticos como conjuntos, números, demostraciones y computación.

La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. La investigación en lógica matemática ha jugado un papel fundamental en el estudio de los fundamentos de las matemáticas.

La lógica matemática fue también llamada lógica simbólica. El primer término todavía se utiliza como sinónimo suyo, pero el segundo se refiere ahora a ciertos aspectos de la teoría de la demostración.

La lógica matemática no es la "lógica de las matemáticas" sino la "matemática de la lógica". Incluye aquellas partes de la lógica que pueden ser modeladas y estudiadas matemáticamente.

sábado, 22 de mayo de 2010

Conceptos de la logica


El origen de la logica como ciencia formal se remonta a los tiempos de Aristóteles (siglo IV A.c.), quien fue su creador. Sin embargo, el gran filosofo de estagira no empleo este termino para referirce a esta ciencia, sino que aludia a ella usando la palabra "Analitica" (del griego Analysis: solución, resolución; fin, en el sentido del termino. Es por esta razón que los escritores fundamentales del Organon aristotelico (Conjunto de sus investigaciones sobre la logica), reciben el nombre de Analiticos.
No se sabe exactamente por quíen ni en qué época fue empleada la palabra "Logica" en el sentido moderno. Segun indicacion de Boecio el termino "Logica" pudo haber sido creado por los comentadores de Aristoteles para oponer el Organon de éste a la "Dialectica" estoica. Talves en tiempo de Andrónico de Rodas.
Entodo caso esta palabra se emplea por Ciceron (Siglo I A.c.); y el uso que se hace de ella en Alejandro de Afridicia (Siglo II d.c.)y en Galeno parece demostrar que se habia hecho muy corriente en su epoca. El empleo de este termino es corrientre entre los Estoicos (siglo III a.c.), "Los teoremas logicos", "Las leyes logicas", como una de las tres especies de la "filosofia".

La palabra "Logica" poviene del vocablo griego logos y éste de la vos legein. Las significaciones respectivas son muchas y variadas.
En el pensamiento griego el significado de la palagra logos desbora el campo logico, pues llega a los terrenos metafisicos ; asi la usó, por ejemplo, Heraclito. Logos traducia una nocion muy profunda que representaba un principio de validez universal, pues señalaba que toda la realidad se hallaba penetrada de él y por esta misma razon volvia inteligibles todas las cosas. Incluso el hombre participaba de él. De aqui la tarea humana del conocimiento consistia en ir purificando el pensamiento para llegar a la vision del logos y asi comprender la realidad.
Platon le adjudica a dicho termino en la parte final de l teeteto, al intentar definir el conocimiento. Nos parece que esta significacion metafisica de logos sirvio para crear la logica como un instrumento de pensamiento.
En efecto, si la realidad es inteligible, entonces es posible buscar un metodo de pensar que haga evidente esa inteligibilidad.