IBM's Watson and Apple's Siri stirred up a hunger and awareness throughout the United States for something like a Star Trek computer that really worked — an artificially intelligent system that could receive instructions in plain, spoken language, make the appropriate inferences, and carry out its instructions without needing to have millions and millions of subroutines hard-coded into it.
As we've established, that stuff is very hard. But Cycorp's goal is to codify general human knowledge and common sense so that computers might make use of it.
Cycorp charged itself with figuring out the tens of millions of pieces of data we rely on as humans — the knowledge that helps us understand the world — and to represent them in a formal way that machines can use to reason. The company's been working continuously since 1984 and next month marks its 30th anniversary.