1) Is first order logic not expressive enough for some use cases? Do you need higher order logic?
2) Where can I found a complete explanation of why Cyc hasn't yet been enough to build true natural language understanding, which technical difficulties needs to be solved?
Examples would be welcome.
3)
Is would be really nice if you showed progress in real time and allowed community to contribute intellectually.
You could make a github repository without the code.
But where we could see all the technical issues per tag, so we could follow the discussions and eventually share useful knowledge with you in order to accelerate progress.
I'm also a Cycorp employee, so I can say a little bit at least about (1) and (2).
1) We often use HOL. CycL isn't restricted to first order logic and we often reason by quantifying over predicates.
2) I don't know where you could read an explanation of it, other than the general problem that NLU is hard. It is something people at the company are interested in, though, and some of us think Cyc can play a big role in NLU.
2) Where can I found a complete explanation of why Cyc hasn't yet been enough to build true natural language understanding, which technical difficulties needs to be solved? Examples would be welcome.
3) Is would be really nice if you showed progress in real time and allowed community to contribute intellectually. You could make a github repository without the code. But where we could see all the technical issues per tag, so we could follow the discussions and eventually share useful knowledge with you in order to accelerate progress.