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]
Pat Hayes | |
---|---|
Nació | Patrick John Hayes 21 de agosto de 1944 Newent , Gloucestershire, Reino Unido |
Ciudadanía | Reino Unido |
Educación | Escuela secundaria de Bentley |
alma mater | Universidad de Cambridge (BA) Universidad de Edimburgo (PhD) |
Conocido por | Manifiesto de física ingenua [1] [2] |
Premios | Compañero AAAI [ ¿cuándo? ] |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Florida Institute for Human & Machine Cognition Universidad de Cambridge Universidad de Edimburgo Universidad de Illinois en Urbana-Champaign Universidad de Rochester Universidad de Essex |
Tesis | Árboles semánticos: nuevos fundamentos para la demostración automática de teoremas (1975) |
Asesor de doctorado | Bernard Meltzer [3] |
Influencias | John McCarthy |
Sitio web | ihmc |
Educación
Hayes se educó en Bentley Grammar School . [ cita requerida ] Estudió el Cambridge Mathematical Tripos 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]
Carrera e investigación
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 las bases del campo de la IA 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 seminal 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 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 comenzó 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 .
En el cambio de siglo se volvió activo en la comunidad de Web Semántica , contribuyendo sustancialmente (quizás únicamente) a la semántica revisada de RDF conocida como RDF-Core, uno de los tres diseñadores (junto con Peter Patel-Schneider e Ian Horrocks [14 ] ) de la semántica del Lenguaje de Ontología Web , y más recientemente contribuyó a SPARQL . También es, junto con el filósofo Christopher Menzel, el diseñador principal del estándar ISO Common Logic .
Hayes se ha desempeñado como secretario de AISB, [ ¿cuándo? ] presidente y fideicomisario de IJCAI , editor asociado de Inteligencia Artificial , gobernador de la Sociedad de Ciencias Cognitivas y presidente de la Asociación Estadounidense de Inteligencia Artificial . Hayes es miembro fundador de AAAI y de la Cognitive Science Society
Según su sitio web, sus intereses de investigación actuales incluyen "la representación del conocimiento y el razonamiento automático , especialmente la representación del espacio y el tiempo; la web semántica ; el diseño de ontologías ; y los fundamentos filosóficos de la IA y la informática ". [15]
Referencias
- ^ a b El manifiesto de física ingenua en Michie, Donald (1979). Sistemas expertos en la era microelectrónica . Edimburgo: Edinburgh University Press. ISBN 978-0-85224-381-7.
- ^ Hayes, Patrick (1995). "El segundo manifiesto de física ingenua" . Computación e inteligencia . págs. 567–585. ISBN 978-0262621014.
- ^ Pat Hayes en el Proyecto de genealogía matemática
- ^ a b Pat Hayes en el servidor de bibliografía DBLP
- ^ Hayes, Patrick J. (1973). "Árboles semánticos: nuevas bases para la demostración automática de teoremas". Meltzer, Bernard. hdl : 1842/8115 . Cite journal requiere
|journal=
( ayuda ) - ^ Hayes, Patrick John (1975). Árboles semánticos: nuevos fundamentos para la demostración automática de teoremas (tesis doctoral). Universidad de Edimburgo. hdl : 1842/8115 . EThOS uk.bl.ethos.586181 .
- ^ Hayes, P .; Eskridge, TC; Saavedra, R .; Reichherzer, T .; Mehrotra, M .; Bobrovnikoff, D. (2005). "Captura colaborativa de conocimiento en ontologías". Actas de la 3ª conferencia internacional sobre captura de conocimiento - K-CAP '05 . pag. 99. doi : 10.1145 / 1088622.1088641 . ISBN 978-1595931634. S2CID 15663316 .
- ^ Carroll, JJ; Bizer, C .; Hayes, P .; Stickler, P. (2005). "Gráficos con nombre, procedencia y confianza". Actas de la 14ª conferencia internacional sobre World Wide Web - WWW '05 . pag. 613. CiteSeerX 10.1.1.1.2197 . doi : 10.1145 / 1060745.1060835 . ISBN 978-1595930460. S2CID 207156699 .
- ^ Clark, P .; Hayes, P .; Reichherzer, T .; Thompson, J .; Barker, K .; Porter, B .; Chaudhri, V .; Rodríguez, A .; Thomere, J .; Mishra, S .; Gil, Y. (2001). "La entrada del conocimiento como el ensamblaje gráfico de componentes". Actas de la conferencia internacional sobre captura de conocimiento - K-CAP 2001 . pag. 22. CiteSeerX 10.1.1.24.9465 . doi : 10.1145 / 500737.500745 . ISBN 978-1581133806. S2CID 663883 .
- ^ Carroll, JJ; Bizer, C .; Hayes, P .; Stickler, P. (2005). "Gráficos con nombre". Semántica web: ciencia, servicios y agentes en la World Wide Web . 3 (4): 247. doi : 10.1016 / j.websem.2005.09.001 .
- ^ Jensen, CS; Dyreson, CE; Böhlen, M .; Clifford, J .; Elmasri, R .; Gadia, SK; Grandi, F .; Hayes, P .; Jajodia, S .; Käfer, W .; Kline, N .; Lorentzos, N .; Mitsopoulos, Y .; Montanari, A .; Nonen, D .; Peressi, E .; Pernici, B .; Roddick, JF; Sarda, NL; Scalas, MR; Segev, A .; Snodgrass, RT; Soo, MD; Tansel, A .; Tiberio, P .; Wiederhold, G. (1998). "El glosario de consenso de conceptos de bases de datos temporales - versión de febrero de 1998". Bases de datos temporales: investigación y práctica . Apuntes de conferencias en Ciencias de la Computación. 1399 . pag. 367. doi : 10.1007 / BFb0053710 . ISBN 978-3-540-64519-1.
- ^ Shanahan, Murray (1997). Resolver el problema del marco: una investigación matemática de la ley de inercia del sentido común . Prensa del MIT. pag. 45. ISBN 978-0-262-19384-9. Consultado el 12 de noviembre de 2010 .
- ^ Hayes, Patrick J .; John McCarthy (1969). "Algunos problemas filosóficos desde el punto de vista de la inteligencia artificial" . Inteligencia de máquina . 4 : 463–502.
- ^ Fikes, R .; Hayes, P .; Horrocks, I. (2004). "OWL-QL: un lenguaje para responder consultas deductivas en la Web Semántica". Semántica web: ciencia, servicios y agentes en la World Wide Web . 2 : 19-29. CiteSeerX 10.1.1.67.1967 . doi : 10.1016 / j.websem.2004.07.002 .
- ^ "Pat Hayes" . IHMC | Instituto de Cognición Humana y Máquina . Consultado el 30 de enero de 2019 .