Обсуждение

Сдается мне, что за всеми этими семантическими технологиями стоит одна простая идея: формализация знаний и коммуникаций в виде формальной логики, предпочтительно первого порядка (как наиболее выразительной из практичный, и наиболее практичной из выразительных).

Порядки там разные, и идей тоже явно больше одной...

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

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

Надеюсь основные битвы будут в социальной сфере.

Больше-то оно может быть и больше, но: 1. если для это нельзя запрограммировать инструментарий, то это трудно назвать технологией, т.е. это будет то самое расплывчатое "управление знаниями". "Можно запрограммировать" означает формализацию в какой-то логике. 2. если логика менее выразительна нежели логика предикатов первого порядка (с функциями, предикатами и кванторами), то технологию трудно назвать семантической. 3. для логик более высокого порядка нежели первый существенно меньше инструментария, т.е. тоже не шибко технологично на данный момент

"Данный момент" сейчас меняется раз в 2.5 года (смена "поколения IT"). Сейчас очень трудный момент: знания по IT меняются очень быстро, и очень трудно удерживаться старым багажом, который преподавался в IT начиная с конца 60-х. Все очень, очень быстро меняется, включая принципы. Я, как написавший первую программу в 1975 году, и пытающийся отслеживать сегодняшнее состояние дел, очень это остро чувствую. Рассуждалки прежних лет не работают: был прогресс и в области алгоритмов, и в области архитектур, и в области стандартизации.

Формальные системы - это пока не ИТ, а все еще махровый Computer Science. В фундаментальных знаниях прогресс значительно медленнее. Да и спроса на более выразительные логики массового нет: большинство проблем выразимо в терминах логики первого порядка.

Но для этого надо прикладывать дополнительные усилия - может найтись группа громил, которая не видела компьютера и не в курсе существования семантических технологий.

Извинтие, встряну в разговор, а где Вам не хватает логики первого порядка? Не могли бы Вы дать более развернутое толкование, того что Вы называете семантической технологией.

Ну мне пока хватает :). Думаю хватит в 95% случаев. Даже более простых (decidable) логик должно хватить. Есть конечно моменты невыразимые в логике первого порядка, на практике я с ними пока не встречался. Но есть вещи более удобно выразимые в логиках высшего порядка. К примеру, в онтологиях иногда надо принимать решение, что есть класс, а что есть экземпляр класса. Но в логике высшего порядка эта проблема снимается, ибо там класс может быть и экземпляром одновременно. Также если применять логику для спецификации функциональных программ, в которых функция может быть параметром, то по видимому логикой первого порядка не обойтись. Но я пока в такие дебри не лез :).

> Не могли бы Вы дать более развернутое толкование, того что Вы называете семантической технологией. Семантическая означает формализацию "значений" различных понятий. Технология означает автоматическую или полуавтоматическую поддержку со стороны компьютера.

Хорошо, спасибо

Правильно ли, я тогда понимаю, что MS Visual Studio с С++ (поддержка классов), представляет тогда семантическую технологию? :) Видимо, это все-таки не просто - формализация. Какую задачу Вы хотите решать?

Не просто формализация, а формализация смыслов (значений). Вряд ли для кого-то С++ классы несут глубокий смысл :). Какой-то смысл конечно там содержится, но он задавлен шумовой компонентой (деталями реализации). Вот если отделить несущественные детали и это дело формализовать, то получится формальная спецификация (которая должна быть верна для любой реализации). А методология и инструментарий создания и/или извлечения таких спецификаций, будет семантической технологией.

Вот и примерчик отыскался... "Информационное общество и проблемы социального развития" http://www.computerra.ru/offline/2001/414/12982/ "Предпосылки другой опасности заключаются в овладении большой частью членов общества технологиями обработки информации (а значит, и манипулирования ею), что дает в руки антисоциально настроенным индивидам довольно мощное средство пропаганды и реализации своих идей"

А уж социально настроенным индивидам какое мощное средство пропаганды и реализации своих идей!

Это точно. Нужно решить задачу, как обобщить чего хотят эти индивиды, чтобы адекватно реагировать на действительность и заняться планированием сообществ.