Michael Genesereth

Michael Genesereth
Född	( 1948-10-15 ) 15 oktober 1948
Alma mater	Massachusetts Institute of Technology Harvard University
Känd för	Artificiell intelligens Beräkningsrätt Allmänt spelande
Utmärkelser	AAAI Fellow (1990, grundande).
Vetenskaplig karriär
Fält	Datavetenskaplig logik
institutioner	Stanford University
Avhandling	Automatiserad konsultation för komplexa datorsystem (1978)
Doktorand rådgivare	Thomas Cheatham (Harvard) Joel Moses (MIT)
Doktorander	Russell Greiner Jock D. Mackinlay Stuart J. Russell Vishal Sikka

Michael Genesereth (född 1948) är en amerikansk logiker och datavetare , som är mest känd för sitt arbete med beräkningslogik och tillämpningar av detta arbete inom företagsledning , beräkningsrätt och allmänt spelande . Genesereth är professor vid datavetenskapsavdelningen vid Stanford University och professor vid Stanford Law School . Hans lärobok från 1987 om logiska grunder för artificiell intelligens är fortfarande en av nyckelreferenserna om symbolisk artificiell intelligens . Han är författare till det inflytelserika Game Description Language (GDL) och Knowledge Interchange Format (KIF), varav det senare ledde till ISO Common Logic- standarden.

Utbildning

Genesereth fick en BS i fysik (1972) från Massachusetts Institute of Technology , och både en MS (1974) och Ph.D. (1978) i tillämpad matematik från Harvard University . Som doktorand arbetade han på Macsymas datoralgebrasystem och skrev sin avhandling om en automatiserad rådgivare för Macsyma-användare.

Karriär

Genesereth har varit fakultetsmedlem vid datavetenskapsavdelningen vid Stanford University sedan 1979. Han är chef för Logic Group i Stanford och en grundare och forskningschef för Stanford CodeX Center for Legal Informatics. Han är en av grundarna till företagen Teknowledge, CommerceNet , Mergent Systems, SIPX och Symbium. Symbium är den senaste spinoffen från den beräkningsrättsliga forskningen som genomförts av CodeX och är en vinnare av Ivory Innovation Prize for Policy and Regulatory Reform.

Forskning

Genesereths forskning är brett baserad på användningen av beräkningslogik för sådana applikationer som att integrera kunskap från heterogena källor, som ett gemensamt format för kunskapsutbyte, som en grund för agentbaserad kunskapsrepresentation och mjukvaruutveckling, som en förbättring av kalkylblad som kallas en Logiskt kalkylblad och för att optimera frågor i ett deduktivt databassystem . Han uppfann begreppet modellbaserad diagnos som en kontrast till det symtombaserade tillvägagångssättet som då fanns i system som Mycin , och detta kändes igen genom att det inkluderades i en retrospektiv på femtio volymer av artificiell intelligens (tidskrift) . Hans arbete med dataintegration vann det bästa papperspriset vid 1997 års symposium om principer för databassystem . Hans arbete med affärer mellan rationella agenter vann det inflytelserika papperspriset av International Foundation for Autonomous Agents and Multiagent Systems 2007.

Logisk utbildning

År 2016 lanserade Genesereth ett försök att föra logikutbildning till gymnasieskolor över hela Amerika och citerade Herbrands semantik som grunden för det pedagogiska tillvägagångssättet. Programmet inkluderar sommarläger för gymnasieelever som erbjuds på Stanford campus, och lärares professionella utveckling som erbjuds över olika studier i USA. Gymnasieutbudet använder samma kursmaterial som en MOOC om samma ämne.

Samhälle

Genesereth var programordförande för den tredje nationella konferensen för artificiell intelligens, rådsmedlem i American Association for the Advancement of Artificial Intelligence under mandatperioden som löpte ut 1985, och valdes till dess stipendiat 1990. Han har också varit arrangör av International General Game Playing Competition, en programordförande 1993 av The Web Conference , en medarrangör av 2010 American Association for the Advancement of Artificial Intelligence Spring Symposium on Intelligent Privacy Management, och ordförande för det nionde symposiet om abstraktion, omformning och tillnärmning.

Bibliografi

•   ——; Nilsson, Nils J. (1987). Logiska grunder för artificiell intelligens . Morgan Kaufmann . ISBN 978-0-934613-31-6 .
•   —— (2010). Dataintegration: Relationell logikmetod . Syntesföreläsningar om artificiell intelligens och maskininlärning. Vol. 4. Morgan & Claypool. s. 1–97. doi : 10.2200/S00226ED1V01Y200911AIM008 . ISBN 978-1-59829-741-6 .
•   ——; Kao, Eric (2012). Introduktion till logik . Syntesföreläsningar om datavetenskap. Morgan och Claypool. doi : 10.2200/S00734ED2V01Y201609CSL008 . ISBN 978-1-62705-006-7 .
•    ——; Thielscher, Michael (2014). Allmänt spelande . Syntesföreläsningar om artificiell intelligens och maskininlärning. Morgan och Claypool. doi : 10.2200/S00564ED1V01Y201311AIM024 . ISBN 978-1-62705-256-6 . S2CID 23241902 .
•    ——; Chaudhri, Vinay (2020). Introduktion till logisk programmering . Syntesföreläsningar om artificiell intelligens och maskininlärning. Morgan och Claypool. doi : 10.2200/S00966ED1V01Y201911AIM044 . ISBN 978-1681737225 . S2CID 213262584 .

Se även

• Spelbeskrivning Språk
• Knowledge Interchange Format
• Logiskt kalkylblad
• Vaumpus värld
• Beräkningsrätt
• Allmänt spelande
• Kunskapsbaserade system