talthen@wp.pl wrote:
Sure, but have you ever heard about anybody who tried it as an Open project? Microsoft spend many years and cash on creating its Windows OSes, but Linux is so better... I think my idea may be realized, but I can't do this just by myself...
Well, I'm not going to say it's in principle impossible, but I think you do need to realize just how hard it is. =]
There's been various attempts in various research fields to do something of that sort. Some branches of logic work on codifying knowledge in terms of formal logical systems; clearly standard logic is too restrictive, but there's plenty of attempts to overcome that. Many areas of automated translation attempt to construct at least partial intermediate abstract representations to assist. And many areas of linguistics attempt to come up with generic explanatory and classification frameworks, at least ones that are applicable to certain subsets of languages. There's lots of stuff out there, but the main thing it has in common is that it's all pretty far from perfect. Which is not to say that it's not possible to create something that's at least useful; it's just hard.
-Mark