Задачный подход и вероятностное знание в теории обучения ИИ

Авторы и предъявление

Минутная экспозиция

Задачный подход переводит запросы к интеллектуальной системе в логические задачи и оценивает решения по фактам, а не выводит их из аксиом. [E]

Центральный ход — вероятностное знание как тройка: задача f(x,y), которую надо решить, решение y=t(x) и вероятность эффективности p. [E]

Задача записывается формулой «для всех x существует y: f(x,y) влечёт ψ(x,y)», а подстановка решения t(x) даёт проверяемое утверждение для всех x. [E]

Вероятность эффективности считается по базе фактов как доля случаев, где заключение и посылка истинны, среди всех случаев с истинной посылкой, с опорой на закон больших чисел. [E]

Знания упорядочиваются: одно знание сильнее другого, если его посылка и заключение вкладываются в посылку и заключение второго, и из сравнимых знаний берётся наиболее сильное по вероятности. [E]

Формализация самого понятия задачи и задачная семантика отнесены автором к школе Ершова, Самохвалова, Гончарова и Свириденко и служат наследуемым основанием, тогда как вероятностное знание и иерархия знаний для теории обучения ИИ заявлены как авторский ход. [E]

Граница фиксируется одним обработанным источником — расшифровкой устного доклада; первичные формальные тексты системы требуют отдельной проверки. [E]

Ключевые конструкты

Основания и обязательства

• Онтологически знание задаётся не как высказывание, а как тройка из задачи, решения и вероятности эффективности: единицей знания становится решаемая задача с измеримым успехом. [E]
• Методологически эффективность решения проверяется по конкретным фактам базы знаний с опорой на закон больших чисел, а не выводится из аксиом. [E]
• Эпистемически система связывается с объяснимым ИИ: отбор решения проходит через явную иерархию знаний по вложению посылок и заключений. [E]
• Формализация понятия задачи и задачная семантика отнесены автором к школе Ершова, Самохвалова, Гончарова и Свириденко; они входят в основания системы как наследие, а собственным ходом заявлены вероятностное знание и иерархия знаний для теории обучения ИИ. [E]
• Рефлексивность по обработанному источнику оценивается как декларативная: обязательства названы прямо, но развёрнутого разбора альтернативных оснований в расшифровке доклада не обнаружено. [E]

Операционная состоятельность

• Рабочая оценка: Уровень O2 . [E]
• Система задаёт явные процедуры: перевод запроса в логическую задачу, вычисление вероятности эффективности по фактам и отбор решения по иерархии знаний. [E]
• Эти процедуры сформулированы как рефлексивная рамка с расчётным правилом, но воспроизводимый внешний протокол исполнения именно для иерархии знаний и вычисления вероятности в обработанном источнике не подтверждён. [E]
• Уровень отражает применимость корпуса как операционализируемой рамки, а не оценку ценности теории.

Зрелость

• Рабочая оценка: ранняя формулировка. [E]
• Основание: концепция вероятностного знания и иерархии знаний введена в расшифровке устного доклада без приложенного формального первичного текста системы. [E]
• Для усиления оценки нужны первичные публикации автора, где конструкты вводятся формально, и публично проверяемая реализация расчётной части.

Прототипы и инженерные реализации

• Прикладной мультиблокчейн для смарт-городов с уровнями разработан для Узбекистана. [E]
• Эта реализация относится к прикладной блокчейн-линии и не является воспроизводимой реализацией иерархии знаний или эмпирического вычисления вероятности эффективности; такой публичный репозиторий или демонстрация не обнаружены. [E]

Связанные профили

Корпус и свидетельства

Состояние профиля

• Состояние: пакет размечен.
• Подтверждены центральные формулы корпуса: вероятностное знание как тройка задача/решение/вероятность и сравнение знаний через вложение посылок и заключений. [E]
• Формализация понятия задачи и задачная семантика отнесены автором к школе Ершова - Самохвалова - Гончарова - Свириденко и зафиксированы как наследуемые основания, а не как авторский конструкт. [E]
• Прикладная мультиблокчейн-архитектура для смарт-городов подтверждена как прикладная иллюстрация; воспроизводимый публичный репозиторий вычисления вероятности эффективности и построения иерархии знаний не обнаружен. [E]
• Авторская сверка не проводилась; первичные формальные тексты системы помимо расшифровки доклада требуют отдельной проверки.