talthen(a)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