TAREAS DE INVESTIGACION. MARGARITA CONCEPCION VAZQUEZ .

EJEMPLOS DE APLICACIONES DE INTELIGENCIA ARTIFICIAL

ROBOTICA
En 2002 Honda y Sony, comenzaron a vender comercialmente robots humanoides como mascotas. Los robots con forma de perro o de serpiente sin embargo, en una fase de produccin muy amplia, el ejemplo ms notorio ha sido Aibo de Sony.

PROCESAMIENTO DE LENGUAJE NATURAL El robot posee un amplio vocabulario y utiliza avanzadas tcnicas de reconocimiento del habla y de procesamiento del lenguaje natural para convertir el audio en texto y extraer las palabras clave.

PaPeRo es un robot ideado por NEC con el que puedes hablar para que vaya actualizando tu blog con aquellas cosas que le cuentas. RECONOCIMIENTO DE PATRONES El reconocimiento de patrones se encarga de la descripcin y clasificacin (reconocimiento) de objetos, personas, seales, representaciones, etc.

Los sistemas tutoriales inteligentes (STI) son una nueva forma de programas para adelantar Instruccin Apoyada por Computador (IAC) con herramientas de Inteligencia Artificial (IA), Su finalidad es tratar de simular un maestro experto.

Los tutores inteligentes

Los sistemas tutoriales inteligentes (STI) son una nueva forma de programas para adelantar Instruccin Apoyada por Computador (IAC) con herramientas de Inteligencia Artificial (IA).

Manipulacin inteligente en base de datos

La programacin automtica La programacin automtica pretende que sea el propio ordenador el que escriba los programas que necesitan las personas, siguiendo las indicaciones de estas.

Visin computarizada El propsito de la visin artificial es programar un computador para que "entienda" una escena o las caractersticas de una imagen.

LENGUAJES
El Lisp (o LISP) es una familia de lenguajes de programacin de computadora de tipo funcional con una larga historia y una sintaxis completamente entre parntesis. Especificado originalmente en 1958 por John McCarthy y sus colaboradores en el Instituto Tecnolgico de Massachusetts, el Lisp es el segundo ms viejo lenguaje de programacin de alto nivel de extenso uso hoy en da; solamente el FORTRAN es ms viejo. Al igual que el FORTRAN, el Lisp ha cambiado mucho desde sus comienzos, y han existido un nmero de dialectos en su historia.

Lenguaje prolog Prolog es un lenguaje de programacin creado para representar y utilizar el conocimiento que se tiene sobre un determinado dominio. Ms exactamente, el dominio es un conjunto de objetos y el conocimiento se representa por un conjunto de relaciones que describen las propiedades de los objetos y sus interrelaciones. Un conjunto de reglas que describa estas propiedades y estas relaciones es un programa PROLOG. Una definicin ms accesible para el usuario comn sera:

Prolog es un lenguaje de programacin que es usado para resolver problemas que envuelven objetos y las relaciones entre ellos.

Su definicin basada en la lgica formal, permite ejecutar estatutos que no son otra cosa que oraciones de un lenguaje lgico elemental particular de clusulas. Prolog por su naturaleza muestra una habilidad para describir gramticas, en particular gramticas libres de contexto.

Lenguaje chip Un lenguaje de programacin de bajo nivel es el que proporciona un conjunto de instrucciones aritmeticolgicas sin la capacidad de encapsular dichas instrucciones en funciones que no estn ya contempladas en la arquitectura del hardware.

LENGUAJE OPS5
El lenguaje OPS5 es quizs el menos conocido de los nombrados. No obstante, su importancia en el desarrollo de la inteligencia artificial fue clave dado que fue el primer lenguaje usado con resultado de xito en un sistema experto. La familia de los lenguajes OPS (Oficial Production System) fue desarrollada a finales de la dcada de 1970 por Charles Forgy, se trata de un lenguaje para ingeniera cognoscitiva que aguanta el procedimiento de representacin del conocimiento en forma de reglas.

Lenguaje smalltalk
Smalltalk es un lenguaje de programacin que permite realizar tareas de computacin mediante la interaccin con un entorno de objetos virtuales. Metafricamente, se puede considerar que un Smalltalk es un mundo virtual donde viven objetos que se comunican mediante el envo de mensajes. Un sistema Smalltalk est compuesto por:

Mquina virtual Imagen virtual que contiene todos los objetos del sistema Lenguaje de programacin (tambin conocido como Smalltalk) Biblioteca de Objetos reusables Opcionalmente un entorno de desarrollo que funciona como un sistema en tiempo de ejecucin.

LENGUAJE HYPERCARD
HyperCard fue una aplicacin informtica de Apple Computer que se cont entre los primeros sistemas hipermedia con xito anteriores a la World Wide Web. Conceptualmente se acerca a una base de datos, pues almacena informacin, siendo adems grfico, flexible y capaz de crear ficheros fciles de modificar. Tambin inclua HyperTalk, un lenguaje de programacin potente y relativamente fcil de usar, para manipular los datos y la interfaz de

