Автор: NO. Точные алгоритмы как раз только в рамках формальных систем и работают, у математиков. И робот, собирая ягоды, наверняка не приобретет такой сложный жизненный опыт, чтобы далеко уйти от формальной системы. |
|
Я не против формальной системы, скорее даже за, но я против математики (чистой) в описании правил, как сильно сокращенной символьной системы. Правил для описания всех взаимосвязей в модели мира слишком много, для того чтобы каждое из них имело привычную (лаконичную) для математики форму записи.