Michael Genesereth es un lógico y científico de la computación , que es más conocido por su trabajo en la lógica computacional y aplicaciones de los que trabajan en la gestión empresarial , la ley de cómputo y de juego general del juego . [3] Genesereth es profesora en el Departamento de Ciencias de la Computación de la Universidad de Stanford y profesora por cortesía en la Facultad de Derecho de Stanford. [4] Su libro de texto de 1987 sobre Fundamentos lógicos de la inteligencia artificial [5] sigue siendo una de las referencias clave sobre la inteligencia artificial simbólica . [6] Es el autor de la influyenteGame Description Language (GDL) y Knowledge Interchange Format (KIF), el último de los cuales condujo al estándar ISO Common Logic . [7]
Michael Genesereth | |
---|---|
Nació | cita requerida ] | 15 de octubre de 1948 [
alma mater | Instituto de Tecnología de Massachusetts, Universidad de Harvard |
Premios | Becario AAAI (1990, Fundación). [1] |
Carrera científica | |
Campos | Lógica Informática Inteligencia artificial Derecho computacional |
Instituciones | Universidad Stanford |
Tesis | Consulta automatizada para sistemas informáticos complejos [2] (1978) |
Asesor de doctorado | Thomas Cheatham (Harvard) Joel Moses (MIT) |
Estudiantes de doctorado | Russell Greiner Jock D. Mackinlay Stuart J. Russell Vishal Sikka |
Educación
Genesereth recibió una licenciatura en física (1972) del Instituto de Tecnología de Massachusetts , y una maestría (1974) y un doctorado. (1978) en Matemáticas Aplicadas [8] de la Universidad de Harvard . Como estudiante de posgrado, trabajó en el sistema de álgebra computacional de Macsyma y escribió su tesis sobre un asesor automático para usuarios de Macsyma. [9]
Carrera profesional
Genesereth ha sido miembro de la facultad en el departamento de informática de la Universidad de Stanford desde 1979. Es el director del Logic Group en Stanford y el fundador y director de investigación de CodeX , el Centro de Stanford para Informática Legal. [10] [11] [12] [13] [14] [15] Es uno de los fundadores de las empresas Teknowledge, [16] CommerceNet , [17] Mergent Systems, [18] SIPX [19] y Symbium. [20] Symbium es la escisión más reciente de la investigación sobre derecho computacional realizada por CodeX y es un ganador del Premio Ivory a la Innovación por Reforma de Políticas y Regulaciones. [21]
Investigar
La investigación de Genesereth [22] se basa ampliamente en el uso de la lógica computacional para aplicaciones tales como la integración de conocimiento de fuentes heterogéneas, [23] como un formato común para intercambiar conocimiento, [24] [25] [26] como base para agentes representación basada en el conocimiento e ingeniería de software, [27] [28] [29] [30] como una mejora de las hojas de cálculo conocidas como hoja de cálculo lógica , [31] y para optimizar las consultas en un sistema de base de datos deductivo . [32] [33] Inventó la noción de diagnóstico basado en modelos como un contraste con el enfoque basado en síntomas entonces vigente en sistemas como Mycin , y esto fue reconocido por su inclusión en una retrospectiva de cincuenta volúmenes de Inteligencia Artificial (revista) . [34] Su trabajo sobre integración de datos [35] ganó el premio al mejor artículo en el Simposio sobre principios de sistemas de bases de datos de 1997 . [36] Su trabajo sobre acuerdos entre agentes racionales [37] ganó el premio de papel influyente de la Fundación Internacional para Agentes Autónomos y Sistemas Multiagente en 2007. [38]
Educación lógica
En 2016, Genesereth lanzó un esfuerzo para llevar la educación lógica a las escuelas secundarias en todo Estados Unidos [39] [40] citando la semántica de Herbrand [41] como la base del enfoque pedagógico. El programa incluye campamentos de verano para estudiantes de secundaria que se ofrecen en el campus de Stanford y desarrollo profesional docente que se ofrece en diferentes estudios en los EE. UU. [42] Las ofertas de la escuela secundaria utilizan el mismo material del curso que un MOOC sobre el mismo tema. [43]
Sociedad
Genesereth se desempeñó como presidente del programa de la Tercera Conferencia Nacional de Inteligencia Artificial, [44] consejero de la Asociación Estadounidense para el Avance de la Inteligencia Artificial por el período que expiraba en 1985, [45] y fue elegido miembro en 1990 [1] . también ha sido organizador de la Competencia General Internacional de Juego, [46] presidente del programa en 1993 de la Conferencia Web , [47] coorganizador del Simposio de Primavera de la Asociación Estadounidense para el Avance de la Inteligencia Artificial de 2010 sobre Gestión Inteligente de la Privacidad, [48] y presidente del Noveno Simposio sobre Abstracción, Reformulación y Aproximación. [49]
Bibliografía
- ——; Nilsson, Nils J. (1987). Fundamentos lógicos de la inteligencia artificial . Morgan Kaufmann . ISBN 978-0-934613-31-6.
- —— (2010). Integración de datos: enfoque lógico relacional . Conferencias de síntesis sobre inteligencia artificial y aprendizaje automático. 4 . Morgan y Claypool. págs. 1-97. doi : 10.2200 / S00226ED1V01Y200911AIM008 . ISBN 978-1-59829-741-6.
- ——; Kao, Eric (2012). Introducción a la lógica . Conferencias de síntesis sobre informática. Morgan y Claypool. doi : 10.2200 / S00734ED2V01Y201609CSL008 . ISBN 978-1-62705-006-7.
- ——; Thielscher, Michael (2014). Juego general . Conferencias de síntesis sobre inteligencia artificial y aprendizaje automático. Morgan y Claypool. doi : 10.2200 / S00564ED1V01Y201311AIM024 . ISBN 978-1-62705-256-6.
- ——; Chaudhri, Vinay (2020). Introducción a la programación lógica . Conferencias de síntesis sobre inteligencia artificial y aprendizaje automático. Morgan y Claypool. doi : 10.2200 / S00966ED1V01Y201911AIM044 . ISBN 978-1681737225.
Ver también
- Idioma de descripción del juego
- Formato de intercambio de conocimientos
- Hoja de cálculo lógica
- Mundo Vaumpus
- Ley computacional
- Juego general
- Sistemas basados en el conocimiento
Referencias
- ^ a b Becarios AAAI
- ^ Michael, Genesereth. "Consulta automática para sistemas informáticos complejos" . Catálogo de la biblioteca Hollis, Universidad de Harvard . Consultado el 15 de julio de 2020 .
- ^ Gaylord, Chris. "Las computadoras dominan el tablero de juego" . Monitor de la Ciencia Cristiana . Consultado el 16 de julio de 2020 .
- ^ "Michael Genesereth" . Gente de la Universidad de Stanford . Universidad de Standford . Consultado el 16 de julio de 2020 .
- ^ Genesereth, Michael; Nilsson, Nils (1987). Fundamentos lógicos de la inteligencia artificial . Editores Morgan Kaufmann. ISBN 978-0-934613-31-6.
- ^ Genesereth, Michael; Nilsson, Nils. "Fundamentos lógicos de la inteligencia artificial" . Citas en Google Scholar . Consultado el 15 de julio de 2020 .
- ^ ISO / IEC 24707: 2018. "Tecnología de la información - Lógica común (CL) - Un marco para una familia de lenguajes basados en lógica" . Organización Internacional de Normalización . Consultado el 15 de julio de 2020 .
- ^ Michael Genesereth en el Proyecto de genealogía matemática
- ^ Michael Genesereth, Consulta automatizada para sistemas informáticos complejos , Ph.D. disertación, Universidad de Harvard, noviembre de 1977
- ^ "Caso rápido 50, en honor a la clase más inteligente de la ley de 2016" . Caso rápido 50 . Consultado el 30 de julio de 2020 .
- ^ Bay, Monica. "Sol y Chatbots" . Por encima de la ley . Consultado el 21 de mayo de 2020 .
- ^ Riyanka Roy, Chaudhri. "Viaje al CodeX: dar forma al futuro del derecho" . LAWXAM . Consultado el 21 de mayo de 2020 .
- ^ Bowman, Mark. "Programa intensivo de PI: pasantía en CodeX, en la Universidad de Stanford: lo más destacado de mi experiencia en la facultad de derecho" . IP OSGOODE . Consultado el 21 de mayo de 2020 .
- ^ Matthew, Carroll (21 de junio de 2017). "Punto culminante de la comunidad: CodeX de Stanford y el futuro de la ley automatizada" . IMMUTA . Consultado el 21 de mayo de 2020 .
- ^ Eliot, Lance. "FutureLaw 2020 muestra cómo la tecnología está transformando la ley, incluidos los impactos de la IA" . Forbes.COM . Consultado el 17 de julio de 2020 .
- ^ "Teknowledge Corp" . Consultado el 21 de mayo de 2020 .
- ^ Tanenbaum, Marty; Viaje, Chowdry. "Informe final del Consorcio Commercenet" (PDF) . Centro de Información Técnica de Defensa . Consultado el 17 de julio de 2020 .
- ^ "Commerce One adquiere Mergent Systems" . fuente de respuesta . Consultado el 17 de julio de 2020 .
- ^ "Sipx Inc" . Ciencia de las relaciones . Consultado el 17 de julio de 2020 .
- ^ "Symbium" . Consultado el 21 de mayo de 2020 .
- ^ "Anuncio del ganador del premio Ivory 2020" . Innovaciones de marfil . Consultado el 15 de julio de 2020 .
- ^ Michael Genesereth en elservidor de bibliografía DBLP
- ^ Genesereth, MR, Keller, AM y Duschka, OM, 1997, junio. Infomaster: Un sistema de integración de información. En ACM SIGMOD Record (Vol. 26, No. 2, págs. 539-542). ACM.
- ^ Studer, Rudi; Benjamins, Richard; Fensel, Dieter (1998). "Ingeniería del conocimiento: principios y métodos" . Ingeniería de datos y conocimiento . 25 (1–2): 161–97. doi : 10.1016 / S0169-023X (97) 00056-6 .
- ^ Genesereth, MR y Fikes, RE, 1992. Formato de intercambio de conocimientos, versión 3.0: manual de referencia.
- ^ Genesereth, MR, 1991, abril. Formato de intercambio de conocimientos. En Actas de la Segunda Conferencia Internacional sobre Principios de Representación y Razonamiento del Conocimiento (págs. 599-600). Morgan Kaufmann Publishers Inc.
- ^ Genesereth, Michael; Ginsberg, Matthew; Rosenschein, Jeffrey (1986). "Cooperación sin comunicación" (PDF) . Actas de la Conferencia Nacional sobre Inteligencia Artificial : 51–57 . Consultado el 3 de agosto de 2020 .
- ^ Genesereth, MR y Ketchpel, SP, 1994. Agentes de software. En Comunicaciones de la ACM.
- ^ Wooldridge, Michael (8 de marzo de 2013). Introducción a los sistemas multiagente (2ª ed.). John Wiley e hijos. ISBN 978-0-470-51946-2. Consultado el 21 de mayo de 2020 .
- ^ Bradshaw, John (1997). "Introducción a los agentes de software" (PDF) . Agentes de software . 6 (4): 466–469 . Consultado el 21 de mayo de 2020 .
- ^ "Hojas de cálculo lógicas" . ZDNet . Consultado el 16 de julio de 2020 .
- ^ Chirkova, Rada; Genesereth, Michael (2000). "Reformulaciones delimitadas linealmente de bases de datos conjuntivas". Congreso Internacional de Lógica Computacional . Apuntes de conferencias en Ciencias de la Computación. 1861 : 987–1001. doi : 10.1007 / 3-540-44957-4_66 . ISBN 978-3-540-67797-0.
- ^ Genesereth, Michael; Mohapatra, Abhijeet (2019). "Un algoritmo práctico para la reformulación de bases de datos deductivas". Segunda Conferencia Internacional IEEE sobre Inteligencia Artificial e Ingeniería del Conocimiento (AIKE) . doi : 10.1109 / AIKE.2019.00020 . S2CID 160018891 .
- ^ Bobrow, Daniel G. (febrero de 1993). "Inteligencia artificial en perspectiva: una retrospectiva de cincuenta volúmenes de la Revista de Inteligencia Artificial" . Inteligencia artificial . 59 (1–2): 5–20. doi : 10.1016 / 0004-3702 (93) 90163-6 . Consultado el 30 de julio de 2020 .
- ^ Genesereth, Michael; Duschka, Oliver (1997). "Responder consultas recursivas utilizando vistas". Actas del Simposio de ACM sobre principios de sistemas de bases de datos : 109-116. doi : 10.1145 / 263661.263674 . ISBN 0897919106. S2CID 2995653 .
- ^ "Premios al Mejor Papel PODS" . SIGMOD.ORG . Asociación de Maquinaria Informática, Grupo de Interés Especial en Gestión de Datos . Consultado el 30 de julio de 2020 .
- ^ Rosenschtein, Jeffrey; Genesreth, Michael (1985). "Ofertas entre agentes racionales" (PDF) . Conferencia conjunta internacional sobre inteligencia artificial : 91–99 . Consultado el 3 de agosto de 2020 .
- ^ "Premio IFAAMAS Influential Paper Award" . Fundación Internacional de Agentes Autónomos y Sistemas Multiagente . Consultado el 3 de agosto de 2020 .
- ^ Myers, Andrew (9 de junio de 2016). "Un científico informático de Stanford diseña un plan de estudios de lógica para la escuela secundaria" . Ingeniería de Stanford . Consultado el 21 de mayo de 2020 .
- ^ Genesereth, Michael; Chaudhri, Vinay. "Lógica en Educación Secundaria" . Fundación Infosys . Consultado el 21 de mayo de 2020 .
- ^ Genesereth, Michael; Kao, Eric (2015). "El Manifiesto Herbrand - Pensando dentro de la caja". Tecnologías de reglas: fundamentos, herramientas y aplicaciones. RuleML 2015 . doi : 10.1007 / 978-3-319-21542-6_1 .
- ^ "Introducción a la lógica de Stanford" . Stanford IntroLogic . Consultado el 21 de mayo de 2020 .
- ^ "Introducción a la lógica" . Consultado el 21 de mayo de 2020 .
- ^ "El Tercer Congreso Nacional de Inteligencia Artificial" . AAAI . AAAI.ORG . Consultado el 30 de julio de 2020 .
- ^ AAAI. "Ex funcionarios de la AAAI" . Consultado el 15 de julio de 2020 .
- ^ "Concurso Internacional de Juego General" . AAAI . aaai.org . Consultado el 30 de julio de 2020 .
- ^ "Comité del Programa WWW6" . Archivado desde el original el 22 de julio de 2012 . Consultado el 30 de julio de 2020 .
- ^ "Gestión inteligente de la privacidad de la información" . AAAI . aaai.org . Consultado el 30 de julio de 2020 .
- ^ "Actas, Noveno Simposio sobre Abstracción, Reformulación y Aproximación (SARA 2011)" . AAAI . AAAI.ORG.