From: Anatole ( MedyntsevA@Novavox.ru ) Date: 11:16:10 20/01/01
Posted-From: 195.201.56.225
Привет,
>ПРОЛОГ-машины и исчисление предикатов вызывали >восторги разве что при разработке 5G-компьютеров
А что Пролог язык как язык довольно забавный. Некоторые идеи из него применяю до сих пор. Просто
сначала была иллюзия что он сильно отличается от других языков и мы сможем что-то на нем запрограммировать значительно более эффективно. Оказалось это не так...
>Одной из альтернатив явилась теория >концептуальной зависимости Шенка (CDT)
>и соответствующие ЯВУ. Это достаточно серьезно. >Реализованные системы (опыт-
>ные), насколько я понимаю, могли извлекать из >текста неявную осмысленную
>информацию, пополняя при этом свои знания о п.о.
>Об этих формализмах и их совершенствовании >хотелось бы помимо прочего по-
>говорить.
>Т.е. "образность" пока не по зубам..
>Итак, начинаем.. :)
>Бинарный - это, ясен перец, не бистабильный >элемент, подразумевается одно-
>мерный непрерывный диапазон min-max. ,
А зачем немпрерывный диапазон. Я ,например, сторонник "натурального" кодирования, то есть если нужно представлять величину n от 0 до 100 заводишь 100 битов и устанавливаешь в 1 столько
битов - какова величина (то есть n).
>из физиологии
>(оппонентные пары, мышцы-антагонисты, >обеспечивающие глазной тонус (саккады!),
>биомеханику).
>И не хотелось бы сразу упираться в логику. Пусть >и n-значную.
>Кстати, минимальным набором истинностных >значений для описания концептуальной
>системы представляется набор И, Л, Абсурд(А)
>Все-таки 7-значная логика ближе к континиумной, >чем
>3-значная ;)
Я думаю что надо стремиться ограничиться минимальным числом значностей для базовой операции и на ее основе выстроить более сложные (точно также как на двоичной логике базируется все операции в компьютере).
Счастливо,
Анатолий
--------------------------------------------------------------------------------
Написать ответ
--------------------------------------------------------------------------------
Конференция "Механизмы сознания"