Inteligencia Artificial

Jonathan R. Rentera Arredondo Jorge Ortega Feria Jess Olgun Garca Jorge Marmolejo Hernndez

Base
Filosofa
Matemticas

Inteligencia Artificial

Para ser considerada como ciencia formal necesito de una formulacin matemtica en 3 reas fundamentales:

Computacin
REGLAS VLIDAS

Lgica

Probabilidad

George Boole
Lgica proposicional ms conocida como lgica Booleana, con el trabajo de Boole en adelante empieza el desarrollo matemtico.

Mostrar que podan aplicarse una serie de smbolos a las operaciones lgicas o silogismos y, hacindolo apropiadamente, se poda lograr que con estos smbolos las operaciones lgicas pudieran traducirse en operaciones algebraicas.

Con ella es sencillo definir los operadores binarios O, Y, O excluyente y las negaciones de cada uno de ellos.

Gottlob Frege
Lgica de primer orden , quien extendi la lgica empleada por Boole para incluir objetos y relaciones entre ellos.

Actualmente la lgica de primer orden se utiliza como el sistema ms bsica de representacin del conocimiento.

Oracin

Formalizacin
Ss Ps Ss Ps x (Sx Px) x (Sx Px)

Scrates es sabio y prudente. Si Scrates es sabio, entonces tambin es prudente. Nadie es sabio y adems prudente. Todos los sabios son prudentes.

Alfred Tarski
Explica como relacionar objetos de una lgica con objetos del mundo real. Defini los lmites de lo que se poda hacer con la lgica y la informtica. Para un lenguaje formal dado, construido mediante las operaciones comunes del clculo de predicados de primer orden, que llamamos lenguaje objeto, y le asignamos un nivel de lenguaje L0: 'P' es verdadero si y slo si P.

Eucldeo
El primer algoritmo no trivial
Ax1: A (B A)
Ax2: (A (B C)) ((A B) (A C))
En matemticas el trmino trivial se usa para los objetos que tienen una estructura simple o bien para referirse a una opcin o caso poco interesante pero que debe mencionarse para complementar (como un axioma o un conjunto vaco).

Problema de decisin
El Entscheidungs problem fue el reto en lgica simblica de encontrar un algoritmo general que decidiera si una frmula del clculo de primer orden es un teorema.

 Alonzo Church demostr que no existe algoritmo (definido segn las funciones recursivas) que decida para dos expresiones del clculo lambda si son equivalentes o no.

 Por otra parte, Turing redujo este problema al problema de la parada para las mquinas de Turing.

Cobham y Edmonds.
Complejidad computacional Tiempo y el espacio Cuando el tiempo para la resolucin de casos particulares de dicho problema crece exponencialmente con el tamao de dichos casos

Problemas Grandes
Considerando el entorno de ejecucin, pueden ser intratables y por consiguiente es mejor dividirlos en subproblemas

Steven Cook y Richard Karp

Grandes clases de problemas que implican sobre todo razonamiento y bsqueda combinatoria cannica que son NP-completos La teora de la NP-completitud.

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.

Por ltimo tenemos la teora de la probabilidad que pareciera es lo ms acertado a nuestra realidad, aunque algunas situaciones pueden ser calculadas bajo probabilidades (como las caras de una moneaa en n lanzadas) no dejan de ser eso, aproximaciones.

Gerolamo Cardano fue quien propuso la idea de la probabilidad, que pas a ser imprescindible de las ciencias cognitivas, sobre todo en los clculos con incertidumbres y teoras incompletas

Entre los mayores expositores de la probabilidad encontramos a Pierre Fermat , Blaise Pascal , Pierre Laplace , James Bernoulli , Tomas Bayes , etc, este ltimo y su aportacin del anlisis Bayesiano conforman la base de las propuestas ms modernas que abordan el razonamiento incierto en I.A.

Se puede usar las probabilidades en sistemas expertos, que tienen una base de conocimiento sobre algn tema puntual, que hacen inferencias para averiguar el valor de un conjunto de variables en funcin de la evidencia que tenemos.

Las conclusiones no son deterministas, la mayor parte de las veces el conocimiento que se obtiene de una variable es incierto pero se puede llegar a conclusiones vlidas. Mientras ms informacin, ms acertado ser el resultado.