INSTITUTO TECNOLGICO

DE ACAPULCO

Ingeniera en sistemas
computacionales
Materia: Programacion Lgica y
Funcional.
Sntesis: Captulo 1.
Introduccion
Profesor: Ing. Silvestre Bedolla Solano
Alumna: Tania Daz Navarrete #c: 12320712
Hora: 13:00 pm 14:00 p.m.
Aula: 7SA

De acuerdo con el capitulo 1 de (Nilsson, 1987) La Inteligencia Artificial (lA), en una

definicin amplia y un tanto circular, tiene por objeto el estudio del comportamiento
inteligente en las mquinas. A su vez, el comportamiento inteligente supone percibir,
razonar, aprender, comunicarse y actuar en entornos complejos. Una de las metas a largo
plazo de la lA es el desarrollo de mquinas que puedan hacer todas estas cosas igual, o
quiz incluso mejor, que los humanos. Otra meta de la lA es llegar a comprender este tipo
de comportamiento, sea en las mquinas, en los humanos o en otros animales. Por tanto,
la lA persigue al mismo tiempo metas cientficas y metas de ingeniera. En este libro, nos
dedicaremos principalmente a la lA como ingeniera, focalizando nuestra atencin sobre
los conceptos e ideas ms importantes que subyacen en el diseo de mquinas
inteligentes.
Aun aceptando que la IA ya ha sido capaz de producir algunos sistemas prcticos muy
tiles, la creencia general es que el objetivo ltimo de alcanzar una inteligencia de nivel
humano est an muy distante. Siendo esto as, todava hay un gran debate sobre cules
son las mejores aproximaciones hacia la IA -mejores en el sentido de sentar los
fundamentos centrales para conseguir las metas planteadas a largo plazo, as como
mejores en el sentido de producir resultados prcticos a corto plazo-. En consecuencia,
durante los ltimos 40 aos ha emergido un cierto nmero de paradigmas diferentes.
Cada uno de ellos tiene abogados apasionados, y algunos han producido resultados
suficientemente interesantes como para no ser descartados sin ms. Quiz lo que se
requiere es una combinacin apropiada de estas aproximaciones diferentes. En cualquier
caso, cada investigador cree, a menudo, que la suya es la metodologa avanzada que
merece especial atencin. Los principales paradigmas pueden ser clasificados en dos
grupos. El primer grupo incluye lo que llamaramos las aproximaciones basadas en
procesamiento de smbolos. Se sustentan sobre la hiptesis del sistema fsico de
smbolos de Newell y Simon, y aunque esta hiptesis no puede considerarse an como
universalmente aceptada, en ella se basa mucho de lo que podramos llamar IA clsica
(lo que el filsofo John Haugeland llama lA al viejo estilo (GOFAI, o Good-OldFashioned-AI). Un miembro destacado de esta familia de aproximaciones es el que se

basa en la aplicacin de operaciones lgicas sobre bases de conocimiento

declarativo
El primer paso hacia la inteligencia artificial fue dado mucho tiempo atrs por
Aristteles (384-322 a. C.), cuando comenz a explicar y a codificar ciertos estilos
de razonamiento deductivo que l llam silogismos. Algunos de los esfuerzos
tempranos para automatizar la inteligencia nos pareceran quijotescos hoy en da.
Ramn Llul1 (1235-1316), un mstico y poeta cataln, construy una mquina de
engranajes, llamada Ars Magna, que supuestamente era capaz de responder a
todas las preguntas. Pero hubieron tambin cientficos y matemticos que
perseguan la automatizacin del razonamiento. Martn Gardner [Gardner, 1982, p.
3] atribuye a Gottfried Leibniz (1646-1716) el sueo de un lgebra universal
mediante la cual todo el conocimiento, incluyendo las verdades morales y
metafsicas, pueda ser algn da representado en un nico sistema deductivo.
Leibniz llam a su sistema clculo filosfico o raciocinador; fue, claro est, un
sueo que no pudo ser realizado con el aparataje tecnolgico de la poca.