Michael Genesereth was born on 1948 and is an American logician and computer scientist, who is most known for his work on computational logic and applications of that work in enterprise management, computational law, and general game playing.
11 Facts About Michael Genesereth
1.
2.
Michael Genesereth is the author of the influential Game Description Language and Knowledge Interchange Format, the latter of which led to the ISO Common Logic standard.
3.
Michael Genesereth has been a faculty member in the computer science department at Stanford University since 1979.
4.
Michael Genesereth is the director of the Logic Group at Stanford and a founder and the research director of the Stanford CodeX Center for Legal Informatics.
5.
Michael Genesereth is one of the founders of the companies Teknowledge, CommerceNet, Mergent Systems, SIPX and Symbium.
6.
Michael Genesereth's research is broadly based on the use of computational logic for such applications as integrating knowledge from heterogeneous sources, as a common format for exchanging knowledge, as a foundation for agent-based knowledge representation and software engineering, as an enhancement to spreadsheets known as a Logical spreadsheet, and for optimizing queries in a deductive database system.
7.
Michael Genesereth invented the notion of Model-based Diagnosis as a contrast with the symptom-based approach then current in systems like Mycin, and this was recognized by its inclusion in a retrospective on fifty volumes of Artificial Intelligence.
8.
In 2016, Michael Genesereth launched an effort to bring logic education to high schools across America citing Herbrand semantics as the foundation of the pedagogical approach.
9.
Michael Genesereth is the Academic Director of The International Logic Olympiad.
10.
Michael Genesereth served as the program chair of the Third National Conference of Artificial Intelligence, councilor of American Association for the Advancement of Artificial Intelligence for the term expiring in 1985, and was elected its fellow in 1990.
11.
Michael Genesereth has been an organizer of the International General Game Playing Competition, a program chair in 1993 of The Web Conference, a co-organizer of 2010 American Association for the Advancement of Artificial Intelligence Spring Symposium on Intelligent Privacy Management, and a chair of the Ninth Symposium on Abstraction, Reformulation and Approximation.