Архив
конференции
Механизмы сознания
[ Back ] [ Home ] [ Up ] [ Next ]
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-значная ;)
Я думаю что надо стремиться ограничиться минимальным числом значностей для базовой операции и на ее основе выстроить более сложные (точно также как на двоичной логике базируется все операции в компьютере).
Счастливо,
Анатолий