Lógica e Inteligencia Artificial

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 8

Introduccin

La inteligencia artificial (I.A) es una de las ciencias ms modernas que existen, nace despus de la segunda guerra mundial, por el ao 1956. El campo de la I.A. est enfocado a no slo tratar de comprender la estructura del pensamiento humano, del cmo pensamos y decidimos, sino tambin a construir entidades inteligentes. Esto es un poco complicado porque a da de hoy no se tiene un entendimiento completo de cmo funciona la mente humano y los procesos que dentro se llevan. Debido a esto la I.A. es una ciencia an no explorada ni en un 20%, es nueva y tiene un gran camino por delante. Debido al campo de estudio de la I.A., sta abarca una gran variedad de subcampos y aplicaciones que van desde probar teoremas matemticos, construir sistemas expertos, resolvedor de problemas de propsito general, implementacin de algoritmos de bsqueda y toma de decisiones; en s cualquier tarea que involucre una parte intelectual, lo que hace a la IA una ciencia universal en todos los sentidos, toma y aporta conocimientos de todas las ciencias. Los cientficos no tienen un conocimiento exacto de cmo trabaja la mente humana, slo se suponen ciertos aspectos y patrones lo que complica si mencionamos que la IA se esfuerza en construir agentes inteligentes, tema principal y unificador. Podemos definirla entonces como el estudio de agentes inteligentes, los cules son entes que reciben percepciones del exterior y en base a stas producen acciones. Los agentes implementan funciones que estructuran las percepciones y producen resultados. As de complicado como lo es la definicin de la conciencia, lo es la definicin de la I.A. Cabe recalcar que esta ciencia unifica y abarca temas filosficos, matemticos, intelectuales y biolgicos, entre otros, razn por la cual la perspectiva de algunos autores es diferente en concepto a otros, pero mantienen la misma esencia.

Lgica e Inteligencia Artificial


Qu es la Lgica artificial? Conjunto de algoritmos que buscan representar matemticamente (formalmente) los procesos mentales que intervienen y dan origen a la inteligencia. Estos algoritmos se usan para recrear el comportamiento humano o usar las reglas del pensamiento para razonar. Es la capacidad de razonar de un agente no vivo. Es un rea de la ciencia bastante nueva (1956). Su objetivo son las capacidades que consideramos Inteligentes. Las aproximaciones siguen diferentes puntos de vista. Sus inuencias son diversas (Filosofa, Matemtica, Psicologa, Biologa). Involucra una gran cantidad de reas tanto genricas (aprendizaje, percepcin, resolucin de problemas) como especcas (jugar al ajedrez, diagnosticar enfermedades, conducir, etc.)

Definiciones de Lgica artificial Sistemas que actan como humanos: El estudio de cmo hac er computadoras que hagan cosas que, de momento, la gente hace mejor (Rich y Knight, 1991). Sistemas que piensan como humanos: El esfuerzo por hacer a las computadoras pensar... mquinas con mentes en el sentido amplio y literal (Haugeland, 1985). Sistemas que actan racionalmente: Un campo de estudio que busca explicar y emular el comportamiento inteligente en trminos de procesos computacionales (Schalko , 1990). Sistemas que piensan racionalmente: El estudio de las facultades mentales a travs del estudio de modelos computacionales (Charniak y McDermott, 1985).

Toda ciencia tiene su marco histrico, la I.A. tambin, y aunque es relativamente nuevo su campo de estudio ha crecido tanto hasta abarcar casi todo el espectro del conocimiento humano esto porque est fuertemente ligado al estudio intrnseco del pensamiento humano.

