Cycorp: Dr. Lenat takes us through his decades of experience in AI and his recent work in Knowledge Representation and Reasoning