stringtranslate.com

Pat Hayes

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. Desde marzo de 2006 , es científico investigador senior en el Instituto de Cognición Humana y Máquina en Pensacola , Florida. [4]

Educación

Hayes fue educado en la Bentley Grammar School , Calne . [ cita necesaria ] Estudió 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 la inteligencia artificial durante más de cinco décadas. [4] [7] [8] [9] [10] [11] Tiene fama de ser provocativo pero también bastante gracioso. [ cita necesaria ]

Una de sus primeras publicaciones, con John McCarthy , fue la primera exposición exhaustiva de las bases del campo de la representación lógica del conocimiento de la IA, 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 Ingenua , [2] 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 computadoras . Aunque no fue el primero en mencionar la palabra " ontología " en informática (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 , lógica. formalizaciones del razonamiento de sentido común y ontología [ cita necesaria ] .

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 dar por el argumento más ridículo que "refuta" la posibilidad de la IA. Los premios Newcomb se anuncian en la revista AI publicada por AAAI .

A principios de siglo se volvió activo en la comunidad de la 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 administrador de IJCAI , editor asociado de Inteligencia Artificial , gobernador de la Sociedad de Ciencias Cognitivas y presidente de la Asociación Estadounidense para la 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

  1. ^ Pat Hayes en el Proyecto de genealogía de matemáticas
  2. ^ ab El manifiesto de la física ingenua en Michie, Donald (1979). Sistemas expertos en la era microelectrónica . Edimburgo: Prensa de la Universidad de Edimburgo. ISBN 978-0-85224-381-7.
  3. ^ Hayes, Patricio (1995). "El segundo manifiesto de la física ingenua". Computación e Inteligencia . págs. 567–585. ISBN 978-0262621014.
  4. ^ ab Pat Hayes en el servidor de bibliografía DBLP
  5. ^ Hayes, Patrick J. (1973). "Árboles semánticos: nuevos fundamentos para la demostración automática de teoremas". Meltzer, Bernard. hdl :1842/8115. {{cite journal}}: Citar diario requiere |journal=( ayuda )
  6. ^ 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. Icono de acceso gratuito
  7. ^ 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.
  8. ^ Carroll, JJ; Bizer, C.; Hayes, P.; Stickler, P. (2005). "Gráficos nombrados, procedencia y confianza". Actas de la 14ª conferencia internacional sobre la World Wide Web - WWW '05 . pag. 613. CiteSeerX 10.1.1.1.2197 . doi :10.1145/1060745.1060835. ISBN  978-1595930460. S2CID  207156699.
  9. ^ Clark, P.; Hayes, P.; Reichherzer, T.; Thompson, J.; Barker, K.; Portero, B.; Chaudhri, V.; Rodríguez, A.; Thomere, J.; Mishra, S.; Gil, Y. (2001). "Entrada de conocimiento como 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.
  10. ^ 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.
  11. ^ Jensen, CS; Dyreson, CE; Böhlen, M.; Clifford, J.; Elmasri, R.; Gadia, SK; Grandi, F.; Hayes, P.; Jajodía, S.; Käfer, W.; Kline, N.; Lorentzos, N.; Mitsopoulos, Y.; Montanari, A.; Nonen, D.; Peressi, E.; Pernici, B.; Roddick, JF; Sardá, NL; Scalas, señor; Segev, A.; Snodgrass, RT; Entonces, 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 sobre informática. vol. 1399. pág. 367.doi : 10.1007 /BFb0053710. ISBN 978-3-540-64519-1.
  12. ^ Shanahan, Murray (1997). Resolviendo 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 .
  13. ^ Hayes, Patrick J.; John McCarthy (1969). "Algunos problemas filosóficos desde el punto de vista de la inteligencia artificial". Inteligencia de las máquinas . 4 : 463–502.
  14. ^ 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. 
  15. ^ "Pat Hayes". IHMC | Instituto de Cognición Humana y Máquina . Consultado el 30 de enero de 2019 .