In this edition of QuEST, Dr. Lenat, CEO of Cycorp, talks about his AI called Cyc and trustworthiness of AI systems.
Key Moments in the video include:
Brief history of Cyc project and origins
Cyc demo - Can an upside down coffee cup hold hot coffee?
Cyc represents things in predicate calculus
Power of statistical machine learning
Brittleness of AI systems
Foundation of commonsense knowledge for AI systems
Harnessing LLMs to get as close to automatic natural language understanding as possible
First order logic is not expressive enough
CycL as the language of Cyc
Trustworthiness of AI
Details More