13 ноября 2008 · Комментарий

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

Имя не сохранено · Оригинал в ЖЖ ↗ · Ссылка на запись

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