Full threadtkosan·Douglas Lenat recently gave the following talk at CMU about how Cyc works and its current capabilities: https://www.youtube.com/watch?v=4mv0nCS2mikView on HN