Patrick John Hayes FAAAI (nacido el 21 de agosto de 1944) es un informático británico que vive y trabaja en los Estados Unidos. En marzo de 2006 [actualizar], es un científico investigador sénior en el Instituto para la cognición humana y de la máquina en Pensacola , Florida. [4]
Hayes se educó en Bentley Grammar School . [ cita requerida ] Estudió los Tripos de Matemáticas de Cambridge y recibió una licenciatura en Matemáticas de la Universidad de Cambridge [ ¿cuándo? ] y un doctorado en Inteligencia Artificial sobre el tema 'Árboles semánticos: nuevos fundamentos para la demostración automática de teoremas' [5] de la Universidad de Edimburgo . [6]
Hayes ha sido una figura activa, prolífica e influyente en inteligencia artificial durante más de cinco décadas. [4] [7] [8] [9] [10] [11] Tiene la reputación de ser provocador pero también bastante gracioso. [ cita requerida ]
Una de sus primeras publicaciones, con John McCarthy , fue la primera declaración exhaustiva de la base del campo de la inteligencia artificial de la representación del conocimiento lógico, introduciendo la noción de cálculo de situaciones , representación y razonamiento sobre el tiempo, fluidez y el uso de la lógica para representar el conocimiento. en una computadora. [12] [13]
La siguiente gran contribución de Hayes fue el trabajo fundamental sobre el Manifiesto de Física Naive , [1] que anticipó el movimiento de los sistemas expertos de muchas maneras y pidió a los investigadores en IA que realmente intentaran representar el conocimiento en las computadoras . Aunque no es el primero en mencionar la palabra " ontología " en ciencias de la computación (esa distinción pertenece a John McCarthy [ cita requerida ] ), Hayes fue uno de los primeros en hacerlo e inspiró a toda una generación de investigadores en ingeniería del conocimiento , formalizaciones de razonamiento de sentido común y ontología [ cita requerida ].
A mediados de la década de 1990, mientras se desempeñaba como presidente de la AAAI , Hayes inició una serie de ataques contra los críticos de la IA, en su mayoría expresados de manera irónica, y (junto con su colega Kenneth Ford) inventó un premio que lleva el nombre de Simon Newcomb para Se dará por el argumento más ridículo "refutando" la posibilidad de la IA. Los premios Newcomb se anuncian en la revista AI Magazine publicada por AAAI .