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

> What we need are systems that focus on understanding and wisdom, not information and knowledge. Я кажется даже могу такую систему вообразить. Надо смешать онтологии (высокопорядковые, на основе Higher Order Logic) с системой трассировки утверждениях на разных уровнях. Систему трассировки базировать на всеразличных inference engine, забазированных в свою очередь на HOL. Т.е. как бы между информацией, знаниями, пониманием и мудростью можно двигаться в две стороны: индукция и дедукция. При этом надо еще поддержать противоречивость и инструментарий работы с ним (это типа специального вида inference engine). HOL нужна для замкнутости системы, т.е. чтобы как бы не изголяться всегда оставаться в ее рамках (ЛИСП есть прекрасный пример такой замкнутой системы). И вот в эту всю систему нужно запихать всякие факты, математические, физические и прочие теории. И с какого-то момента она начнет саморазвиваться и быть полезной на практике в широкой сфере деятельности. У меня знакомый обдумывал проект подобного суперкомпьютера. Т.е. например есть какие-то факты, их можно поанализировать, классифицировать, вывести какую-то теорию, т.е. перейти уже к пониманию и мудрости. Можно потом эти теории проверить на разных фактах и на совместимость с другими теориями. Выявить противоречия. Причем можно работу давать на аутсорсинг, главное чтобы результаты (теории, теоремы и пр) были представлены в той же онтологии и HOL, тогда их можно включать в систему. Т.е. вобщем-то это все обычный инструментарий распределенной работы над чем-то но на основе замкнутой онтологии/логики, что обеспечивает расширяемость без ограничений. Можно сказать, что Symantic Web пример такой системы, однако они как-то концентрируются вокруг OWL DL который есть логика дескриптивная, но недостаточно выразительная, т.е. незамкнутая, в том смысле, что рано или поздно появятся интересные и мощные концепции которые в ней невыразимы или несовместимы с другими интересными и мощными концепциями.