Inteligencia Artificial
REFERENCIAS ÚTILES
Por Ing. Miguel Gallardo para la asignatura curso 2009/2010
www.cita.es  Apartado Postal 17083-28080 Madrid, Spain
Tel.: 914743809, Móvil: 619776475, E-mail: miguel@cita.es

Durante este curso se ha seguido el texto del profesor Antonio Benítez
FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL
compuesto por 2 libros todavía no disponibles comercialmente
1º Programación en Scheme
2º Inteligencia computacional

El índice de ambos libros, junto al programa de la asignatura, estructura un tesauro de inteligencia artificial con el que se pueden buscar y encontrar en Internet numerosas que desarrollan sus apartados. En lo que sigue ofrecemos algunos enlaces que pueden ser útiles para profundizar en el estudio teórico y aplicación práctica de la inteligencia artificial.

Sobre Scheme existen abundantes referencias siendo muy útil la de la Wikipedia, más aún en inglés Scheme (programming language) en la que se ofrecen los interesantes enlaces
Además, existen numerosos manuales y tutoriales de Scheme en castellano e inglés, entre los que podemos destacar el hipertextual The Scheme
Programming Language (Third Edition) de R. Kent Dybvig y How to Use Scheme de Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi y merece ser especialmente destacado el MIT Scheme Reference Manual

Hemos encontrado una curiosa patente de APPLE con código LISL/Scheme

Como valoración personal de esta primera parte de la asignatura entorno al lenguaje de programación Scheme, más allá de lo programado, diría que se abre un mundo de posibilidades tecnológicas en el que he encontrado las siguientes carencias:
Actualmente seguimos interesados en investigar patentes sobre inteligencia artificial  y en inglés artificial intelligence y dualmente, también tenemos interés en cuanto pueda hacer la inteligencia artificial por el desarrollo del derecho industrial considerado incluso la posibilidad de que programas con ciertas técnicas de inteligencia artificial puedan contribuir a iniciar la búsqueda y comprobar referencias para estudios e informes sobre el estado del arte o de la técnica.

También quisiéramos estudiar indicios y evidencias de plagio y metaplagio de primer (textualidad literal) y segundo orden (figuras literarias más abstractas y metalenguaje) utilizando alguna de las funciones de Scheme/LISP.

La literatura sobre inteligencia artificial en castellano está bastante bien referenciada en GOOGLE DOCS. Resultan especialmente interesantes las tesis doctorales en cuyo título o resumen aparece expresamente la inteligencia artificial que pueden buscarse en TESEO.

La Unión Europea está financiando varios proyectos y programas documentables en el Research Information Centre como el llamado Extending the frontiers of artificial intelligence resumido así:
The world of artificial cognitive systems and machine learning is moving at a fast pace and is becoming a major international research challenge. New techniques are being developed in this field that will transform many aspects of our day-to-day lives and work. The SIMBAD project, backed by the EU with EUR 1.6 million in financing, is now looking at some of the ways that this research may be put to use.
Source: Research Headlines, First Published: 2008-11-28

La Organización de las Naciones Unidas publica algún curioso documento como el titulado THE USE OF ARTIFICIAL INTELIGENCE (MACHINE LEARNING) FOR ASSESSING PERFORMANCE OF PUBLIC ADMINISTRATION IN SLOVENIA. 

Ver también:
Historia de la inteligencia artificial
Inteligencia Computacional
Algoritmos genéticos
Redes neuronales artificiales

Artificial intelligence (AI)
Applications of artificial intelligence

Asociaciones:
AEPIA - Asociación Española de Inteligencia Artificial

Revistas:
Revista "Inteligencia Artificial" Revista Iberoamericana de Inteligencia Artificial
Artificial Intelligence (journal), a scientific journal of the field

Textos proporcionados por el profesor durante el curso:
 1.   ¿Puede pensar una máquina?
 2.   H. Wang: Toward Mechanical Mathematics
 3.   Automatizacion del Razonamiento

Programas proporcionados durante el curso:
 1.   Juego de los animales
 2.   Semantica-Lc.ss
 3.   Sintaxis-Lc-Lexer.ss
 4.   Subformulas-Lc.ss
 5.   Deduccion-Lc-Arboles.ss
 6.   Códigos de Structure and Interpretation of Computer Programs. ch4-query.scm: L. primer orden

Otras referencias del profesor
SEMÁNTICA DE LE2 Y LE3 EN SCHEME. UNA EXPERIENCIA DE ENSEÑANZA DE LA LÓGICA
Autores: Antonio Benítez
Localización: Congress Formal Theories and Empirical Theories: Foundational, Ontosemantic and Pragmatic Aspects = Congreso Teorías formales y teorías Empíricas : Aspectos fundacionales, ontosemánticos y pragmáticos : Santiago de Compostela, 14-16 de noviembre de 2001 / coord. por José M. Sagüillo Fernández-Vega, José Luis Falguera López, Concepción Martínez Vidal, 2001, ISBN 84-8121-960-6 , pags. 433-446
Recoge los contenidos presentados a: Congreso Teorías Formales y Teorías Empíricas (0. 2001. Santiago de Compostela)
Antonio Benítez (Universidad Complutense de Madrid): Un cálculo de secuentes para LE2 y LE3 en Scheme. Una experiencia de enseñanza de la lógica en Joll 2000
Benítez, A., Escario, J. A., Atienza, J., "ID3 y la valoración biológica", C. Martín Vide (ed.), Lenguajes naturales y lenguajes formales VIII, P.P.U., pp. 189-196, Barcelona, 1992.
Benítez, A., Escario, J. A., Gómez Barrio, A., Martinez Fernández, A.,Evaluación empírica de ID3 -un sistema de inducción-, Bustos E., Echeverria J., Perez Sedeño E. y Sanchez Balmaseda M. I. (eds.), Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España, pp. 28-31, Madrid, 1993.

Programa de la asignatura:
Introducción a la programación en Inteligencia Artificial para estudiantes de Humanidades
Facultad de Filosofía, Aula de Informática, Curso 2009-10

Inteligencia Artificial
REFERENCIAS ÚTILES
Por Ing. Miguel Gallardo para la asignatura curso 2009/2010
www.cita.es  Apartado Postal 17083-28080 Madrid, Spain
Tel.: 914743809, Móvil: 619776475, E-mail: miguel@cita.es