Cycorp

Cycorp is a company based in Austin, Texas, that develops and sells the Cyc platform, which pairs a large common sense ontology and knowledge base with a reasoning engine and natural language interfaces. Its own description calls it a provider of machine reasoning artificial intelligence, offering vertical enterprise products such as hospital operations and supply chain tools and a knowledge layer that third party developers can use. Cycorp says it was founded by the computer scientist Doug Lenat in the mid-nineties as a company to carry forward the Cyc project, which he had launched earlier as a large effort to build a step-by-step logical reasoning system. The company describes its staff as computer scientists, logicians and natural language experts. The knowledge in the Cyc Knowledge Base is written in the CycL language.