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

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