Без заголовка

"...только языки не естественные, а существенно формальные. То есть там задача не "определить омонимию" или парсировать "казнить нельзя помиловать", а совсем другая: унификация (отождествление по-разному описанных объектов)..." - я в курсе; "...Термины: http://en.wikipedia.org/wiki/Ontology_merging, http://en.wikipedia.org/wiki/Semantic_Unification... Гугль дальше вам в помощь :)..." Жаль, я думал Вам есть что сказать по делу.