Michael Genesereth

Michael Genesereth (geb. 1948) ist ein US-amerikanischer Logiker und Informatiker , der vor allem für seine Arbeiten zur Computerlogik und deren Anwendungen in der Unternehmensführung , im computergestützten Recht und in der Spieltheorie bekannt ist . ^{[ 3 ]} Genesereth ist Professor am Fachbereich Informatik der Stanford University und Gastprofessor an der Stanford Law School . ^{[ 4 ]} Sein 1987 erschienenes Lehrbuch „Logical Foundations of Artificial Intelligence“ ^{[ 5 ]} gilt weiterhin als eines der Standardwerke zur symbolischen künstlichen Intelligenz . ^{[ 6 ]} Er ist der Autor der einflussreichen Game Description Language (GDL) und des Knowledge Interchange Format (KIF), wobei letzteres zur Entwicklung des ISO- Standards Common Logic führte . ^{[ 7 ]}

Genesereth erwarb einen Bachelor of Science in Physik (1972) am Massachusetts Institute of Technology sowie einen Master of Science (1974) und einen Doktortitel (1978) in Angewandter Mathematik ^{[ 8 ]} an der Harvard University . Während seines Studiums arbeitete er am Computeralgebrasystem Macsyma und verfasste seine Dissertation über einen automatisierten Studienberater für Macsyma-Nutzer. ^{[ 9 ]}

Genesereth ist seit 1979 Dozent im Fachbereich Informatik der Stanford University. Er leitet die Logic Group in Stanford und ist Gründer und Forschungsdirektor des Stanford CodeX Center for Legal Informatics. ^{[ 10 ] [ 11 ] [ 12 ] [ 13 ] [ 14 ] [ 15 ]} Er ist Mitbegründer der Unternehmen Teknowledge, ^{[ 16 ]} CommerceNet , ^{[ 17 ]} Mergent Systems, ^{[ 18 ]} SIPX ^{[ 19 ]} und Symbium. ^{[ 20 ]} Symbium ist das jüngste Spin-off der von CodeX betriebenen Forschung im Bereich des computergestützten Rechts und wurde mit dem Ivory Innovation Prize für Politik- und Regulierungsreformen ausgezeichnet. ^{[ 21 ]}

Genesereths Forschung ^{[ 22 ]} basiert im Wesentlichen auf der Anwendung von Computerlogik für verschiedene Zwecke, beispielsweise zur Integration von Wissen aus heterogenen Quellen ^{[ 23 ]} , als gemeinsames Format für den Wissensaustausch ^{[ 24 ] [ 25 ] [ 26 ]} , als Grundlage für agentenbasierte Wissensrepräsentation und Softwareentwicklung ^{[ 27 ] [ 28 ] [ 29 ] [ 30 ]} , als Erweiterung von Tabellenkalkulationen (bekannt als logische Tabellenkalkulation ) ^{[ 31 ]} sowie zur Optimierung von Abfragen in deduktiven Datenbanksystemen ^{[ 32 ] [ 33 ]} . Er entwickelte das Konzept der modellbasierten Diagnose als Gegenentwurf zum damals in Systemen wie Mycin üblichen symptomorientierten Ansatz . Dies wurde durch die Aufnahme in einen Rückblick auf fünfzig Bände der Zeitschrift „Artificial Intelligence“ gewürdigt . ^{[ 34 ]} Seine Arbeit zur Datenintegration ^{[ 35 ]} wurde auf dem Symposium on Principles of Database Systems 1997 mit dem Best Paper Prize ausgezeichnet . ^{[ 36 ]} Seine Arbeit zu Deals zwischen rationalen Agenten ^{[ 37 ]} wurde 2007 von der International Foundation for Autonomous Agents and Multiagent Systems mit dem Influenced Paper Award ausgezeichnet. ^{[ 38 ]}

Im Jahr 2016 startete Genesereth ein Projekt zur Einführung von Logikunterricht an High Schools in den USA ^{[ 39 ] [ 40 ]} und berief sich dabei auf die Herbrand- Semantik ^{[ 41 ]} als Grundlage des pädagogischen Ansatzes. Das Programm umfasst Sommercamps für Highschool-Schüler auf dem Stanford-Campus sowie Fortbildungen für Lehrkräfte an verschiedenen Standorten in den USA ^{[ 42 ]} . Die Highschool-Angebote verwenden dieselben Kursmaterialien wie ein MOOC zum selben Thema ^{[ 43 ] .}

Genesereth ist außerdem Akademischer Direktor der Internationalen Logik-Olympiade. ^{[ 44 ]} Die Olympiade, die 2024 ins Leben gerufen wurde, ist ein weltweiter Wettbewerb für Schüler der Sekundarstufe, der logisches Denken und Problemlösen fördert. Im ersten Jahr nahmen über 3500 Schüler aus 2100 Schulen in 92 Ländern teil. ^{[ 45 ]}

Genesereth war Programmleiter der dritten Nationalen Konferenz für Künstliche Intelligenz ^{[ 46 ],} Mitglied des Vorstands der American Association for the Advancement of Artificial Intelligence (AAAI) bis zum Ende ihrer Amtszeit 1985 ^{[ 47 ]} und wurde 1990 zum Fellow gewählt. ^{[ 1 ]} Er war außerdem Organisator des International General Game Playing Competition ^{[ 48 ]} , Programmleiter der Web Conference 1993 ^{[ 49 ]} , Mitorganisator des AAAI- Frühjahrssymposiums 2010 zum Thema Intelligentes Datenschutzmanagement ^{[ 50 ]} und Vorsitzender des neunten Symposiums über Abstraktion, Reformulierung und Approximation. ^{[ 51 ]}

• —; Nilsson, Nils J. (1987). Logische Grundlagen der künstlichen Intelligenz . Morgan Kaufmann . ISBN 978-0-934613-31-6Die
• —— (2010). Datenintegration: Ein relationaler Logikansatz . Synthesis Lectures on Artificial Intelligence and Machine Learning. Band 4. Morgan & Claypool. S.  1–97 . doi : 10.2200/S00226ED1V01Y200911AIM008 . ISBN 978-1-59829-741-6Die
• —; Kao, Eric (2012). Einführung in die Logik . Synthesis Lectures on Computer Science. Morgan & Claypool. doi : 10.2200/S00734ED2V01Y201609CSL008 . ISBN 978-1-62705-006-7Die
• —; Thielscher, Michael (2014). Allgemeines Spielverhalten . Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan & Claypool. doi : 10.2200/S00564ED1V01Y201311AIM024 . ISBN 978-1-62705-256-6S2CID  23241902 .​
• —; Chaudhri, Vinay (2020). Einführung in die logische Programmierung . Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan & Claypool. doi : 10.2200/S00966ED1V01Y201911AIM044 . ISBN 978-1681737225. S2CID  213262584 .

• Spielbeschreibungssprache
• Wissensaustauschformat
• Logische Tabellenkalkulation
• Wumpus-Welt
• Computergesetz
• Allgemeines Spiel
• Wissensbasierte Systeme