Lógica Difusa o Borrosa
Extracto del reportaje: "Máquinas con rostro humano", diario El País
La lógica dice que Sócrates era mortal (ya que Sócrates era humano y todos los humanos son mortales), pero no si era alto o bajo.
Ser "alto" es un concepto difuso, y enseñárselo a una máquina requiere un nuevo tipo de "lógica borrosa". El problema es importante porque la mayoría de las situaciones de la vida real son difusas. ¿Hace calor o "se está bien"? ¿Cuándo pisar o soltar el freno? ¿Tiene gastritis el paciente? ¿Hay crisis o desaceleración?
"La lógica clásica aristotélica se ha mostrado eficaz en ciencias duras como la matemática o la física", "Pero resulta insuficiente cuando los predicados contienen imprecisión, incertidumbre o vaguedad, que es como funciona el razonamiento humano; la lógica borrosa ayuda a que los programas informáticos interpreten juicios de ese tipo".
En la lógica borrosa, las cosas no son verdad o mentira. Una cosa puede ser verdadera al 15% (técnicamente, su "grado de verdad" es del 0,15).
Aplicaciones de la lógica borrosa en la ingeniería:
- Las marcas son AEG y Miele, utilizan estos métodos de computación para moderar el programa de lavado si la ropa "no está muy sucia": un concepto difuso.
- El 75% de los coches que se fabrican van equipados con el sistema de frenado ABS, utiliza la lógica borrosa.
Prueba de Turing
Se llama Prueba o Test de Turing al procedimiento desarrollado por Alan Turing para corroborar la existencia de inteligencia en una máquina. Fue expuesto en 1950 en un artículo (Computing machinery and intelligence) para la revista Mind, y sigue siendo uno de los mejores métodos para los defensores de la Inteligencia Artificial. Se fundamenta en la hipótesis positivista de que, si una máquina se comporta en todos los aspectos como inteligente, entonces debe ser inteligente.
La prueba consiste en un desafío. Se supone un juez situado en una habitación, y una máquina y un ser humano en otras. El juez debe descubrir cuál es el ser humano y cuál es la máquina, estándoles a los dos permitidos mentir al contestar por escrito las preguntas que el juez les hiciera. La tesis de Turing es que si ambos jugadores eran suficientemente hábiles, el juez no podría distinguir quién era el ser humano y quién la máquina.
(Wikipedia)
