Задачный подход. Задача как модель.
----
Задачный подход в когнитивных науках.
Искусственный Интеллект 5.0 и Сознание.
д.ф.-м.н. Витяев Евгений Евгеньевич
http://www.math.nsc.ru/AP/ScientificDiscovery/PDF/Task-driven_approach_and_cognitive_science.pdf
слайд_7 презентации
С точки зрения принципов построения фундаментальной теории :
III. Активные действия в среде и целенаправленная деятельность всегда
должны сопровождаться критерием достижения цели и без этих критериев
она смысла не имеет.
В ИИ и в науке понятия цели формулируется как задача.
Задача осмыслена тогда и только тогда, когда у нас есть критерий решенности задачи.
ЗАДАЧА: Семантическая/информационная МОДЕЛЬ предметной области.
Исходные данные + ЗАПРОС (ЦЕЛЬ).
КРИТЕРИЙ решения задачи (достижения цели).
===============================
все бессмысленно, вселенная бессмысленна
целей нет
цели появляются у системы неосознанно и целями можно называть только на верхних уровнях
как и свобода воли
как и целеполагание
как и информация
как и моделирование
как и мышление
Ну и задача это модель!
Иерархия моделей
а модель иерархии моделей это метамодель
поэтому и метамодельный подход
стильно, свежо, научно, стыковка всех наук
наука о понимании, семиотика, лингвистика, НЛП (нейролингвистика), инженерной, кибернетической и научной деятельности вплоть до теории категорий и метаматематики (теория моделей)
А поскольку наука, философия это модели и все дисциплины модели, то подход метамодельный!
Что такое наука? Что такое математика? Что такое философия?
https://deep-econom.livejournal.com/45337.html
---
Описание задачи происходит на языке. Язык это коды моделей.
Таким образом задача это специальная комбинация/композиция моделей. Композия моделей тоже модель
Вывод: задача это модель специальной формы.
==================================================
Про задачи. Что такое задача? В чем состоит задача задачи?
Про задачи и противоречия
На самом деле нам сначала надо формализовать предметную область:
- выявить требования и ограничения, сформулировать их
(данный пункт ТРИЗовцы и называют формулировкой противоречия)
на самом деле данным пунктом мы описываем целевое состояния - Требования
и накладываем ограничения на множество потенциальных решений - Ограничения)
Формулируя задачу мы формулируем алгоритмическую модель (спецификацию набора требований явных или неявных) перехода от исходного состояния (данных/ресурсов) к целевому состоянию (Цели).
Состояние это совокупность/комбинация измеримых факторов.
Есть исходное состояние.
Требуется перейти к целевому состоянию.
Ограничение на множество решений должно быть таким.
(Ограничение это множество допустимых преобразований, множество допустимых изменений, допустимых операций).
Задача= (Исх.состояние, Целевое_состояние, Ограничения) т.е. задача это тройка множеств.
Задача= (Состояние_Начальное, Состояние_Конечное, Изменения) т.е. задача это тройка множеств.
В терминах теории категорий:
Задача= (Состояние_1, Состояние_2, Морфизмы/стрелки) т.е. задача это тройка классов
где Состояние_1, Состояние_2 - классы объектов
Решили задачу= построили модель процесса перехода из состояния_1 в состояние_2.
(это типичная модель)
Решили задачу= построили цепочку морфизмов перехода из состояния_1 в состояние_2.
(стрелочная структура, графовая структура, структура морфизмов)
Часто нас не интересует сама модель процесса, а интересуют различные параметры состояния_2. Но мы все равно должны построить модель процесса, а что именно является побочным результатом это неважно.
Задача= (Состояние_Начальное, Состояние_Конечное, Изменения/Процесс)
Заметим, что данное определение задачи и есть типичная Модель.
Что такое модель? https://deep-econom.livejournal.com/54775.html
Т.е. любая задача эта модель.
Постановка задачи: определение некоторых параметров модели.
Решение задачи: создание полной модели.
Примечание.
Модель запроса информации.
Заметим, что любой вопрос это запрос на уточнение/получение какой-то информации, т.е. на уточнение параметров модели!
Так и задача это суть вопрос/запрос на уточнение параметров модели.
Запрос на совершение какого-то процесса (вызов функции/процедуры), которые уточнят модель.
Пример. А какова модель, обладающая такими свойствами?
В простом случае это ответ из справочника или базы данных. В более сложных это уточнение или создание модели.
ЗАПРОС - модель активирующая другие модели. Передает управление активированной модели и ожидает возврата результатов работы модели.
*Всегда помним, модель может описывать состояния и процессы/алгоритмы, а также другие модели.
----
Про неподвижные точки в задачном подходе Витяева и других, лучшие и оптимальные модели.
Методологическое заблуждение.
Все классификации условны, лучшей классификации нет, каков критерий такова и классификация.
Немного принципов.
Все классификации условны.
Каков критерий такова и классификация. (Какова модель таково и решение.)
Все классификации относительны.
Лучшей классификации не бывает (в сложных случаях).
Пространство поиска многомерно, задача многокритериальна.
Лучших критериев не бывает (частичная упорядоченность).
Пример неоднозначности оптимальности.
Кидаем монету на запрос, если четная миллисекунда то орел, нечетная, то решка.
Если выдвинуть верную гипотезу, то рандом превратится в детерминизм.
Пословица: что русскому хорошо, то немцу смерть.
Если бы оно (определение всего через модели) было одно и само по себе, то было бы бесполезно. Но в контексте остального бла-бла-бла в терминах моделей, инвариантов, иерархий, и т.д., это дает метод и проект построения AGI, а также конкретные архитектуры могут вылетать как горячие пирожки.
Это дает единый методологический и методический язык и мат.аппарат, дает взгляд на все дисциплины сразу. Позволяет не блуждать в направлении явно неверных путей.
-----
Про моделирование. Моделирование конструктивно.
Также привет философам: мышление, сознание это отражение. Модель всегда отражение. Модель есть гомоморфизм оригинала на языке математики.
Часть смыслов выявляется через инварианты (эту идею использует уважаемый Витяев) и изоморфизмы.
Имхо, Подход Витяева работает по двум причинам.
1. Это по своей сути моделирование
2. Он выявляет инварианты и изоморфизмы.
Выявление инвариантов это универсальная вещь, типа индукции Соломонова.
==================================
---
ТРИЗ http://altocsh3.narod.ru/triz.htm
Принцип противоречия - под воздействием внешних и внутренних факторов возникают, обостряются и разрешаются противоречия. Проблема трудна потому, что существует система противоречий скрытых или явных. Системы эволюционируют, преодолевая противоречия на основе объективных законов, закономерностей, явлений и эффектов.
...
1. Противоречие
Формулирование противоречия помогает лучше понять корень вашей проблемы и найти ее точное решение. Как правило используется следующая формулировка:
"Данная часть системы должна обладать свойством "A", чтобы выполнять нужную функцию, - и свойством "не A", чтобы удовлетворять существующим ограничениям и требованиям".
Или по-другому:
"Должно выполняться действие "А", чтобы задача была решена, - и должно выполняться (выполняется) действие "не А", потому что такова реальность".
...
2. Сформулируйте к задаче противоречие и идеальный конечный результат (ИКР)
Противоречие и ИКР "обостряют" проблему, выявляют самую ее суть и подталкивают Вас к сильным решениям. Формулировать ИКР и Противоречие можно и в нескольких вариантах - это позволяет найти несколько решений.
---
======================================
http://math.nsc.ru/AP/ScientificDiscovery/index_rus.html
Компьютерное познание
Познание - совокупность процессов, процедур и методов приобретения знаний о явлениях и закономерностях объективного мира. (ВикипедиЯ)
НАУЧНЫЙ МЕТОД : Важными элементами научного метода являются следующие четыре шага, повторяемые итеративно и рекурсивно:
1. Наблюдения (описания, измерения)
2. Гипотеза (теория, гипотетическое объяснение наблюдений и измерений)
3. Предсказания (логические следствия из гипотезы)
4. Эксперимент (опыты, проверяющие описанные шаги) (ВикипедиЯ)
КОМПЬЮТЕРНОЕ ПОЗНАНИЕ : Компьютерная реализация научного метода познания, которая включает в себя также компьютерную реализацию человеческих методов познания (Computational Cognition) - обнаружения логики, скрывающейся за каждодневными индуктивными выводами: конструированием перцептивных репрезентаций, обнаружением смысла и содержания в восприятии, понятий и смысла слов, определением близости, репрезентативности и сходства, предсказанием будущего.
--------------------------------------
Познание - это модель создания моделей. (с)
Наука это модель построения моделей адекватных окружающей реальности.
НАУЧНЫЙ МЕТОД - это модель создания моделей.
Понимание понимания. Что такое понимание?
https://deep-econom.livejournal.com/58862.html
Что такое наука? Что такое математика? Что такое философия?
https://deep-econom.livejournal.com/45337.html
===============================
Что такое цель?
(смотреть тут в комментах и по всему жж)
Задачный подход в когнитивных науках.
Искусственный Интеллект 5.0 и Сознание.
д.ф.-м.н. Витяев Евгений Евгеньевич
http://www.math.nsc.ru/AP/ScientificDiscovery/PDF/Task-driven_approach_and_cognitive_science.pdf
слайд_7 презентации
С точки зрения принципов построения фундаментальной теории :
III. Активные действия в среде и целенаправленная деятельность всегда
должны сопровождаться критерием достижения цели и без этих критериев
она смысла не имеет.
В ИИ и в науке понятия цели формулируется как задача.
Задача осмыслена тогда и только тогда, когда у нас есть критерий решенности задачи.
ЗАДАЧА: Семантическая/информационная МОДЕЛЬ предметной области.
Исходные данные + ЗАПРОС (ЦЕЛЬ).
КРИТЕРИЙ решения задачи (достижения цели).
===============================
все бессмысленно, вселенная бессмысленна
целей нет
цели появляются у системы неосознанно и целями можно называть только на верхних уровнях
как и свобода воли
как и целеполагание
как и информация
как и моделирование
как и мышление
Ну и задача это модель!
Иерархия моделей
а модель иерархии моделей это метамодель
поэтому и метамодельный подход
стильно, свежо, научно, стыковка всех наук
наука о понимании, семиотика, лингвистика, НЛП (нейролингвистика), инженерной, кибернетической и научной деятельности вплоть до теории категорий и метаматематики (теория моделей)
А поскольку наука, философия это модели и все дисциплины модели, то подход метамодельный!
Что такое наука? Что такое математика? Что такое философия?
https://deep-econom.livejournal.com/45337.html
---
Описание задачи происходит на языке. Язык это коды моделей.
Таким образом задача это специальная комбинация/композиция моделей. Композия моделей тоже модель
Вывод: задача это модель специальной формы.
==================================================
Про задачи. Что такое задача? В чем состоит задача задачи?
Про задачи и противоречия
На самом деле нам сначала надо формализовать предметную область:
- выявить требования и ограничения, сформулировать их
(данный пункт ТРИЗовцы и называют формулировкой противоречия)
на самом деле данным пунктом мы описываем целевое состояния - Требования
и накладываем ограничения на множество потенциальных решений - Ограничения)
Формулируя задачу мы формулируем алгоритмическую модель (спецификацию набора требований явных или неявных) перехода от исходного состояния (данных/ресурсов) к целевому состоянию (Цели).
Состояние это совокупность/комбинация измеримых факторов.
Есть исходное состояние.
Требуется перейти к целевому состоянию.
Ограничение на множество решений должно быть таким.
(Ограничение это множество допустимых преобразований, множество допустимых изменений, допустимых операций).
Задача= (Исх.состояние, Целевое_состояние, Ограничения) т.е. задача это тройка множеств.
Задача= (Состояние_Начальное, Состояние_Конечное, Изменения) т.е. задача это тройка множеств.
В терминах теории категорий:
Задача= (Состояние_1, Состояние_2, Морфизмы/стрелки) т.е. задача это тройка классов
где Состояние_1, Состояние_2 - классы объектов
Решили задачу= построили модель процесса перехода из состояния_1 в состояние_2.
(это типичная модель)
Решили задачу= построили цепочку морфизмов перехода из состояния_1 в состояние_2.
(стрелочная структура, графовая структура, структура морфизмов)
Часто нас не интересует сама модель процесса, а интересуют различные параметры состояния_2. Но мы все равно должны построить модель процесса, а что именно является побочным результатом это неважно.
Задача= (Состояние_Начальное, Состояние_Конечное, Изменения/Процесс)
Заметим, что данное определение задачи и есть типичная Модель.
Что такое модель? https://deep-econom.livejournal.com/54775.html
Т.е. любая задача эта модель.
Постановка задачи: определение некоторых параметров модели.
Решение задачи: создание полной модели.
Примечание.
Модель запроса информации.
Заметим, что любой вопрос это запрос на уточнение/получение какой-то информации, т.е. на уточнение параметров модели!
Так и задача это суть вопрос/запрос на уточнение параметров модели.
Запрос на совершение какого-то процесса (вызов функции/процедуры), которые уточнят модель.
Пример. А какова модель, обладающая такими свойствами?
В простом случае это ответ из справочника или базы данных. В более сложных это уточнение или создание модели.
ЗАПРОС - модель активирующая другие модели. Передает управление активированной модели и ожидает возврата результатов работы модели.
*Всегда помним, модель может описывать состояния и процессы/алгоритмы, а также другие модели.
----
Про неподвижные точки в задачном подходе Витяева и других, лучшие и оптимальные модели.
Методологическое заблуждение.
Все классификации условны, лучшей классификации нет, каков критерий такова и классификация.
Немного принципов.
Все классификации условны.
Каков критерий такова и классификация. (Какова модель таково и решение.)
Все классификации относительны.
Лучшей классификации не бывает (в сложных случаях).
Пространство поиска многомерно, задача многокритериальна.
Лучших критериев не бывает (частичная упорядоченность).
Пример неоднозначности оптимальности.
Кидаем монету на запрос, если четная миллисекунда то орел, нечетная, то решка.
Если выдвинуть верную гипотезу, то рандом превратится в детерминизм.
Пословица: что русскому хорошо, то немцу смерть.
Если бы оно (определение всего через модели) было одно и само по себе, то было бы бесполезно. Но в контексте остального бла-бла-бла в терминах моделей, инвариантов, иерархий, и т.д., это дает метод и проект построения AGI, а также конкретные архитектуры могут вылетать как горячие пирожки.
Это дает единый методологический и методический язык и мат.аппарат, дает взгляд на все дисциплины сразу. Позволяет не блуждать в направлении явно неверных путей.
-----
Про моделирование. Моделирование конструктивно.
Также привет философам: мышление, сознание это отражение. Модель всегда отражение. Модель есть гомоморфизм оригинала на языке математики.
Часть смыслов выявляется через инварианты (эту идею использует уважаемый Витяев) и изоморфизмы.
Имхо, Подход Витяева работает по двум причинам.
1. Это по своей сути моделирование
2. Он выявляет инварианты и изоморфизмы.
Выявление инвариантов это универсальная вещь, типа индукции Соломонова.
==================================
---
ТРИЗ http://altocsh3.narod.ru/triz.htm
Принцип противоречия - под воздействием внешних и внутренних факторов возникают, обостряются и разрешаются противоречия. Проблема трудна потому, что существует система противоречий скрытых или явных. Системы эволюционируют, преодолевая противоречия на основе объективных законов, закономерностей, явлений и эффектов.
...
1. Противоречие
Формулирование противоречия помогает лучше понять корень вашей проблемы и найти ее точное решение. Как правило используется следующая формулировка:
"Данная часть системы должна обладать свойством "A", чтобы выполнять нужную функцию, - и свойством "не A", чтобы удовлетворять существующим ограничениям и требованиям".
Или по-другому:
"Должно выполняться действие "А", чтобы задача была решена, - и должно выполняться (выполняется) действие "не А", потому что такова реальность".
...
2. Сформулируйте к задаче противоречие и идеальный конечный результат (ИКР)
Противоречие и ИКР "обостряют" проблему, выявляют самую ее суть и подталкивают Вас к сильным решениям. Формулировать ИКР и Противоречие можно и в нескольких вариантах - это позволяет найти несколько решений.
---
======================================
http://math.nsc.ru/AP/ScientificDiscovery/index_rus.html
Компьютерное познание
Познание - совокупность процессов, процедур и методов приобретения знаний о явлениях и закономерностях объективного мира. (ВикипедиЯ)
НАУЧНЫЙ МЕТОД : Важными элементами научного метода являются следующие четыре шага, повторяемые итеративно и рекурсивно:
1. Наблюдения (описания, измерения)
2. Гипотеза (теория, гипотетическое объяснение наблюдений и измерений)
3. Предсказания (логические следствия из гипотезы)
4. Эксперимент (опыты, проверяющие описанные шаги) (ВикипедиЯ)
КОМПЬЮТЕРНОЕ ПОЗНАНИЕ : Компьютерная реализация научного метода познания, которая включает в себя также компьютерную реализацию человеческих методов познания (Computational Cognition) - обнаружения логики, скрывающейся за каждодневными индуктивными выводами: конструированием перцептивных репрезентаций, обнаружением смысла и содержания в восприятии, понятий и смысла слов, определением близости, репрезентативности и сходства, предсказанием будущего.
--------------------------------------
Познание - это модель создания моделей. (с)
Наука это модель построения моделей адекватных окружающей реальности.
НАУЧНЫЙ МЕТОД - это модель создания моделей.
Понимание понимания. Что такое понимание?
https://deep-econom.livejournal.com/58862.html
Что такое наука? Что такое математика? Что такое философия?
https://deep-econom.livejournal.com/45337.html
===============================
Что такое цель?
(смотреть тут в комментах и по всему жж)