Historia y Desarrollo
3000 a.C: Uno de los documentos mdicos ms antiguos que existen es el Papiro Edwin Smith que se cree est basado en textos de pocas que se remontan al 3000 a.C. Contiene descrito en smbolos y reglas: observaciones anatmicas, cirugas, procesos mdicos, descripcin de enfermedades, en formato de un algoritmo representado de la manera: Si tiene x sntomas, entonces es y enfermedad. Esto lo convierte el primer sistema experto. 428 a.C: Aristteles fue uno de los primeros hombres en adentrarse a los secretos de la mente humana, hablamos del ao 428 a.C., su gran aportacin a la ciencia fueron los silogismos, un sistema formal que basado en premisas buscaba extraer conclusiones vlidas. Su mtodo deductivo muy usado en las matemticas describe un conjunto de reglas que comparan conceptos con un tercero para descubrir la relacin entre s, esto es el modelo de raciocinio ms importante

en la lgica, el cul estudia dos proposiciones como premisas derivando en una conclusin, lo que se designa como una inferencia. Siglo XIII: La Zairja, inventada por Ramon Llull fue el primer dispositivo mecnico para calcular ideas, usaba literales para clasificar categoras y sacar nuevas ideas o pensamientos filosficos en base a ellas, cada literal era una letra del alfabeto rabe que consta de 28 caracteres. Fue el primer mecanismo de razonamiento artificial. No se tiene mucha informacin referente a este dispositivo. 1500: Leonardo Da Vinci disea la primera calculadora mecnica; aunque no fue construda su diseo es funcional. 1623: Wilhem Schickard construye construye la primera calculadora conocida. 1642: Blaise Pascal construye la Pascalina, una calculadora que funcionaba en base a ruedas y engranajes. 1651:Thomas Hobbes fue un filsofo ingls considerado por George B. Dyson en su libro Darwin Among the Machines: The Evolution of Global Intelligence el patriarca de la Inteligencia Artificial, public Leviatn donde propona una comparacin de la forma de pensamiento humano, al decir que el razonamiento era procesado por el cerebro como un proceso de cmputo numrico, la obra se centra en el colectivo humano y el uso de las mquinas el cual creara un nuevo tipo de inteligencia. Para ese entonces la automatizacin de las maquinarias empezaba en todos los mbitos de la industria. 1700: Gottfried Wilhelm Leibniz construye el primer dispositivo capaz de trabajar sobre conceptos no numricos. Sus algoritmos an son usados, sus creaciones fueron La calculadora de razonamiento y La computadora Leibniz Para la I.A. la teora de la confirmacin es ms importante, Aristteles ya se planteaba la relacin que existe entre la accin y el conocimiento, todo para cual una accin representa la interaccin con objetos cognitivos, as la inteligencia requiere tanto accin como razonamiento, cito palabras del filsofo: Cmo es que el pensamiento viene acompaado en algn caso de acciones y en otros no? En algunos casos por movimientos y en otros no? Parece como si la misma cosa sucediera tanto si razonramos o hiciramos inferencias sobre objetos que no cambian; pero en este caso el fin es una proposicin especulativa mientras la conclusin resultante de las dos premisas es una accin Yo necesito abrigarme; una manta abriga, Yo necesito una Manta. Qu necesito, qu debo hacer: necesito una manta. Necesito hacer una manta. Y la conclusin Yo tengo que hacer una manta, es una accin ( Nussbaum, 1978). Aristteles descubri esta relacin entre la accin y la obtencin, todo aquello es conocible si se realiza una accin sobre l, ver un objeto, tocar un objeto, experimentar con un objeto. Continuando con las ideas sugiere un algoritmo: Nosotros no reflexionamos sobre los fines, sino sobre los medios. Un mdico no reflexiona si debe curar, ni un orador si debe persuadir Ellos asumen el fin y consideran cmo y con qu medios se obtienen, y si resulta fcil y es por tanto productivo; mientras que si slo se peuda alcanzar por un medio se tiene en consideracin cmo se alcanzar por este y por qu medios se obtendr ste, hasta que se llegue a la causa primera y lo ltimo en el orden del anlisis parece ser lo primero en el orden de los acontecimientos. Y si llega a un estado imposible,

