теория описания всего - 1
вот ассоциация это модель, модель это маленький граф, знания и информация тоже модели, весь контекст это большой граф состоящий из маленьких графов, база знаний, этакий большой граф, мышление это манипуляция графами и нахождение путей на графе, генерация новых путей на графе, доказательство теорем это нахождение путей на графе
в итоге получается всё есть граф, все, что содержится в сознании ИИ есть граф, графы представляем упорядоченными парами, все записывается на графах, всё получается из графов
в этом плане как раз данная концепция ИИ сильно пересекается с двумя довольно общими и абстрактными дисциплинами:
- теория категорий (все на стрелочках, суть графы)
- гомотопическая теория типов (тут тоже все на стрелочках, с помощью стрелочек доказывается эквивалентность казалось бы очень разных объектов, что ложится в основу доказательств всего)
таким образом, математически в основу ИИ мы кладем идею все есть граф, всё представимо на графах, есть пространство путей графа (ассоциации)
это все так, да
я предпочитаю говорить, что в основу концепции ИИ положена концепция модели, все есть модель и манипуляции с моделями, так методически более правильно, человек мыслит именно моделями и сознание суть модель
хотя да, это все граф, но это уже низкоуровневое представление
почему графы оказались такой мощной концепцией, примеры теория категорий и теория типов ?
это базовое представление мира, есть объекты обозначаемые точками и есть преобразования или процессы, которые обозначаются стрелочками, все
итоговое представление мира, все меняется, цепочка изменений это процессы, процессы, влекут различия, различия влекут антитезис тождество
итого различие/тождество, возникает двоичность, из двоичности строится весь универсум представлений о мире, этого достаточно
т.е. базовое изменение, далее тождество/различие, далее синтез системы (упорядоченная пара), и все завертелось
нет ничего более базового
более фундаментальных теорий, чем теория основанная на различии /тождестве нет и быть не может, может быть нечто в эквивалентной форме какойто наверное, но оно будет эквивалентно
том числе по этой причине всякие машина Поста, машина Тьюринга, лямбда исчисление и прочее эквивалентны по выразительной силе
вот этакая теория описания всего, конечно же это грязные непричесанные идеи
их можно прорабатывать и заворачивать в хорошие нормальные статьи, но это уже будут делать другие )
ps
Что такое логика?
логика это правила преобразования цепочек символов
http://deep-econom.livejournal.com/29115.html
общая теория структур или к вопросу о протологике
http://deep-econom.livejournal.com/77369.html
теория описания всего - 2. информация. модель. модель моделей.
https://deep-econom.livejournal.com/110281.html
в итоге получается всё есть граф, все, что содержится в сознании ИИ есть граф, графы представляем упорядоченными парами, все записывается на графах, всё получается из графов
в этом плане как раз данная концепция ИИ сильно пересекается с двумя довольно общими и абстрактными дисциплинами:
- теория категорий (все на стрелочках, суть графы)
- гомотопическая теория типов (тут тоже все на стрелочках, с помощью стрелочек доказывается эквивалентность казалось бы очень разных объектов, что ложится в основу доказательств всего)
таким образом, математически в основу ИИ мы кладем идею все есть граф, всё представимо на графах, есть пространство путей графа (ассоциации)
это все так, да
я предпочитаю говорить, что в основу концепции ИИ положена концепция модели, все есть модель и манипуляции с моделями, так методически более правильно, человек мыслит именно моделями и сознание суть модель
хотя да, это все граф, но это уже низкоуровневое представление
почему графы оказались такой мощной концепцией, примеры теория категорий и теория типов ?
это базовое представление мира, есть объекты обозначаемые точками и есть преобразования или процессы, которые обозначаются стрелочками, все
итоговое представление мира, все меняется, цепочка изменений это процессы, процессы, влекут различия, различия влекут антитезис тождество
итого различие/тождество, возникает двоичность, из двоичности строится весь универсум представлений о мире, этого достаточно
т.е. базовое изменение, далее тождество/различие, далее синтез системы (упорядоченная пара), и все завертелось
нет ничего более базового
более фундаментальных теорий, чем теория основанная на различии /тождестве нет и быть не может, может быть нечто в эквивалентной форме какойто наверное, но оно будет эквивалентно
том числе по этой причине всякие машина Поста, машина Тьюринга, лямбда исчисление и прочее эквивалентны по выразительной силе
вот этакая теория описания всего, конечно же это грязные непричесанные идеи
их можно прорабатывать и заворачивать в хорошие нормальные статьи, но это уже будут делать другие )
ps
Что такое логика?
логика это правила преобразования цепочек символов
http://deep-econom.livejournal.com/29115.html
общая теория структур или к вопросу о протологике
http://deep-econom.livejournal.com/77369.html
теория описания всего - 2. информация. модель. модель моделей.
https://deep-econom.livejournal.com/110281.html