Обсуждение

По 4. "...И делаем его как следует, не забегая в вычисления над базами знаний. Будет база знаний с контринтуитивной информацией, будут вычисления. А пока давайте эту базу знаний соберем... в конце концов, CYC -- формальная система, и мы "перекодируем" знания" - имхо ничего не выйдет.

Я не имею ввиду простую трансформацию из "логики полуторного порядка" CycL в FOL из ISO 15926. Я имею ввиду совсем-совсем другой процесс утилизации знания (возможно, правильно было бы говорить не "перекодируем", а "перепрограммируем" или "переонтологизируем" -- хотя бы с учетом того, что CYC это 3D онтология, а 15926 это 4D. Но это не значит, что перекодирование невозможно, и знания одной онтологии навеки потеряны для другой). Обсуждения перекодировок онтологий в среде онтологов регулярны, обсуждаются как ontology merge. Прогресс в этой сфере не слишком большой, но устойчивый.

На мой взгляд это задача интеллектуального машинного перевода с одного естественного языка на другой. Я не слышал о большом прогрессе в этой области. Сказала бы более того - пока там застой. При этом я вовсе не умаляю нужности выбранного Вашего подхода, безусловно получится полезная штука. Анатолий, а как в инженерном смысле Вы определяете АИ? "...Обсуждения перекодировок онтологий в среде онтологов регулярны, обсуждаются как ontology merge..." - мне не очень нравится слово "перекодировки" - наверное все таки интеллектуальный перевод. А не могли бы Вы дать ссылки?

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

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

По делу мне сказать нечего, у меня самого на ближайшее время этой задачи пока нет, а плотно мониторить успехи я пока не начал. Но в долгосрочных списках эта задача у меня есть, а предметная область "промышленная интеграция данных" явно может быть для этой задачи неплохим полигоном, мимо всякого "искусственного интеллекта" -- это единственное нетривиальное моё наблюдение.