Мы считаем, что местность реального мира, окружающая разумного Индивида разделена на клетки, позволяющие по номеру клетки идентифицировать позицию объектов. Имеется конечное множество объектов. Объекты в дискретные моменты времени перемещаются из клетки в соседнюю клетку. Пусть объектом являются "заяц", который медленно переползает из одной клетки в другую. Поскольку реальный мир непрерывен, степень принадлежности клетке, из которой заяц выползает изменяется численной мерой Задэ.
0.7 - степень принадлежности зайца предыдущей клетке
0.3 - степень принадлежности зайца следующей клетке Задэ вводил более сложную - "функцию принадлежности", чем общая сложность всего еще более усугублялась.
Конфигурация из нескольких объектов описывается функцией-вектором распределения степеней принадлежности клеткам. Возникает типичная математически корректная задача. Но, видимо, в ней - самое главное, это именно математическая постановка (в некоторых случаях даже выводящая на систему дифф.уравнений), ... и может получиться статья! Вот причина появления степеней принадлежности.
С другой стороны ни один человек в своей деятельности не оперирует степенями принадлежности клеткам. Если большая половина зайца в предыдущей клетке, то естественно считать, что он находится в предыдущей клетке, иначе - в следующей. Можно даже ради зайца несколько переместить границу клетки или увеличить размер клетки.
Удобнее всего между реальным миром и разумным Индивидом расположить специальную систему восприятия-распознавания, которая сама занимается тем, что
а) делит мир на клетки, которые именованы и, для удобства,
даже могут иметь различные размеры, это деление на клетки
получило название "когнитивных карт" мира
б) делит время на дискретные кванты, которые тоже могут быть
не равными (ночью они увеличиваются)
в) распознает расположение объектов и фонов по клеткам,
никаких мер Задэ, результаты выдаются в виде
утверждений-фактов предъязыка на основе "предглаголов"
движения и нахождения
г) эта же система распознавания может создавать утверждения о
признаках объектов
д) набор всех показателей и утверждений образует
"мгновенное наблюдаемое состояние" мира. При введении мер
Задэ, возникла бы необходимость вводить меру близости на
"состояниях мира". Сейчас все близкие состояния мира
считаются уже собранными и категоризированными в одно
распознанное "наблюдаемое состояние" мира. Все сложные
проблемы близости и различий решаются в модуле
распознавания "наблюдаемых состояний" мира. Мы находимся
в царстве дискретности и готовы переходить в мир
предъязыка и лингвистики.
Необходим модуль "предвербализации восприятия". Понимание роли Сценариев для неживых объектов. Решение проблемы создания потока "наблюдаемых состояний" мира. Состояние мира состоит из результатов взаимодействия Сценариев Индивида со Сценариями остальных объектов, живых и не живых.
Можно ли моделировать в "предлогике" работу с кванторами, но без использования операторов E и A? Можно, для этого вводится конструктивный квантор существования, который означает, что каждая совокупность имеет первый элемент. Для A - каждая совокупность имеет прототипный элемент. Вместо отрицания следует использовать конструктивное отрицание в виде A & !B .