At its core, Cyc is a logical system based on nth order predicate calculus. However, it is able to leverage other AI techniques to populate its knowledge base.