stringtranslate.com

Pat Hayes

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

Educación

Hayes se educó en la Bentley Grammar School , Calne . [ cita requerida ] 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 Ciencias de la Computación de la Universidad de Essex (1973-80). Emigró a los EE. UU. en 1981 para convertirse en profesor Luce de Ciencias Cognitivas en los Departamentos de Ciencias de la Computación, Filosofía y Psicología de la Universidad de Rochester (1981-85), donde fue presidente del grupo de ciencias cognitivas. En 1985, dejó Rochester para California, para unirse al Centro de Investigación Schlumberger Palo Alto (1985-87), Xerox-PARC (1987-90) y la Corporación de Tecnología Informática y Microelectrónica (1991-92), donde fue director del proyecto CYC-West. Durante este período, también ocupó varios puestos paralelos como profesor visitante CSLI , Universidad de Stanford y profesor consultor del Departamento de Ciencias de la Computación, Stanford (1985-94). En 1992 se convirtió en profesor de investigación 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-96). En 1996, se convirtió en científico investigador sénior en el IHMC (1996-2009) y académico distinguido John C. Pace en la Universidad de West Florida (1996-2001). Se convirtió en científico investigador sénior emérito en el IHMC en 2009.

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 reputación de ser provocador pero también bastante gracioso. [12]

Una de sus primeras publicaciones, con John McCarthy , fue la primera declaración exhaustiva de las bases para el campo de la IA de la representación lógica del conocimiento, 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. [13] [14]

La siguiente contribución importante de Hayes fue el trabajo seminal sobre el Manifiesto de la Física Naive [2], que anticipó el movimiento de los sistemas expertos de muchas maneras y llamó a los investigadores en IA a tratar de representar el conocimiento en las computadoras . Aunque no fue el primero en mencionar la palabra " ontología " en la ciencia informática, Hayes fue uno de los primeros en hacerlo realmente, 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 [ 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 a 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 llevaba el nombre de Simon Newcomb para ser entregado al argumento más ridículo que "refuta" la posibilidad de la IA. [15] Los Premios Newcomb se anuncian en la Revista AI publicada por la 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 [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 diseñador principal del estándar ISO Common Logic .

Hayes se desempeñó como secretario de la AISB (1968-79), presidente y fideicomisario de la IJCAI (1980-84), editor asociado del Artificial Intelligence Journal (1979-86), gobernador 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 un artista en ejercicio, con obras expuestas en concursos locales y colecciones internacionales". [17] También tiene "competencia profesional en plomería doméstica, carpintería y trabajos eléctricos". [18]

Referencias

  1. ^ Pat Hayes en el Proyecto de Genealogía Matemática
  2. ^ ab 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.
  3. ^ Hayes, Patrick (1995). "El segundo manifiesto de la física ingenua". Computación e inteligencia . pp. 567–585. ISBN 978-0262621014.
  4. ^ "Pat Hayes". IHMC | Instituto de 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 colaborativa de conocimiento 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. Número de identificación del sujeto  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. Número de identificación del sujeto  207156699.
  9. ^ 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 de conocimiento como el ensamblaje gráfico de componentes". Actas de la conferencia internacional sobre captura de conocimiento - K-CAP 2001 . p. 22. CiteSeerX 10.1.1.24.9465 . doi :10.1145/500737.500745. ISBN  978-1581133806.S2CID663883  .​
  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. ISBN : 978-0-852-2-422-0 . 978-3-540-64519-1.
  12. ^ Hayes, PJ, Ford, KM y Agnew, N., 1994. Sobre los bebés y el agua del baño: una historia con moraleja. Revista AI, 15(4), pp.15-15.
  13. ^ Shanahan, Murray (1997). Solución del problema del marco: una investigación matemática de la ley de inercia basada en el sentido común. MIT Press. pág. 45. ISBN 978-0-262-19384-9. Recuperado 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 y Ford, KM (1995). 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". 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. 
  17. ^ https://www.flickr.com/photos/pathayes/
  18. ^ "Pat Hayes". IHMC | Instituto de Cognición Humana y de Máquinas . Consultado el 9 de octubre de 2024 .