Hispanopedia Wiki
Articulo de referencia

Pat Hayes

The naive physics manifesto in {{cite book |author=Michie, Donald|author-link=Donald Michie |title=Expert systems in the micro-electronic age |publisher=Edinburgh University Pre...

Hispanopedia WikiContenido en espanolLectura gratuita

Patrick John Hayes (nacido el 21 de agosto de 1944) es un científico informático británico que vive y trabaja en Estados Unidos. Es científico investigador sénior emérito en el Instituto de Cognición Humana y de Máquinas (IHMC) en Pensacola , Florida. [ 4 ]

Educación

Hayes se educó en la escuela secundaria Bentley Grammar School , en Calne . Estudió el Cambridge Mathematical Tripos y recibió una licenciatura en matemáticas de la Universidad de Cambridge en 1966 y un doctorado en inteligencia artificial con la tesis "Árboles semánticos: nuevos fundamentos para la demostración automática de teoremas" [ 5 ] de la Universidad de Edimburgo en 1973.

Carrera

Tras abandonar Edimburgo en 1973, Hayes ocupó un puesto académico en el Departamento de Informática de la Universidad de Essex (1973-1980). Emigró a Estados Unidos en 1981 para convertirse en Profesor Luce de Ciencias Cognitivas en los Departamentos de Informática, Filosofía y Psicología de la Universidad de Rochester (1981-1985), donde dirigió el Grupo de Ciencias Cognitivas. En 1985, dejó Rochester para trasladarse a California, donde se incorporó al Centro de Investigación Schlumberger Palo Alto (1985-1987), a Xerox-PARC (1987-1990) y a la Corporación de Microelectrónica y Tecnología Informática (1991-1992), donde dirigió el proyecto CYC-West. Durante este periodo, también desempeñó varios cargos simultáneos como Investigador Visitante en CSLI , Universidad de Stanford y Profesor Consultor del Departamento de Informática de Stanford (1985-1994). En 1992, se convirtió en profesor investigador en los departamentos de Ciencias de la Computación y Filosofía, y en el Instituto Beckmann de la Universidad de Illinois en Urbana-Champaign (1992-1996). En 1996, pasó a ser científico investigador sénior en el IHMC (1996-2009) y becario distinguido John C. Pace en la Universidad de West Florida (1996-2001). En 2009, se convirtió en científico investigador sénior emérito del IHMC.

Investigación

Hayes ha sido una figura activa, prolífica e influyente en inteligencia artificial durante más de cinco décadas. [ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 11 ] Tiene fama de ser provocador, pero también bastante humorístico. [ 12 ]

Una de sus primeras publicaciones, junto con John McCarthy , fue la primera exposició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 , la representación y el razonamiento sobre el tiempo, los fluentes y el uso de la lógica para representar el conocimiento en una computadora. [ 13 ] [ 14 ]

La siguiente gran contribución de Hayes fue su obra fundamental sobre el Manifiesto de la Física Ingenua [ 1 ] , que anticipó el movimiento de los sistemas expertos en muchos sentidos e instó a los investigadores en IA a intentar representar el conocimiento en computadoras . Si bien no fue el primero en mencionar la palabra " ontología " en la informática, Hayes fue uno de los primeros en utilizarla e inspiró a toda una generación de investigadores en ingeniería del conocimiento , formalizaciones lógicas del razonamiento de sentido común y ontología .

A mediados de la década de 1990, mientras ejercía como presidente de la AAAI , Hayes comenzó una serie de ataques contra los críticos de la IA, formulados en su mayoría con ironía, y (junto con su colega Kenneth Ford) inventó un premio que lleva el nombre de Simon Newcomb para ser otorgado al argumento más ridículo que "desmintiera" la posibilidad de la IA. [ 15 ] Los Premios Newcomb se anuncian en la revista AI Magazine publicada por la AAAI .

A principios de siglo, se involucró activamente en la comunidad de la Web Semántica , contribuyendo sustancialmente (quizás exclusivamente) a la semántica revisada de RDF conocida como RDF-Core, siendo uno de los tres diseñadores (junto con Peter Patel-Schneider e Ian Horrocks [ 16 ] ) 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 principal diseñador del estándar ISO Common Logic .

Hayes ha sido secretario de la AISB (1968-79), presidente y fideicomisario de la IJCAI (1980-84), editor asociado de la revista Artificial Intelligence Journal (1979-86), miembro del consejo de administración de la Cognitive Science Society (1983-86) y presidente de la AAAI (1991-93). Hayes es miembro fundador de la AAAI y de la Cognitive Science Society.

Según su sitio web, sus intereses de investigación 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 ". "En su tiempo libre, restaura relojes mecánicos antiguos y remodela casas antiguas. También es artista, con obras expuestas en concursos locales y colecciones internacionales". [ 17 ] Además, posee "competencia profesional en fontanería, carpintería y electricidad domésticas". [ 18 ]

Referencias

  1. 1 2 El manifiesto de la física ingenua en Michie, Donald (1979). Sistemas expertos en la era microelectrónica . Edimburgo: Edinburgh University Press. ISBN 978-0-85224-381-7.
  2. ↑ Hayes, Patrick (1995). «El segundo manifiesto de la física ingenua» . Computación e inteligencia . AAAI Press. págs. 567–585 . ISBN  978-0262621014.
  3. ↑ Pat Hayes en el Proyecto de Genealogía Matemática
  4. ↑ "Pat Hayes" . IHMC | Instituto para la Cognición Humana y de Máquinas . Consultado el 9 de octubre de 2024 .
  5. ↑ Hayes, Patrick John (1973). Á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
  6. ↑ Pat Hayes en el servidor de bibliografía DBLP
  7. ↑ Hayes, P.; Eskridge, TC; Saavedra, R.; Reichherzer, T.; Mehrotra, M.; Bobrovnikoff, D. (2005). «Captura de conocimiento colaborativa en ontologías». Actas de la 3.ª conferencia internacional sobre captura de conocimiento - K-CAP '05 . p. 99. doi : 10.1145/1088622.1088641 . ISBN  978-1595931634. S2CID 15663316 . 
  8. ↑ Carroll, JJ; Bizer, C.; Hayes, P.; Stickler, P. (2005). «Gráficos con nombre, procedencia y confianza». Actas de la 14.ª conferencia internacional sobre la World Wide Web - WWW '05 . pág. 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.; Porter, B.; Chaudhri, V.; Rodriguez, 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. pág. 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". Web Semantics: Science, Services and Agents on the 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. ↑ Hayes, PJ, Ford, KM y Agnew, N., 1994. Sobre bebés y agua de baño: una historia aleccionadora. Revista AI, 15(4), pp.15-15.
  13. ↑ Shanahan, Murray (1997). Resolviendo el problema del marco: una investigación matemática de la ley de inercia del sentido común . MIT Press. pág. 45. ISBN  978-0-262-19384-9. Consultado el 12 de noviembre de 2010 .
  14. ↑ Hayes, Patrick J.; John McCarthy (1969). "Algunos problemas filosóficos desde el punto de vista de la inteligencia artificial" . Machine Intelligence . 4 : 463–502 .
  15. ↑ Hayes, PJ, & Ford, KM (1995). Los premios Simon Newcomb. AI Magazine, 16(1), 11. https://doi.org/10.1609/aimag.v16i1.1120
  16. ↑ Fikes, R.; Hayes, P.; Horrocks, I. (2004). "OWL-QL: un lenguaje para la respuesta deductiva a consultas en la Web Semántica". Web Semantics: Science, Services and Agents on the World Wide Web . 2 : 19–29 . CiteSeerX 10.1.1.67.1967 . doi : 10.1016/j.websem.2004.07.002 . 
  17. ↑ "Casa Tropical" . 5 de julio de 2022.
  18. ↑ "Pat Hayes" . IHMC | Instituto para la Cognición Humana y de Máquinas . Consultado el 9 de octubre de 2024 .