"Cyc’s designers found that common-sense knowledge required handling changing contexts, exceptions, uncertainty, intentions, and competing assumptions."
Lenat's technical retrospective documents how apparently straightforward assertions depend on contextual assumptions and how Cyc addressed the problem through explicit contexts, defaults, and richer logical representations. These difficulties directly parallel the ice cream thought experiment, in which the interpretation of the same physical action depends on situational and social information.
View Source