Sem & сенсорика (to хмур)

From: Anatole ( MedyntsevA@Novavox.ru ) Date: 2001-01-20 11:16

Posted-From: 195.201.56.225

Привет,

>ПРОЛОГ-машины и исчисление предикатов вызывали
>восторги разве что при разработке 5G-компьютеров

А что Пролог язык как язык довольно забавный. Некоторые идеи из него применяю до сих пор. Просто
сначала была иллюзия что он сильно отличается от других языков и мы сможем что-то на нем запрограммировать значительно более эффективно. Оказалось это не так...

>Одной из альтернатив явилась теория
>концептуальной зависимости Шенка (CDT)
>и соответствующие ЯВУ. Это достаточно серьезно.
>Реализованные системы (опыт-
>ные), насколько я понимаю, могли извлекать из
>текста неявную осмысленную
>информацию, пополняя при этом свои знания о п.о.
>Об этих формализмах и их совершенствовании
>хотелось бы помимо прочего поговорить.
>Т.е. "образность" пока не по зубам..
>Итак, начинаем.. :)
>Бинарный - это, ясен перец, не бистабильный
>элемент, подразумевается одно-
>мерный непрерывный диапазон min-max.,

А зачем немпрерывный диапазон. Я,например, сторонник "натурального" кодирования, то есть если нужно представлять величину n от 0 до 100 заводишь 100 битов и устанавливаешь в 1 столько
битов - какова величина (то есть n).

>из физиологии
>(оппонентные пары, мышцы-антагонисты,
>обеспечивающие глазной тонус (саккады!),
>биомеханику).
>И не хотелось бы сразу упираться в логику. Пусть
>и n-значную.
>Кстати, минимальным набором истинностных
>значений для описания концептуальной
>системы представляется набор И, Л, Абсурд(А)
>Все-таки 7-значная логика ближе к континиумной,
>чем 3-значная ;)

Я думаю что надо стремиться ограничиться минимальным числом значностей для базовой операции и на ее основе выстроить более сложные (точно также как на двоичной логике базируется все операции в компьютере).

Счастливо,
Анатолий