se abandona la bsqueda, como por ejemplo, si se necesita dinero y no se puede conseguir; pero si hay una posibilidad se intentar. Durante el siglo XIX y la primera mitad del siglo XX la nocin de mecanismo renov su poder heurstico con la formalizacin de la nocin de la computacin. Como algunas mquinas, especialmente las calculadoras, se disearon para evitar tener y para hacer le pensamiento ms rpido y exacto logrando ms adelante que las computadoras se relacionaran con la inteligencia y el pensamiento enfatizando sus similitudes. La Inteligencia Artificial (IA) fue introducida a la comunidad cientfica en 1950 por el ingls Alan Turing en su artculo Maquinaria Computacional e Inteligencia. La pregunta bsica que Turing trat de responder afirmativamente en su artculo era: Pueden las mquinas pensar? En la I.A. los sistemas inteligentes se caracterizan por el uso apropiado de los recursos, el conocimiento general de las cosas convierte al mundo en un ejemplo de problema extremadamente grande. Unos problemas conllevan a tener cierto espectro del conocimiento humano que bajo los dispositivos actuales sera complicado de obtener resultados satisfactorios cuando se trabaja con problemas NP-completitud puesto que no hay suficiente memoria y el tiempo es excesivo si lo comparamos con lo bien administrado en cuanto a recursos es el cerebro.

Categoras de la Inteligencia artificial


Stuart Russell y Peter Norvig diferencian estos tipos de la inteligencia artificial: Sistemas que piensan como humanos.- Estos sistemas tratan de emular el pensamiento humano; por ejemplo las redes neuronales artificiales. La automatizacin de actividades que vinculamos con procesos de pensamiento humano, actividades como la Toma de decisiones, resolucin de problemas, aprendizaje. Sistemas que actan como humanos.- Estos sistemas tratan de actuar como humanos; es decir, imitan el comportamiento humano; por ejemplo la robtica. El estudio de cmo lograr que los computadores realicen tareas que, por el momento, los humanos hacen mejor. Sistemas que piensan racionalmente.- Es decir, con lgica (idealmente), tratan de imitar o emular el pensamiento lgico racional del ser humano; por ejemplo los sistemas expertos. El estudio de los clculos que hacen posible percibir, razonar y actuar. Sistemas que actan racionalmente (idealmente). Tratan de emular de forma racional el comportamiento humano; por ejemplo los agentes inteligentes .Est relacionado con conductas inteligentes en artefactos.

Escuelas de pensamiento
Inteligencia artificial convencional Se conoce tambin como IA simblico-deductiva. Est basada en el anlisis formal y estadstico del comportamiento humano ante diferentes problemas: Razonamiento basado en casos: Ayuda a tomar decisiones mientras se resuelven ciertos problemas concretos y, aparte de que son muy importantes, requieren de un buen funcionamiento. Sistemas expertos: Infieren una solucin a travs del conocimiento previo del contexto en que se aplica y ocupa de ciertas reglas o relaciones. Redes bayesianas: Propone soluciones mediante inferencia probabilstica. Inteligencia artificial basada en comportamientos: esta inteligencia tiene autonoma y pueden auto-regularse y controlarse para mejorar. Smart process management: facilita la toma de decisiones complejas, proponiendo una solucin a un determinado problema al igual que lo hara un especialista en la actividad.

Inteligencia artificial computacional La Inteligencia Computacional (tambin conocida como IA subsimblica-inductiva) implica desarrollo o aprendizaje interactivo (por ejemplo, modificaciones interactivas de los parmetros en sistemas conexionistas). El aprendizaje se realiza basndose en datos empricos.

