Dr. Douglas B. Lenat is one of the world’s leading computer scientists, and is the founder of the Cyc project and president of Cycorp.
Dr. Lenat has been a Professor of Computer Science at Carnegie-Mellon University and Stanford University and has received numerous honors including:
- Awarded the bi-annual IJCAI Computers and Thought Award which is the highest honor in Artificial Intelligence;
- Named the first Fellow of the AAAI, the Association for the Advancement of Artificial Intelligence.
- Fellow of the American Academy for the Advancement of Science (AAAS)
- Fellow of the Cognitive Science Society
His best-known published books include:
- Knowledge Based Systems in Artificial Intelligence (1982, McGraw-Hill)
- Building Expert Systems (1983, Addison-Wesley)
- Building Large Knowledge Based Systems (1989, Addison-Wesley)
He has authored over one hundred publications primarily in the areas of machine learning, automatic program synthesis, knowledge based systems, representation, automated inference, and he is an editor of the J. Automated Reasoning, J. Learning Sciences, J. Applied Ontology, J. Applied Artificial Intelligence, and the Springer Artificial Intelligence series of books. His Stanford thesis earned him the bi-annual IJCAI Computers and Thought Award in 1977.
Dr. Lenat received his PhD in Computer Science from Stanford, investigating automated discovery based on “interestingness” heuristics, for which he received the bi-annual IJCAI Computers and Thought Award, and in 1980 he was one of the co-founders of AAAI and of Teknowledge. Besides professoring at CMU and Stanford, he was Principal Scientist at MCC, where he founded the Cyc Project in 1984 – something he dubbed “ontological engineering”. At the end of 1994, the Cyc project spun out of MCC, becoming Cycorp, Inc., and he has served as its CEO since that time. Dr. Lenat is a founder and Advisory Board member of TTI Vanguard, where he continues to co-run four conferences each year, and he holds the distinction of being the only individual to have served on the Scientific Advisory Board of both Microsoft and Apple.
Stephen Garrison is the Chief Commercial Officer for Cycorp and responsible for the company’s industry verticals, product strategy and operations. He brings strategic and operational experience across both the public and private sectors. In the White House, he served as Special Assistant to the President for Domestic Policy under President George W. Bush. At Bain and Company, he served clients across industries and launched a new regional industry practice for Health. After starting a hospital management company, he led a successful hospital turnaround and strategic transaction as CEO and General Partner. Immediately before joining the Cyc team, he served as CEO of Cooper Wellness Strategies, the corporate and technology affiliate of the world-renowned Cooper Clinic.
Stephen has a BA from Stanford University in Public Policy and an MBA from the Harvard Business School.
Chief System Architect and Inference Engine Programmer
Keith Goolsbey is currently the chief software architect and inference engine programmer of the Cyc system, and is a Senior Member of the Technical Staff. He holds a B.S. in Electrical Engineering and an M.S. in Computer Science, both from the University of Texas at Austin. The focus of his M.S. studies was artificial intelligence and expert systems. In 1990 he joined the Cyc Project at Microelectronics and Computer Technology Corporation (MCC), where he worked to expand the nascent Cyc ontology. Beginning in 1993, he took responsibility for the development of the SubL environment which forms the run-time foundation for all deployed versions of the Cyc system. In 1995 Keith became a founding member of Cycorp, Inc. At this time he took responsibility for the design and implementation of several additional portions of the Cyc technology, including the storage of the knowledge base, the inference engine, and HTML-based interfaces. Additionally, Keith designed and implemented the prototype for Cycorp’s current Semantic Knowledge Source Integration (SKSI) system, which enables the Cyc to reason with content from databases as if it were part of the knowledge base. He has recently completed managing Cycorp’s efforts for DARPA’s Architectures for Cognitive Information Processing (ACIP) program, and is currently managing the DTO Efficient Pathfinding project.
Some of his publications include:
Ramachandran, D., Reagan, P. and Goolsbey, K. “First-Orderized ResearchCyc: Expressivity and Efficiency in a Common-Sense Ontology.” In Papers from the AAAI Workshop on Contexts and Ontologies: Theory, Practice and Applications. Pittsburgh, Pennsylvania, July 2005.
Mayfield, J., Finin, T., Narayanaswamy, R., Shah, C., MacCartney, W. and Goolsbey, K. “The Cycic Friends Network: Getting Cyc agents to reason together.” Proceedings of the CIKM Workshop on Intelligent Information Agents. 1995.