Michael Genesereth
Michael Genesereth | |
---|---|
Born | (1948-10-15) 15 October 1948 (age 75)[citation needed] |
Alma mater | Massachusetts Institute of Technology Harvard University |
Known for | Artificial Intelligence Computational law General game playing |
Awards | AAAI Fellow (1990, Founding).[1] |
Scientific career | |
Fields | Computer science Logic |
Institutions | Stanford University |
Thesis | Automated Consultation for Complex Computer Systems [2] (1978) |
Doctoral advisor | Thomas Cheatham (Harvard) Joel Moses (MIT) |
Doctoral students | Russell Greiner Jock D. Mackinlay Stuart J. Russell Vishal Sikka |
Michael Genesereth (born 1948) 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.[3] Genesereth is professor in the Computer Science Department at Stanford University and a professor by courtesy in the Stanford Law School.[4] His 1987 textbook on Logical Foundations of Artificial Intelligence[5] remains one of the key references on symbolic artificial intelligence.[6] He is the author of the influential Game Description Language (GDL) and Knowledge Interchange Format (KIF), the latter of which led to the ISO Common Logic standard.[7]
Education
Genesereth received a B.S. in Physics (1972) from Massachusetts Institute of Technology, and both an M.S. (1974) and Ph.D. (1978) in Applied Mathematics[8] from Harvard University. As a graduate student, he worked on the Macsyma computer algebra system and wrote his dissertation on an automated advisor for Macsyma users.[9]
Career
Genesereth has been a faculty member in the computer science department at Stanford University since 1979. He is the director of the Logic Group at Stanford and a founder and the research director of the Stanford CodeX Center for Legal Informatics.[10][11][12][13][14][15] He is one of the founders of the companies Teknowledge,[16] CommerceNet,[17] Mergent Systems,[18] SIPX[19] and Symbium.[20] Symbium is the most recent spinoff from the computational law research undertaken by CodeX and is a winner of the Ivory Innovation Prize for Policy and Regulatory Reform.[21]
Research
Genesereth's research[22] is broadly based on the use of computational logic for such applications as integrating knowledge from heterogeneous sources,[23] as a common format for exchanging knowledge,[24][25][26] as a foundation for agent-based knowledge representation and software engineering,[27][28][29][30] as an enhancement to spreadsheets known as a Logical spreadsheet,[31] and for optimizing queries in a deductive database system.[32][33] He 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 (journal).[34] His work on data integration[35] won the best paper prize at the 1997 Symposium on Principles of Database Systems.[36] His work on deals among rational agents[37] won the influential paper award by the International Foundation for Autonomous Agents and Multiagent Systems in 2007.[38]
Logic education
In 2016, Genesereth launched an effort to bring logic education to high schools across America[39][40] citing Herbrand semantics[41] as the foundation of the pedagogical approach. The program includes summer camps for high school students offered on the Stanford campus, and teacher professional development offered across different studies in the USA.[42] The high school offerings utilize the same course material as a MOOC on the same topic.[43]
Society
Genesereth served as the program chair of the Third National Conference of Artificial Intelligence,[44] councilor of American Association for the Advancement of Artificial Intelligence for the term expiring in 1985,[45] and was elected its fellow in 1990.[1] He has also been an organizer of the International General Game Playing Competition,[46] a program chair in 1993 of The Web Conference,[47] a co-organizer of 2010 American Association for the Advancement of Artificial Intelligence Spring Symposium on Intelligent Privacy Management,[48] and a chair of the Ninth Symposium on Abstraction, Reformulation and Approximation.[49]
Bibliography
- ——; Nilsson, Nils J. (1987). Logical Foundations of Artificial Intelligence. Morgan Kaufmann. ISBN 978-0-934613-31-6.
- —— (2010). Data Integration: Relational Logic Approach. Synthesis Lectures on Artificial Intelligence and Machine Learning. Vol. 4. Morgan & Claypool. pp. 1–97. doi:10.2200/S00226ED1V01Y200911AIM008. ISBN 978-1-59829-741-6.
- ——; Kao, Eric (2012). Introduction to Logic. Synthesis Lectures on Computer Science. Morgan & Claypool. doi:10.2200/S00734ED2V01Y201609CSL008. ISBN 978-1-62705-006-7.
- ——; Thielscher, Michael (2014). General Game Playing. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan & Claypool. doi:10.2200/S00564ED1V01Y201311AIM024. ISBN 978-1-62705-256-6. S2CID 23241902.
- ——; Chaudhri, Vinay (2020). Introduction to Logic Programming. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan & Claypool. doi:10.2200/S00966ED1V01Y201911AIM044. ISBN 978-1681737225. S2CID 213262584.
See also
- Game Description Language
- Knowledge Interchange Format
- Logical spreadsheet
- Vaumpus world
- Computational law
- General game playing
- Knowledge-based systems
References
- ^ a b AAAI Fellows
- ^ Michael, Genesereth. "Automatic Consultation for Complex Computer Systems". Hollis Library Catalog, Harvard University. Retrieved 15 July 2020.
- ^ Gaylord, Chris. "Computers Master the Gameboard". Christian Science Monitor. Retrieved 16 July 2020.
- ^ "Michael Genesereth". Stanford University People. Standford University. Retrieved 16 July 2020.
- ^ Genesereth, Michael; Nilsson, Nils (1987). Logical Foundations of Artificial Intelligence. Morgan Kaufmann Publishers. ISBN 978-0-934613-31-6.
- ^ Genesereth, Michael; Nilsson, Nils. "Logical Foundations of Artificial Intelligence". Citations in Google Scholar. Retrieved 15 July 2020.
- ^ ISO/IEC 24707:2018. "Information technology — Common Logic (CL) — A framework for a family of logic-based languages". International Organization for Standardization. Retrieved 15 July 2020.
{{cite web}}
: CS1 maint: numeric names: authors list (link) - ^ Michael Genesereth at the Mathematics Genealogy Project
- ^ Michael Genesereth, Automated Consultation for Complex Computer Systems, Ph.D. dissertation, Harvard University, November 1977
- ^ "Fast Case 50, Honoring the Law's Smartest, Class of 2016". Fast Case 50. Retrieved 30 July 2020.
- ^ Bay, Monica (15 March 2017). "Sun and Chatbots". Above the Law. Retrieved 21 May 2020.
- ^ Riyanka Roy, Chaudhri. "Journey to CodeX: Shaping the Future of Law". LAWXAM. Retrieved 21 May 2020.
- ^ Bowman, Mark (9 January 2014). "IP Intensive Program: Interning at CodeX, at Stanford University: The Highlight of My Law School Experience". IP OSGOODE. Retrieved 21 May 2020.
- ^ Matthew, Carroll (21 June 2017). "Community Highlight: Stanford's CodeX and the Future of Automated Law". IMMUTA. Retrieved 21 May 2020.
- ^ Eliot, Lance. "FutureLaw 2020 Showcases How Tech Is Transforming The Law, Including The Impacts Of AI". Forbes.COM. Retrieved 17 July 2020.
- ^ "Teknowledge Corp". Bloomberg News. Retrieved 21 May 2020.
- ^ Tanenbaum, Marty; Trip, Chowdry. "Final Report for the Commercenet Consortium" (PDF). Defense Technical Information Center. Archived (PDF) from the original on July 17, 2020. Retrieved 17 July 2020.
- ^ "Commerce One Acquires Mergent Systems". responsesource. Retrieved 17 July 2020.
- ^ "Sipx Inc". Relationship Science. Retrieved 17 July 2020.
- ^ "Symbium". Retrieved 21 May 2020.
- ^ "2020 Ivory Prize Winner Announcement". Ivory Innovations. Retrieved 15 July 2020.
- ^ Michael Genesereth at DBLP Bibliography Server
- ^ Genesereth, M.R., Keller, A.M. and Duschka, O.M., 1997, June. Infomaster: An information integration system. In ACM SIGMOD Record (Vol. 26, No. 2, pp. 539–542). ACM.
- ^ Studer, Rudi; Benjamins, Richard; Fensel, Dieter (1998). "Knowledge Engineering: Principles and Methods". Data & Knowledge Engineering. 25 (1–2): 161–97. doi:10.1016/S0169-023X(97)00056-6. S2CID 2521178.
- ^ Genesereth, M.R. and Fikes, R.E., 1992. Knowledge interchange format-version 3.0: reference manual.
- ^ Genesereth, M.R., 1991, April. Knowledge interchange format. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (pp. 599–600). Morgan Kaufmann Publishers Inc.
- ^ Genesereth, Michael; Ginsberg, Matthew; Rosenschein, Jeffrey (1986). "Cooperation without Communication" (PDF). Proceedings of the National Conference on Artificial Intelligence: 51–57. Retrieved 3 August 2020.
- ^ Genesereth, M.R. and Ketchpel, S.P., 1994. Software Agents. In Communications of the ACM.
- ^ Wooldridge, Michael (March 8, 2013). An Introduction to Multiagent Systems (2nd ed.). John Wiley & Sons. ISBN 978-0-470-51946-2. Retrieved 21 May 2020.
- ^ Bradshaw, John (1997). "An Introduction to Software Agents" (PDF). Software Agents. 6 (4): 466–469. Retrieved 21 May 2020.
- ^ "Logical Spreadsheets". ZDNet. Archived from the original on November 27, 2020. Retrieved 16 July 2020.
- ^ Chirkova, Rada; Genesereth, Michael (2000). "Linearly Bounded Reformulations of Conjunctive Databases". Computational Logic — CL 2000. Lecture Notes in Computer Science. Vol. 1861. pp. 987–1001. doi:10.1007/3-540-44957-4_66. ISBN 978-3-540-67797-0.
{{cite book}}
:|journal=
ignored (help) - ^ Genesereth, Michael; Mohapatra, Abhijeet (2019). "Practical Reformulation of Deductive Databases". 2019 IEEE Second International Conference on Artificial Intelligence and Knowledge Engineering (AIKE). pp. 65–72. doi:10.1109/AIKE.2019.00020. ISBN 978-1-7281-1488-0. S2CID 160018891.
- ^ Bobrow, Daniel G. (February 1993). "Artificial intelligence in perspective: a retrospective on fifty volumes of the Artificial Intelligence Journal". Artificial Intelligence. 59 (1–2): 5–20. doi:10.1016/0004-3702(93)90163-6. Retrieved 30 July 2020.
- ^ Genesereth, Michael; Duschka, Oliver (1997). "Answering recursive queries using views". Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '97. pp. 109–116. doi:10.1145/263661.263674. ISBN 0897919106. S2CID 2995653.
- ^ "PODS Best Paper Awards". SIGMOD.ORG. Association for Computing Machinery, Special Interest Group on Management of Data. Retrieved 30 July 2020.
- ^ Rosenschtein, Jeffrey; Genesreth, Michael (1985). "Deals Among Rational Agents" (PDF). International Joint Conference on Artificial Intelligence: 91–99. Retrieved 3 August 2020.
- ^ "IFAAMAS Influential Paper Award". International Foundation for Autonomous Agents and Multiagent Systems. Retrieved 3 August 2020.
- ^ Myers, Andrew (9 June 2016). "A Stanford computer scientist designs a logic curriculum for high school". Stanford Engineering. Retrieved 21 May 2020.
- ^ Genesereth, Michael; Chaudhri, Vinay. "Logic in Secondary Education". Infosys Foundation. Retrieved 21 May 2020.
- ^ Genesereth, Michael; Kao, Eric (2015). "The Herbrand Manifesto - Thinking Inside the Box". Rule Technologies: Foundations, Tools, and Applications. RuleML 2015. doi:10.1007/978-3-319-21542-6_1. S2CID 3530910.
- ^ "Stanford Introduction to Logic". Stanford IntroLogic. Retrieved 21 May 2020.
- ^ "Introduction to Logic". Retrieved 21 May 2020.
- ^ "The Third National Conference on Artificial Intelligence". AAAI. AAAI.ORG. Retrieved 30 July 2020.
- ^ AAAI. "Past AAAI Officials". Retrieved 15 July 2020.
- ^ "International General Game Playing Competition". AAAI. aaai.org. Retrieved 30 July 2020.
- ^ "WWW6 Program Committee". Archived from the original on 2012-07-22. Retrieved 30 July 2020.
- ^ "Intelligent Information Privacy Management". AAAI. aaai.org. Retrieved 30 July 2020.
- ^ "Proceedings, The Ninth Symposium on Abstraction, Reformulation and Approximation (SARA 2011)". AAAI. AAAI.ORG.