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).
o

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

INICIO 1975-Hoy Representacin

Periodo explcita del
"moderno". conocimiento
Inteligencia especfico del
"especifica" dominio.

1950-
Prototipos Sistemas
1965 expertos o
(frames)
Periodo (Minsky) basados en
"clsico" conocimiento.

Gestacin Redes Regreso de

(McColluck y semnticas redes
(Quillian)
Pitts, Shannon, neuronales
Turing)

Inicio - reunin de Representacin

Darmouth College "general" del Reconocimie
en 1956 (Minsky, conocimiento. nto de voz
McCarthy)

Redes 1965-1975 Limitaciones:

neuronales, Periodo conocimiento
robtica (Shakey) "superficial"
"romntico"