Contribucin a la Lgica
La lgica de predicados utiliza algunos lenguajes orientados a la inteligencia artificial y enfocada al proceso de razonamiento deductivo al solucionar. En la inteligencia artificial, la lgica difusa es utilizada para la resolucin de problemas, ms que todo se relacionan con el control de procesos industriales complejos y sistemas de decisin en general. Estn mayormente extendidos en la tecnologa cotidiana como lo son: Cmaras digitales, sistemas de aire acondicionado, lavarropas, etc. Estos sistemas imitan la forma en que un humano toma decisiones solo que con una mayor rapidez. En la lgica difusa, se usan modelos matemticos para representaciones subjetivas, como caliente, tibio, frio. Tambin tiene un especial la variable de tiempo ya que los sistemas de control pueden necesitar retroalimentarse en un espacio concreto de tiempo. Mediante el presente documento se plante los conceptos y fundamentos que rigen la Lgica Fuzzy, as como tambin se pudo determinar las generalidades e importancia de una correcta gestin de proyectos, focalizando los esfuerzos en la optimizacin de una toma de decisiones acorde con los cambios e imprevistos que puedan surgir, brindando los

conocimientos necesarios para responder positivamente en un corto tiempo minimizando el riesgo. Del mismo modo se determin la importancia del conocimiento humano en el desarrollo de la sociedad y ms precisamente en la direccin de negocios, por tanto contar con un mtodo capaz de almacenar dicho conocimiento en un base de datos y emular los razonamientos humanos a fin de someter las decisiones estratgicas a escenarios cuasireales, brinda la posibilidad para generar negocios exitosos. El empleo de algoritmos de inteligencia artificial implementados mediante herramientas informticas trae consigo enormes ventajas frente a mtodos tradicionales de toma de decisiones puesto que se minimiza el riesgo de experimentar en el terreno real y aumenta las habilidades de las personas encargadas de gestionar y dirigir proyectos.

Aportaciones de la I.A
Se ve la creacin de sistemas computacionales Lenguajes de programacin para resolver programas Se relaciona con las disciplinas como psicologa, computacin entre otras Simula la realidad Utiliza herramientas automatizadas para hacer sistemas Proporciona contenido e informacin del sistema El humano no interviene en el proceso del sistema Puede disear rganos artificiales Casas inteligentes Sistemas de produccin en las empresas

Aplicaciones
Sistemas de inteligencia artificial se usan en los mercados financieros o como apoyo en consultas mdicas para la evaluacin de los sntomas. La I.A. tiene aplicacin en la Robtica cuando se requiere que un robot "piense" y tome una decisin entre dos o ms opciones, es entonces cuando principalmente ambas ciencias comparten algo en comn. Las cmaras de video y de fotografa tambin pueden hacer uso de la lgica difusa para enfocar la imagen y otro tipo de tecnologa para seleccionar las caractersticas necesarias para tomar la mejor foto. Un sistema de inteligencia artificial puede ser usado para controlar el riego y la distribucin de fertilizantes en las plantaciones. Incluso, se usa en las mquinas de bsqueda en Internet para dar mejores resultados y encontrar pginas significativas.

Bibliografas

Inteligencia Artificial un enfoque moderno primera y segunda edicin Stuart J. Russell y Peter Norvig.

http://www.lsi.upc.edu/~bejar/ia/transpas/teoria/1-IA-introduccion.pdf

http://palmor.softmedia.com.mx/category/inteligencia-artificial/ http://www.slideshare.net/CCamaleon5/logica-difusa-e-inteligencia-artificial

http://solecoguoxia.blogspot.com/2008/06/lgica-difusa-en-la-inteligencia.html
Bojadziev, G.; Bojadziev, M. (1997). Fuzzy Logic for Business, Finance and Management. World Scientific.

CATEDRATICO: DOC. RENN RPALO

ASIGNATURA: LGICA MATEMTICA

TRABAJO: LGICA E INTELIGENCIA ARTIFICIAL

PRESENTADO POR: GILBERTO ANTONIO SANCHEZ RIVERA

N DE CUENTA: 20131000190

FECHA: 9/8/2013

También podría gustarte