What differentiates Cyc from, say, a neural net or expert system?
Being able to trail the line of thought. Cyc has a justification for everything it believes, and it always bottoms out into either “X told me so” or “some piece of code says so”. A cool consequence of that is if the reason for Cyc believing something goes away, the consequences of that will also go away.