usuario. Los usuarios de HyperCard lo usaban a menudo como un sistema de programacin para el desarrollo rpido de aplicaciones ms que como base de datos. HyperCard fue lanzado originalmente con el System Software 6 en 1987 y retirado definitivamente del mercado en marzo de 2004, aunque para entonces haca muchos aos que no se actualizaba. HyperCard corre nativamente slo en Mac OS versiones 9 y anteriores, pero puede usarse an en el modo Classic de Mac OS X.

LENGUAJE CLOS
CLOS es el acrnimo ingls de Common Lisp Object System y es una extensin de ANSI Common Lisp para permitir la programacin orientada a objetos que ha sido adoptada por otros dialectos de Lisp como EuLisp o Emacs Lisp.1 Inicialmente fue propuesta como un aadido (add-on) del lenguaje, pero posteriormente CLOS fue adoptado como parte de estndar ANSI de Common Lisp. CLOS es un lenguaje de programacin dinmico dirigido a objetos que difiere mucho de lo que podemos encontrar en lenguajes de programacin estticos orientados a objetos como C++ o Java. CLOS est inspirado en sistemas Lisp orientados a objetos anteriores como MIT Flavors o Common LOOPS, aunque es ms general que stos. Precisamente la generalidad de CLOS es la caracterstica ms difcil de obtener, aunque crear un sistema OO en Lisp es fcil

CARACTERISTICAS DE LOS LENGUJES DE INTELIGENCIA ARTIFICIAL.

CONOCIMIENTO ESPECIALIZADO El razonamiento basado en el conocimiento, implica que estos programas incorporan factores y relaciones del mundo real y del mbito del conocimiento en que ellos operan. Al contrario de los programas para propsito especfico, como los de contabilidad y clculos cientficos; los programas de Inteligencia Artificial pueden distinguir entre el programa de razonamiento o motor de inferencia y base de conocimientos dndole la capacidad de explicar discrepancias entre ellas.

Los conceptos de conocimiento e inteligencia estn ntimamente ligados. La inteligencia requiere de la posesin y acceso al conocimiento. Conocimiento no debe ser confundido con

datos o informacin. El conocimiento incluye y requiere del uso de datos e informacin. Adems, combina relaciones, dependencias, y la nocin del saber con datos e informacin. A veces es tambin til o ms aun necesario distinguir entre conocimiento y otros trminos como creencia e hiptesis. Esencialmente, se define como creencia a toda expresin que tiene significado, que es coherente y puede ser representada. En consecuencia una creencia puede ser verdadera o falsa. Hiptesis se define como una creencia justificada que no se conoce sea verdadera. Una hiptesis es una creencia que est respaldada por cierta evidencia, pero todava puede resultar falsa. Finalmente, se puede tambin decir que conocimiento es una creencia justificada como verdadera. Otros trminos relacionados con el conocimiento y que son ocasionalmente empleados son epistemologa y metaconocimiento. Epistemologa es el estudio de la naturaleza del conocimiento, mientras que metaconocimiento es conocimiento acerca del conocimiento, esto es, conocimiento acerca de lo que se conoce. El conocimiento puede ser de tipo procedimental, declarativo o heurstico. Conocimiento procedimental es aquel conocimiento compilado que se refiere a la forma de realizar una cierta tarea (el saber como hacerlo). Por ejemplo, los pasos necesarios para resolver una ecuacin algebraica son expresados como conocimiento procedimental. El conocimiento declarativo es conocimiento pasivo, expresado como sentencias acerca de los hechos del mundo que nos rodea (el saber que hacer). La informacin personal en una base de datos es un tpico ejemplo de conocimiento declarativo. Tales tipos de datos son piezas explcitas de conocimiento independiente. El conocimiento heurstico es un tipo especial de conocimiento usado por los humanos para resolver problemas complejos. El adjetivo heurstico significa medio para descubrir. Est relacionado con la palabra griega heuriskein que significa descubrir, encontrar. Se entiende por heurstico a un criterio, estrategia, mtodo o truco utilizado para simplificar la solucin de problemas. El conocimiento heurstico usualmente se lo adquiere a travs de mucha experiencia.

ANTES DE ALAN TURING

DESARROLLO HISTIRICO DE INTELIGENCIA ARTIFICIAL

19501965 Periodo "clsico"

Gestacin (McColluck y Pitts, Shannon, Turing)

Inicio - reunin de Darmouth College en 1956 (Minsky, McCarthy)

Redes neuronales, robtica (Shakey)

INICIO

1975-Hoy Periodo "moderno".

Inteligencia "especifica"

Representacin explcita del conocimiento especfico del dominio.

Prototipos (frames) (Minsky)

Sistemas expertos o basados en conocimiento.

Redes semnticas (Quillian)

Regreso de redes neuronales

Representacin "general" del conocimiento.

Reconocimie nto de voz

1965-1975 Periodo "romntico"

Limitaciones: conocimiento "superficial"