Videos Inteligencia Artificial

Ejercicios Propuestos

1. Queremos una BC sobre las personas de tu familia.

Definimos las personas (hombres y mujeres) que lo componen.

Definimos las relaciones de parentesco más sencillas: es_hijo_de(X,Y).

Define reglas que permitan saber:

-Quién es abuelo/a de quién,

-Quién es padre/madre,

-Quién es hermana/hermano.

Reglas

Una regla consta de dos partes, una cabeza y un cuerpo. La cabeza y el cuerpo están unidos mediante el símbolo :- cabeza :- cuerpo.

El cuerpo puede estar formado por varios hechos.

cabeza :- hecho1, hecho2, ..., hechoN.

La separación :- se lee "si".( la cabeza es verdad si el cuerpo es verdad.)

Hechos

 Un hecho, en PROLOG, es una relación entre objetos.

Ejemplo: La capital de Francia es Paris.

En Prolog se escribe capital (Francia, París).

En general, la sintaxis es relación (objeto, objeto,...).

La relación se conoce como el predicado y los objetos como los argumentos.

Los nombres de todos los predicados y argumentos deben de comenzar con una letra minúscula.

Primero, se escribe el predicado. Los argumentos se escriben separándolos mediante comas y encerrados entre paréntesis.

Al final del hecho debe ir un punto.

Prolog_concepto

CONCEPTO
Proviene del francés Programation et Logique. Lenguaje de programación de tipo lógico e interpretado. Utilizado especialmente en investigaciones sobre Inteligencia Artificial.
Fue ideado a principios del 70 en la universidad de Aix-Marseille por los profesores Alain Colmerauer y Phillipe Roussel.
Al principio era sólo un lenguaje interpretado; luego, a mediados de los 70, David Warren desarrolló un compilador que traducía Prolog a un conjunto de instrucciones de una máquina abstracta denominada Warren Abstract Machine (WAM). Desde ese momento Prolog es un lenguaje semi-interpretado.
En clasificación por paradigmas, el lenguaje de programación Prolog pertenece al paradigma lógico.

Prolog

 

HISTORIA

Se trata de un lenguaje de programación ideado a principios de los años 70 en la Universidad de Aix-Marseille I (Marsella, Francia) por los profesores Alain Colmerauer y Philippe Roussel. Nació de un proyecto que no tenía como objetivo la implementación de un lenguaje de programación, sino el procesamiento de lenguajes naturales. Alain Colmerauer y Robert Pasero trabajaban en la parte del procesado del lenguaje natural y Jean Trudel y Philippe Roussel en la parte de deducción e inferencia del sistema. Interesado por el método de resolución SL, Trudel persuadió a Robert Kowalski para que se uniera al proyecto, dando lugar a una versión preliminar del lenguaje Prolog a finales de 19712 y apareciendo la versión definitiva en 1972.3 Esta primera versión de Prolog fue programada en ALGOL W.

Inicialmente se trataba de un lenguaje totalmente interpretado hasta que, en 1983, David H.D. Warren desarrolló un compilador capaz de traducir Prolog en un conjunto de instrucciones de una máquina abstracta denominada Warren Abstract Machine, o abreviadamente, WAM. Desde entonces Prolog es un lenguaje semi-interpretado.

Conferencia de Darmouth

CONFERENCIA DE DARTMOUTH se denomina a la conferencia que se considera germen de la Inteligencia Artificial como campo, llevada a cabo en la universidad Dartmouth College, ubicada en Hanover, Nuevo Hampshire (Estados Unidos), y lanzada como propuesta el 31 de agosto de 1955, en inglés denominada "Dartmouth Summer Research Conference on Artificial Intelligence".

Fue organizada por John McCarthy (Dartmouth College, New Hampshire) y propuesta por McCarthy, Mavrin L. Minsky (Harvard University), Nathaniel Rochester (I.B.M. Corporation) y Claude E. Shannon (Bell Telephone Laboratories). Propusieron reunirse ese verano a un grupo de investigadores que quisieran trabajar sobre la conjetura de que cada aspecto del aprendizaje y cada característica de la inteligencia podían ser tan precisamente descritos que se podían crear máquinas que las simularan.

Al encuentro asistieron también hasta completar los 10 participantes: Ray Solomonoff, Oliver Selfridge, Trenchard More, Arthur Samuel, Herbert Simon y Allen Newell.

El encuentro, ahora conocido como la conferencia de Dartmouth, duró dos meses y se llevó a cabo con tal éxito que se considera esta conferencia como la introductora del término Inteligencia Artificial y con él una nueva área científica de conocimiento.

En Dartmouth, una nueva generación de investigadores definieron las directrices y líneas de actuación futuras en el ámbito de la IA, tomando como hipótesis de trabajo la proposición: "Todo aspecto de aprendizaje o cualquier otra característica de inteligencia puede ser definido de forma tan precisa que puede construirse una máquina para simularlo" Esta hipótesis sería posteriormente conocida como Hipótesis del Sistema de Símbolos Físicos.

50 Aniversario

En 2005 se celebró el 50 aniversario en varias ciudades y universidades del mundo:

•          Entre el 13-15 de julio de 2005 se celebró en Dartmouth: AI@50 the Dartmouth Artificial Intelligence Conference: The Next Fifty Years.

•          En Albacete, (España) se celebró el Campus Multidisciplinar en Percepción e Inteligencia de Albacete 2006 del 10 al 14 de julio de 2006, el evento internacional más importante en lengua castellana que conmemoró los 50 años del nacimiento de la investigación sobre inteligencia artificial, los 50 años de las Conferencias de Dartmouth. Reuniendo a cientos de expertos de España, EE. UU. e hispanoamérica.