undefined | Better HN

0 pointsauggierose1y ago0 comments

Does Cyc have proofs?

0 comments

3 comments · 1 top-level

cess111y ago· 2 in thread

In a sense, yes, since it has a foundation in Prolog style facts and rules, and supposedly can output its reasoning.

Ok, sounds like in principle you could have proofs, but in practice, you don't?

Are there any checks for the consistency of all facts?

How could there be? Gödel gets in the way.

j / k navigate · click thread line to collapse