|
|
На: Даём определение ИИ.
Добавлено: 28 фев 18 14:01
Изменено: 28 фев 18 14:09
|
Самый наглядный пример автоматичности - теорема Котельникова. Если ее экстраполировать на весь сущий мир получается что любое явление "аналоговой" природы может быть оцифровано с заданной точностью. Это и все что надо технарю.
|
|
|
|
| На: Даём определение ИИ.
Добавлено: 28 фев 18 14:05
Изменено: 28 фев 18 14:05
|
Автор: sma63
Самый наглядный пример автоматичности - теорема Котельникова. Если ее экстраполировать на весь сущий мир получается что любое явление "аналоговой" природы может быть оцифровано с заданной точностью. Это все что надо технарю. |
|
И еще раз, попробуйте одновременно определить у квантового объекта импульс и координату. 
|
|
|
|
| На: Даём определение ИИ.
Добавлено: 28 фев 18 14:05
|
Весь микромир квантово-дискретный. Это на макро-уровне он становится аналоговым. (с) Залпы тысячи орудий слились в протяжный гул...
|
|
|
NO.
Сообщений: 10700 |
 |
|
| На: Даём определение ИИ.
Добавлено: 28 фев 18 14:07
Изменено: 28 фев 18 14:08
|
А велосипед - автомат? Где мотор и зачем руль если он везде авто-? Сам бы ехал по своим делам.
|
|
|
|
| На: Даём определение ИИ.
Добавлено: 28 фев 18 14:07
|
| Автор: Egg or Оff И еще раз, попробуйте одновременно определить у квантового объекта импульс и координату. |
|
Только после того как вы найдете конец в кольце Мебиуса.
|
|
|
|
| На: Даём определение ИИ.
Добавлено: 28 фев 18 14:08
|
Автор: sma63
Весь микромир квантово-дискретный. Это на макро-уровне он становится аналоговым. (с) Залпы тысячи орудий слились в протяжный гул... |
|
А зачем нам макроуровень, когда нас интересует программирование квантового компьютера? Или Ваш принцип он распространяется только на макроуровень? Тогда уравнение Больцмана посчитайте... Это вполне себе макроуровень.
|
|
|
NO.
Сообщений: 10700 |
|
|
| На: Даём определение ИИ.
Добавлено: 28 фев 18 15:59
Изменено: 28 фев 18 16:03
|
Вот например полезное https://ru.wikipedia.org/wiki/Вывод_типов Если сегодня нет времени самостоятельно 20 лет думать над распознаванием изображений или извлечением смысла из текста, то я поясню, что типом может быть сигнатура функции, а та в свою очередь выражением в исчислении высказываний, а те уже и смысл и рассуждения. Чего-то сомневаюсь, что будет желание haskell изучать. Проще же рисовать ум как цикл с входом и выходом и таблицей таблиц внутри, мечтать как нейросеть задумается если ей напихать полный зад ошибок, приторчать от универсальности q-learning на таблице мощности континуум.
|
|
|
|
| На: Даём определение ИИ.
Добавлено: 01 мар 18 1:19
|
L.> В автоматную модель не укладывается только САМОпрограммирующийся автомат.
> критерии автоматности (не-автоматности) ?
давайте еще немного поразъяcняем вопрос.
по определению автомата его множество состояний и автоматные функции заданы конкретно - автомат как бы запрограммирован извне, выходы автомата образуют пространство не связанное с пространством состояний и пространством переходов - поэтому в базовой теории само понятие самопрограммирующегося автомата неопределенно и даже незаконно. НИ проблема синтеза автомата, ни проблема самовоспроизводящихся автоматов, ни вопрос об обучающихся автоматах не трактуют вопроса о самопрограммипровании. В случае
самообучающихся автоматов речь идет о подборе такой кофигурации состояний и системы переходов чтобы иметь адаптивную автоматную динамику - автомат тут не переопределеяется (максимум 'cамообращенного' действия это реккурентность - подмешавать ко входам выход (специальные входы под контекст как в схемах ассоциативной памяти выводят эти схемы из класса автоматных (см. ниже)).
(такое же ограничение есть и в базовой теории машины тьюринга - программа на ленте никак не перемещается в програмную память машины - отчего архитектура vN подразумевает более общую теорию и допускает понятие cамомодифицирующейся программы. Рассматриваются не-vN, но и возможность 'универсальной самопрограммирующеся программы' интегрируется по частям - рефлексия в вычислениях, метапрограммирование, виртуальные машины, метакогнитивные архитектуры и эволюционные вычисления - все стягивается в узел.)
итак, концепт самопрограмируемости требует строго НЕ-автомата, требуется изменяющаяся система. Вопрос т.о. погружается в более общую проблематику самоорганизации, эволюции и изменяющихся систем. Совсем просто - простейший акт ассоциативного научения, напр. выработки условного рефлекса это УЖЕ невтоматность - изменяется граф переходов между состояниями - индифферентный стимул становится значимым. Когда говорят о самообучающихся системах, то их представляют часто двухкомпонентно - подсистема (программа) обучения и подсистема, в которой формируется собственно функциональная
структура. БОлее общее предствление это наложить одну подсистеу на другую - сделать переменным каждый элемент системы - типо хеббовы нейроны, меняющие силу связей (т.е. граф переходов на состояниях системы) в ходе асоциативного обучения-функционирования. Итак, эволюционирующая нейросистема - которая по генетичеcкой программе (переменной) формирует безусловные рефлексы и надстройку (инфрстуктуру) для обучения на фенотипическом уровне (начиная с простых условных рефлексов и оперантных обусловливаний) уже концептуально не является автоматом (фиксированным и определенным). Система-неавтомат программируется извне эволюционно-генетическим процессом и изнутри (инфраструктура обучения).
|
|
|
|
| На: Даём определение ИИ.
Добавлено: 01 мар 18 1:48
Изменено: 01 мар 18 1:53
|
| Автор: гость Совсем просто - простейший акт ассоциативного научения, напр. выработки условного рефлекса это УЖЕ невтоматность - изменяется граф переходов между состояниями - индифферентный стимул становится значимым. |
|
Т.е. автомат с памятью уже и не автомат! Что вы там курите? Самопрограммирующийся автомат = автомат с памятью. В зависимости от содержания памяти меняется граф переходов.
|
|
|
|
| На: Даём определение ИИ.
Добавлено: 01 мар 18 1:52
|
NO> считаются частично-рекурсивными функциями
> Проще же рисовать ум как цикл с входом и выходом и таблицей таблиц внутри,
тут можно вспомнить предисловие Непейводы к фундментальному учебнику Митчелла по основам языков программирования - о различии поиска под фонарем и там где действитеьно потеряны ключи. Из митчела можно собрать доказательство (по-моему как раз на основе теории типизации) что параллельное исполнение взаимодействующих программ не эквивалентно последовательной машине тьюринга - что последняя как бы недостаточная абстракция. Что в общем случае композиция машин тьюринга (напр. через коммуникационые ленты или общую ленту) не есть машина тьюринга. В общем смысле это понятно - если машины пишут в общую область и другая машина то может читать (еще и не различая кто что написал), то не может читать (иррегулярное сопряжение машин), то и нет никакой единой машины. Мир даже не клеточный автомат, ведущий эмерджентный расчет - а его основе не решетка планкеонов, а динамическая сеть динамичеcкой грануляции..
тут только проблема понять НАСКОЛЬКО абстракция дискретной вычислимости слаба в отношении мира - что ум подпадает под более сильную концепцию - самоорганизации (аутопоэзов, онтогенетических циклов, функциональных систем и рекурсивных структур на них, процессов обучения etc).
|
|
|
|
| На: Даём определение ИИ.
Добавлено: 01 мар 18 1:55
Изменено: 01 мар 18 1:57
|
Пипец! Композиция из 2-х автоматов уже не автомат! Чем дальше - тем интереснее.)))
|
|
|
|
| На: Даём определение ИИ.
Добавлено: 01 мар 18 2:07
|
s.> Что вы там курите?
вы путаете разные вещи - память автомата как нахождение в определенном состоянии после некотрой предыстори входов и ситуацию когда происходит переопределение автомата - если некий объект постонно переопределяется в отношении своих состояний и функций переходов, то он не есть определенный автомат - а понятие неопределенный автомат не очень осмысленно - и следует рассматривать понятие изменяющейся системы (которая не автомат в смысле строо определения втомата). Тут как бы принципиально соотношение характерных времен ритма подачи входных сигналов, генерирования выхода и скорости изменений - если по получении сигнала внутренность системы успеет измениться, то в отношении даже пары последоватеьных сигналов мы не будем иметь определенных автоматных функций и множества соcтояний.
|
|
|
|
| На: Даём определение ИИ.
Добавлено: 01 мар 18 2:16
|
s.> Пипец! Композиция из 2-х автоматов уже не автомат
вы плохо соображаете. Откуда вы взяли что система 2х автоматов ОЮБЯЗАТЕЛЬНО должна быть автоматом? Если вы сделаете стандартную композицию (чтобы получитьб именно втомат) то вы и получите именно автомат. ВЫйти из класса автоматов легко - сделайте функцию композиции зависящей от внешнего условия - тогда и автоматные функции копозита стануь зависящими от него - а это уже не автомат. Самое простое - пусть подключения автоматов друг к другу будут переменными с нестационарными вероятностями - тогда вы и недетерминированного композитного автомата не зададите.
|
|
|
|
| На: Даём определение ИИ.
Добавлено: 01 мар 18 2:54
Изменено: 01 мар 18 3:01
|
(О критериях автоматности мы так ничего и не услышали, кроме вольных рассуждений на заданную тему. Прискорбно.)
(Замечу попутно, что выработка условного рефлекса это есть генерация автомата, но мы говорим об искусственных системах).
|
|
|
|
| На: Даём определение ИИ.
Добавлено: 01 мар 18 3:02
|
про кртерии автоматности (в смысле стандартной теории) ВПРЯМУЮ говорилось несколько раз выше - но если кто-то впал в детское состояние 'а покажи мне слоника', то это даже не смешно - тут либо неспособость понять написанное либо истерическая слепота.
|
|
|
|