Michael Genesereth Explained

Michael Genesereth
Birth Date:1948 10, df=yes
Field:Computer science
Logic
Work Institution:Stanford University
Alma Mater:Massachusetts Institute of Technology
Harvard University
Doctoral Advisor:Thomas Cheatham (Harvard)
Joel Moses (MIT)
Doctoral Students:Russell Greiner
Jock D. Mackinlay
Stuart J. Russell
Vishal Sikka
Awards:AAAI Fellow (1990, Founding).[1]
Thesis Title:Automated Consultation for Complex Computer Systems [2]
Thesis Year:1978
Known For:Artificial Intelligence
Computational law
General game playing

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 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.[8]

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.[9] [10] [11] [12] [13] [14] He is one of the founders of the companies Teknowledge,[15] CommerceNet,[16] Mergent Systems,[17] SIPX[18] and Symbium.[19] 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.[20]

Research

Genesereth's research is broadly based on the use of computational logic for such applications as integrating knowledge from heterogeneous sources,[21] as a common format for exchanging knowledge,[22] [23] [24] as a foundation for agent-based knowledge representation and software engineering,[25] [26] [27] [28] as an enhancement to spreadsheets known as a Logical spreadsheet,[29] and for optimizing queries in a deductive database system.[30] [31] 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).[32] His work on data integration[33] won the best paper prize at the 1997 Symposium on Principles of Database Systems.[34] His work on deals among rational agents[35] won the influential paper award by the International Foundation for Autonomous Agents and Multiagent Systems in 2007.[36]

Logic education

In 2016, Genesereth launched an effort to bring logic education to high schools across America[37] [38] citing Herbrand semantics[39] 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.[40] The high school offerings utilize the same course material as a MOOC on the same topic.[41]

Society

Genesereth served as the program chair of the Third National Conference of Artificial Intelligence,[42] councilor of American Association for the Advancement of Artificial Intelligence for the term expiring in 1985,[43] and was elected its fellow in 1990. He has also been an organizer of the International General Game Playing Competition,[44] a program chair in 1993 of The Web Conference,[45] a co-organizer of 2010 American Association for the Advancement of Artificial Intelligence Spring Symposium on Intelligent Privacy Management,[46] and a chair of the Ninth Symposium on Abstraction, Reformulation and Approximation.[47]

Bibliography

See also

