Автор: NO.
Конечный автомат это просто нарисованный граф, а в работающем еще есть указатель текущего состояния. Любое изменение реакций можно считать обучением. |
|
О культуре мышления
допустим существование двух абстрактных формальных систем А и Б
зададим для системы А некоторое множество аксиом А'
зададим для системы Б некоторое множество аксиом Б'
пусть А' не равно Б'
заданные системы могут быть взаимно протеворечивы либо взаимно совместимы
рассмотрим ситуацию когда системы взаимно совместимы
Заметим, что в случае совместимости систем, высказывания Б', являющиеся для системы Б аксиомами доказываются в системе А как теоремы на базе множества аксиом А'
и симметрично аксиомы А' не являются аксиомами в системе Б, а доказываются на основе множества аксиом Б'
пусть некоторое множество утверждений С' является истинным в обеих системах
сложность доказательства этих утверждений будет различна для систем А и Б
сопоставим множеству утверждений С' некоторое множество практических задач
при решении этих практических задач с формальной точки зрения нет разницы какую формальную систему А или Б взять в качестве формальной базы
однако интеллектуальные затраты на решение этих задач будут пропорциональны сложности доказательств утверждений С' в выбранной в качестве базы формальной системе
к сожалению естественный интеллект является системой с ограниченной вычислительной мощностью
с инженерной точки зрения выбор формальной системы неоптимальной по интеллектуальным затратам поставленной задаче может превысить вычислительные возможности естественного интеллекта и привести в результате к неверному логическому выводу
тоже самое по простому: считать можно по разному, однако от выбранной точки зрения будет зависить степень полезности выхлопа