Michael Genesereth

Michael Genesereth (nacido en 1948) es un lógico y científico informático estadounidense , conocido principalmente por su trabajo en lógica computacional y sus aplicaciones en la gestión empresarial , el derecho computacional y los juegos en general . ^{[ 3 ]} Genesereth es profesor en el Departamento de Ciencias de la Computación de la Universidad de Stanford y profesor honorario 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 en inteligencia artificial simbólica . ^{[ 6 ]} Es autor del influyente Lenguaje de Descripción de Juegos (GDL) y del Formato de Intercambio de Conocimiento (KIF), este último precursor del estándar ISO Common Logic . ^{[ 7 ]}

Genesereth obtuvo una licenciatura en Física (1972) del Instituto Tecnológico de Massachusetts (MIT) 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 Macsyma y escribió su tesis doctoral sobre un asesor automatizado para usuarios de Macsyma. ^{[ 9 ]}

Genesereth ha sido miembro del profesorado del departamento de informática de la Universidad de Stanford desde 1979. Es director del Grupo de Lógica de Stanford y fundador y director de investigación del Centro CodeX de Stanford para la Informática Jurídica. ^{[ 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 en derecho computacional llevada a cabo por CodeX y es ganadora del Premio Ivory a la Innovación en Políticas y Reforma Regulatoria. ^{[ 21 ]}

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 el intercambio de conocimiento, ^{[ 24 ] [ 25 ] [ 26 ]} como fundamento para la representación de conocimiento basada en agentes e ingeniería de software, ^{[ 27 ] [ 28 ] [ 29 ] [ 30 ]} como una mejora a las hojas de cálculo conocida como hoja de cálculo lógica , ^{[ 31 ]} y para optimizar 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 vigente entonces 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 de 1997 sobre Principios de Sistemas de Bases de Datos . ^{[ 36 ]} Su trabajo sobre acuerdos entre agentes racionales ^{[ 37 ]} ganó el premio al artículo influyente de la Fundación Internacional para Agentes Autónomos y Sistemas Multiagente en 2007. ^{[ 38 ]}

En 2016, Genesereth lanzó una iniciativa para llevar la enseñanza de la lógica a las escuelas secundarias de todo Estados Unidos ^{[ 39 ] [ 40 ]} , citando la semántica de Herbrand ^{[ 41 ]} como fundamento del enfoque pedagógico. El programa incluye campamentos de verano para estudiantes de secundaria ofrecidos en el campus de Stanford y desarrollo profesional docente ofrecido en diferentes áreas de estudio en los EE. UU. ^{[ 42 ]} Las ofertas para escuelas secundarias utilizan el mismo material didáctico que un MOOC sobre el mismo tema. ^{[ 43 ]}

Genesereth es también la Directora Académica de la Olimpiada Internacional de Lógica. ^{[ 44 ]} La Olimpiada, que comenzó en 2024, es una competición mundial de razonamiento lógico y resolución de problemas para estudiantes de secundaria. En su primer año, participaron más de 3500 estudiantes de 2100 escuelas en 92 países. ^{[ 45 ]}

Genesereth fue presidente del programa de la Tercera Conferencia Nacional de Inteligencia Artificial, ^{[ 46 ]} consejero de la Asociación Estadounidense para el Avance de la Inteligencia Artificial durante el período que expiró en 1985, ^{[ 47 ]} y fue elegido miembro en 1990. ^{[ 1 ]} También ha sido organizador de la Competencia Internacional de Juegos Generales, ^{[ 48 ]} presidente del programa en 1993 de The Web Conference , ^{[ 49 ]} coorganizador del Simposio de Primavera de 2010 de la Asociación Estadounidense para el Avance de la Inteligencia Artificial sobre Gestión Inteligente de la Privacidad, ^{[ 50 ]} y presidente del Noveno Simposio sobre Abstracción, Reformulación y Aproximación. ^{[ 51 ]}

• —; 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 de lógica relacional . Conferencias de síntesis sobre inteligencia artificial y aprendizaje automático. Vol. 4. Morgan & Claypool. pp.  1–97 . doi : 10.2200/S00226ED1V01Y200911AIM008 . ISBN 978-1-59829-741-6.
• Kao, Eric (2012). Introducción a la lógica . Synthesis Lectures on Computer Science. Morgan & 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 & Claypool. doi : 10.2200/S00564ED1V01Y201311AIM024 . ISBN 978-1-62705-256-6. S2CID  23241902 .
• —; Chaudhri, Vinay (2020). Introducción a la programación lógica . Conferencias de síntesis sobre inteligencia artificial y aprendizaje automático. Morgan & Claypool. doi : 10.2200/S00966ED1V01Y201911AIM044 . ISBN 978-1681737225. S2CID  213262584 .

• Lenguaje de descripción de juegos
• Formato de intercambio de conocimientos
• Hoja de cálculo lógica
• El mundo de Wumpus
• Derecho computacional
• Juego general
• Sistemas basados ​​en el conocimiento