Notes and References

  1. http://www.aaai.org/Awards/fellows-list.php AAAI Fellows
  2. Web site: Michael . Genesereth . Automatic Consultation for Complex Computer Systems . Hollis Library Catalog, Harvard University . 15 July 2020.
  3. Gaylord . Chris . Computers Master the Gameboard . Christian Science Monitor . 16 July 2020.
  4. Web site: Michael Genesereth . Stanford University People . Standford University . 16 July 2020.
  5. Book: Genesereth . Michael . Nilsson . Nils . Logical Foundations of Artificial Intelligence . 1987 . Morgan Kaufmann Publishers . 978-0-934613-31-6.
  6. Web site: Genesereth . Michael . Nilsson . Nils . Logical Foundations of Artificial Intelligence . Citations in Google Scholar . 15 July 2020.
  7. Web site: ISO/IEC 24707:2018 . Information technology — Common Logic (CL) — A framework for a family of logic-based languages . International Organization for Standardization . 15 July 2020.
  8. Michael Genesereth, Automated Consultation for Complex Computer Systems, Ph.D. dissertation, Harvard University, November 1977
  9. Web site: Fast Case 50, Honoring the Law's Smartest, Class of 2016 . Fast Case 50 . 30 July 2020.
  10. Web site: Bay . Monica . Sun and Chatbots . Above the Law . 15 March 2017 . 21 May 2020.
  11. Web site: Riyanka Roy . Chaudhri . Journey to CodeX: Shaping the Future of Law . LAWXAM . 21 May 2020.
  12. Web site: Bowman . Mark . IP Intensive Program: Interning at CodeX, at Stanford University: The Highlight of My Law School Experience . IP OSGOODE . 9 January 2014 . 21 May 2020.
  13. Web site: Matthew . Carroll . Community Highlight: Stanford's CodeX and the Future of Automated Law . IMMUTA . 21 June 2017 . 21 May 2020.
  14. Web site: Eliot . Lance . FutureLaw 2020 Showcases How Tech Is Transforming The Law, Including The Impacts Of AI . Forbes.COM . 17 July 2020.
  15. Web site: Teknowledge Corp . . 21 May 2020.
  16. Web site: Tanenbaum . Marty . Trip . Chowdry . Final Report for the Commercenet Consortium . https://web.archive.org/web/20200717124658/https://apps.dtic.mil/sti/pdfs/ADA370379.pdf . live . July 17, 2020 . Defense Technical Information Center . 17 July 2020.
  17. Web site: Commerce One Acquires Mergent Systems . responsesource . 17 July 2020.
  18. Web site: Sipx Inc. . Relationship Science . 17 July 2020.
  19. Web site: Symbium. 21 May 2020.
  20. Web site: 2020 Ivory Prize Winner Announcement . Ivory Innovations . 15 July 2020.
  21. 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.
  22. Studer . Rudi . Benjamins . Richard . Fensel . Dieter . Knowledge Engineering: Principles and Methods . Data & Knowledge Engineering . 1998 . 25 . 1–2 . 161–97. 10.1016/S0169-023X(97)00056-6 . 2521178 .
  23. Genesereth, M.R. and Fikes, R.E., 1992. Knowledge interchange format-version 3.0: reference manual.
  24. 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.
  25. Genesereth . Michael . Ginsberg . Matthew . Rosenschein . Jeffrey . Cooperation without Communication . Proceedings of the National Conference on Artificial Intelligence . 1986 . 51–57 . 3 August 2020.
  26. Genesereth, M.R. and Ketchpel, S.P., 1994. Software Agents. In Communications of the ACM.
  27. Book: Wooldridge . Michael . An Introduction to Multiagent Systems . March 8, 2013 . John Wiley & Sons . 978-0-470-51946-2 . 2nd . 21 May 2020.
  28. Bradshaw . John . An Introduction to Software Agents . Software Agents . 1997 . 6 . 4 . 466–469 . 21 May 2020.
  29. Web site: Logical Spreadsheets . https://web.archive.org/web/20201127013426/http://www.zdnet.com/article/logical-spreadsheets/ . dead . November 27, 2020 . ZDNet . 16 July 2020.
  30. Book: Chirkova . Rada . Genesereth . Michael . Computational Logic — CL 2000 . Linearly Bounded Reformulations of Conjunctive Databases . International Conference on Computational Logic . Lecture Notes in Computer Science . 2000 . 1861 . 987–1001 . 10.1007/3-540-44957-4_66 . 978-3-540-67797-0 .
  31. Book: Genesereth . Michael . Mohapatra . Abhijeet . 2019 IEEE Second International Conference on Artificial Intelligence and Knowledge Engineering (AIKE) . Practical Reformulation of Deductive Databases . 2019 . 65–72 . 10.1109/AIKE.2019.00020 . 978-1-7281-1488-0 . 160018891 .
  32. Bobrow . Daniel G. . Artificial intelligence in perspective: a retrospective on fifty volumes of the Artificial Intelligence Journal . Artificial Intelligence . February 1993 . 59 . 1–2 . 5–20 . 10.1016/0004-3702(93)90163-6 . 30 July 2020.
  33. Book: Genesereth . Michael . Duschka . Oliver . Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '97 . Answering recursive queries using views . 1997 . 109–116 . 10.1145/263661.263674 . 0897919106 . 2995653 .
  34. Web site: PODS Best Paper Awards . SIGMOD.ORG . Association for Computing Machinery, Special Interest Group on Management of Data . 30 July 2020.
  35. Rosenschtein . Jeffrey . Genesreth . Michael . Deals Among Rational Agents . International Joint Conference on Artificial Intelligence . 1985 . 91–99 . 3 August 2020.
  36. Web site: IFAAMAS Influential Paper Award . International Foundation for Autonomous Agents and Multiagent Systems . 3 August 2020.
  37. Web site: Myers . Andrew . A Stanford computer scientist designs a logic curriculum for high school . Stanford Engineering . 9 June 2016 . 21 May 2020.
  38. Web site: Genesereth . Michael . Chaudhri . Vinay . Logic in Secondary Education . Infosys Foundation . 21 May 2020.
  39. Genesereth . Michael . Kao . Eric . The Herbrand Manifesto - Thinking Inside the Box . Rule Technologies: Foundations, Tools, and Applications. RuleML 2015. . 2015 . 10.1007/978-3-319-21542-6_1 . 3530910 .
  40. Web site: Stanford Introduction to Logic . Stanford IntroLogic . 21 May 2020.
  41. Web site: Introduction to Logic . 21 May 2020.
  42. Web site: The Third National Conference on Artificial Intelligence . AAAI . AAAI.ORG . 30 July 2020.
  43. Web site: AAAI . Past AAAI Officials . 15 July 2020.
  44. Web site: International General Game Playing Competition . AAAI . aaai.org . 30 July 2020.
  45. Web site: WWW6 Program Committee . https://web.archive.org/web/20120722141121/http://iw3c2.cs.ust.hk/WWW6/progctte.html . 30 July 2020. 2012-07-22 .
  46. Web site: Intelligent Information Privacy Management . AAAI . aaai.org . 30 July 2020.
  47. Web site: Proceedings, The Ninth Symposium on Abstraction, Reformulation and Approximation (SARA 2011) . AAAI . AAAI.ORG.

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Michael Genesereth".

Except where otherwise indicated, Everything.Explained.Today is © Copyright 2009-2024, A B Cryer, All Rights Reserved. Cookie policy.