Comment by kappasan
1 year ago
I wonder if it's possible to design a new formal language (something like lojban [1], with a grammar strictly based on formal logic) but with better UX so that it can be used by regular folks like me? Maybe combine something like Attempto [2] with a dedicated visual UI?
I would think a language like that could speed up knowledge base construction. Maybe it can also serve as a substitute for natural languages in some situations where we want our communication to be logically airtight.
[1] https://en.wikipedia.org/wiki/Lojban
[2] https://en.wikipedia.org/wiki/Attempto_Controlled_English
On a separate note, I've always wondered how Cyc is pronounced. Is it "sike", or is it "see-why-see"?
I pronounce it like "tsits", because "cyc" in Polish means "tit" (the organ, not the bird), and it feels good.
I've always imagined it was supposed to be pronounced like 'psych', and that it was a corporate bullshit, marketing spelling, of that word.
The etymology is from 'enCYClopedia'.
I see, thanks.