Tema 9: Inteligencia Artificial

La búsqueda de la imitación de las funciones lógicas mediante el empleo de ordenadores. Utilización de patrones de lógica clásica en la inteligencia artificial. Sistemas artificiales de representación y recuperación del conocimiento. Redes neuronales artificiales. Reconocimiento de formas. Visión artificial. Razonamiento artificial. Sistemas inteligentes.

Referencia:
CSIC: Instituto de Investigación en Inteligencia Artificial, Youtube


Inteligencia artificial, wikipedia
Alan Turing, wikipedia

10 comentarios:

Anónimo dijo...

No entiendo lo que quiere decir lenguajes formales. A que se refi con este término. No acabo de comprenderlo, quizás por que no entiendo que significa en informatica un predicado.

Anónimo dijo...

Que diferencia hay y que significan los lenguajes procedurales y los no procedurales muchas gracias por responder

Anónimo dijo...

¿quien es el que modela al robot del video?¿son los propios informaticos?
El material utilizado para la carcasa exterior esta hacho a medida, ¿quien y como lo diseña?

Saludosss

Anónimo dijo...

Es increíble lo que pueden hacer los perros eso que juegan a football, la verdad es que es muy interesante lo que han llegado a conseguir.

Jaime Oyarzo dijo...

En matemáticas, lógica, y ciencias de la computación, un lenguaje formal es un conjunto de palabras (cadenas de caracteres) de longitud finita en los casos más simples o expresiones válidas (formuladas por palabras) formadas a partir de un alfabeto (conjunto de caracteres) finito. El nombre lenguaje se justifica porque las estructuras que con este se forman tienen reglas de buena formación (gramática) e interpretación semántica (significado) en una forma muy similar a los lenguajes hablados.
Ejemplos de lenguajes formales
- El conjunto de todas las palabras sobre \{a, b\}\,.
- El conjunto \{ a^n : n\}\, es un número primo.
- El conjunto de todos los programas sintácticamente válidos en un determinado lenguaje de programación.
- El conjunto de sentencias bien formadas en lógica de predicados.

En computación, un predicado es un operador o función que devuelve un valor booleano, cierto o falso.
(Lenguaje formal, Wikipedia)

Jaime Oyarzo dijo...

Los lenguajes procedurales
son denominados también lenguajes imperativos.

La programación imperativa, en contraposición a la programación declarativa es un paradigma de programación que describe la programación en términos del estado del programa y sentencias que cambian dicho estado. Los programas imperativos son un conjunto de instrucciones que le indican al computador cómo realizar una tarea.
La Programación Declarativa, es un paradigma de programación que está basado en el desarrollo de programas especificando o "declarando" un conjunto de condiciones, proposiciones, afirmaciones, restricciones, ecuaciones o transformaciones que describen el problema y detallan su solución. La solución es obtenida mediante mecanismos internos de control, sin especificar exactamente cómo encontrarla.
(wikipedia)

Jaime Oyarzo dijo...

El robot del video sigue lass instrucciones de un programa que le proporciona datos que permiten al robot tomar decisiones. Sobre detalles del diseno, no conozco detalles.
En esta Escuela Politécnica se realiza anualmente un campeonato de robots: http://www.depeca.uah.es/alcabot/

Anónimo dijo...

Hola, a tod@s mi nombres es Isidro y tengo la siguiente duda:

¿La inteligencia artificial está asociada con la Automatización?

La duda viene ya q estoy realizando una tesis con respecto a Domótica, en verdad la llaman CASA AUTOMATIZADA, pero la asocian con inteligencia artificial.

Me encuentro medio confundido, en realidad se q la Domótica está vinculada con la Automatización, pero no lo es todo. También se q la Domótica está compuesto por sensores, actuadores y sus respectivas salidas.

Espero un empujonsito por ahi!

GRACIAS!!!!

Isidro dijo...

Hola, a tod@s mi nombres es Isidro y tengo la siguiente duda:

¿La inteligencia artificial está asociada con la Automatización?

La duda viene ya q estoy realizando una tesis con respecto a Domótica, en verdad la llaman CASA AUTOMATIZADA, pero la asocian con inteligencia artificial.

Me encuentro medio confundido, en realidad se q la Domótica está vinculada con la Automatización, pero no lo es todo. También se q la Domótica está compuesto por sensores, actuadores y sus respectivas salidas.

Espero un empujonsito por ahi!

GRACIAS!!!!

Isidro dijo...

Hola, a tod@s mi nombres es Isidro y tengo la siguiente duda:

¿La inteligencia artificial está asociada con la Automatización?

La duda viene ya q estoy realizando una tesis con respecto a Domótica, en verdad la llaman CASA AUTOMATIZADA, pero la asocian con inteligencia artificial.

Me encuentro medio confundido, en realidad se q la Domótica está vinculada con la Automatización, pero no lo es todo. También se q la Domótica está compuesto por sensores, actuadores y sus respectivas salidas.

Espero un empujonsito por ahi!

GRACIAS!!!!