Обсуждение:Нейросимволический искусственный интеллект

Материал из MachineLearning.

(Различия между версиями)
Перейти к: навигация, поиск
(Новая: == О подготовке статьи == Статья «Нейросимволический искусственный интеллект» была подготовлена с по...)
 
(1 промежуточная версия не показана)
Строка 1: Строка 1:
-
== О подготовке статьи ==
+
Для статьи я использовал '''GPT-5.6 Terra High'''. Первый запрос выглядел так:
-
 
+
-
Статья «Нейросимволический искусственный интеллект» была подготовлена с помощью '''GPT-5.6 Terra High'''. Мне хотелось не свести тему к фразе «нейросети плюс логика», а показать, какие именно бывают способы их объединить, где это полезно и почему это до сих пор сложная исследовательская задача.
+
-
 
+
-
Первый запрос был таким:
+
{{well|
{{well|
-
Ты разбираешься в искусственном интеллекте, машинном обучении, логике и представлении знаний. Напиши подробную энциклопедическую статью для MachineLearning.ru про нейросимволический искусственный интеллект (neuro-symbolic AI).
+
Напиши подробную статью про нейросимволический искусственный интеллект. Объясни, чем нейронные методы отличаются от символических и зачем их вообще объединяют.
-
Объясни, чем нейронные и символические методы отличаются друг от друга и зачем их пытаются объединить. Расскажи про нейронное восприятие и символическое рассуждение, причинные графы и правила здесь не нужны: сосредоточься именно на логике, представлении знаний, программах, отношениях между объектами и обучении на данных.
+
Расскажи про нейронное восприятие, правила, представление знаний, логический вывод и программы. Покажи разные способы объединения: нейросеть и отдельный символический модуль, логика как ограничение при обучении, вероятностное логическое программирование, дифференцируемое рассуждение и обучение правил.
-
Покажи несколько схем интеграции: нейросеть плюс символический исполнитель, логика как ограничение обучения, вероятностное логическое программирование, дифференцируемое рассуждение и индукция правил. Приведи реальные примеры систем DeepProbLog, Neural Logic Machines и Neuro-Symbolic Concept Learner.
+
Приведи реальные примеры DeepProbLog, Neural Logic Machines и Neuro-Symbolic Concept Learner. Напиши, где такие системы могут быть полезны и какие у них есть ограничения.
-
Статья должна быть понятна студенту, но не поверхностна. Добавь внутренние ссылки, реальные академические источники, ограничения и связь с философией ИИ. Не выдумывай факты, авторов, DOI и результаты экспериментов.
+
Статья должна быть понятна студенту. Добавь внутренние ссылки, формулы и настоящие научные источники. Ничего не придумывай. Формулы оформляй через <tex> и </tex>, отдельные формулы начинай с двух двоеточий.
-
 
+
-
Если используешь формулы, записывай их через <tex>...</tex>, а отдельные формулы выделяй двойным отступом через два двоеточия.
+
}}
}}
-
После первого черновика я решил подробнее раскрыть не только преимущества, но и реальные проблемы направления: заземление символов, ошибки нейронного компонента, сложность индукции правил и различие между глубокой интеграцией и простой связкой нейросети с внешней программой.
+
В первой версии было не совсем понятно, где заканчивается обычная нейросеть и начинается символическая часть. Слишком общо объяснялись логические ограничения и t-нормы, а преимущества выглядели почти как гарантии для любых нейросимволических систем. Ещё нужно было точнее описать реальные задачи приведённых архитектур.
-
Второй запрос был таким:
+
Потом я отправил второй промпт:
{{well|
{{well|
-
Доработай статью «Нейросимволический искусственный интеллект» как научный редактор.
+
Перепиши и дополни статью про нейросимволический искусственный интеллект. Чётче сравни нейронное и символическое представление знаний. Подробнее объясни правила, структурированные объекты, логический вывод, вероятностное программирование и дифференцируемое рассуждение.
-
Добавь более чёткое сравнение нейронного и символического представления знаний. Расширь разделы о структурированных объектах, правилах, логическом выводе, вероятностном логическом программировании и дифференцируемом рассуждении.
+
Добавь индукцию правил и проблему symbol grounding. Для DeepProbLog, Neural Logic Machines и Neuro-Symbolic Concept Learner напиши, какую задачу решает каждая система и чего она не умеет.
-
Отдельно объясни индукцию правил и проблему symbol grounding. Для DeepProbLog, Neural Logic Machines и Neuro-Symbolic Concept Learner укажи, какую конкретную задачу решает каждая архитектура, не преувеличивая их возможности.
+
Отдельно расскажи про ограничения: ручное задание правил и онтологий, ошибки нейронного восприятия, рост пространства правил и сложность совместного обучения дискретных и непрерывных частей.
-
Добавь раздел об ограничениях: ручное задание онтологий, ошибки восприятия, комбинаторный рост пространства правил, трудности совместного обучения дискретного и непрерывного компонентов. Сделай философский раздел о споре между символическим ИИ и коннекционизмом.
+
Убери лишние общие фразы и не преувеличивай объяснимость таких моделей. Проверь источники и разметку. Формулы пиши только через <tex> и </tex>, отдельные формулы начинай с двух двоеточий. Верни весь текст статьи.
 +
}}
-
Проверь, что нет пустых общих фраз, рекламных утверждений, выдуманных источников и несуществующих вики-шаблонов. Если нужны формулы, используй только <tex>...</tex>, а не <math>...</math>. Верни готовую статью целиком в вики-разметке.
+
После второго ответа я сам перечитал статью и проверил примеры систем, формулы и ссылки. Также поправил описание логических правил и убрал места, где возможности нейросимволических методов были сформулированы слишком уверенно.
-
}}
+
-
После второй версии были проверены вики-разметка, ссылки на литературу, внутренние ссылки и отсутствие неподтверждённых утверждений.
+
[[Участник:Oleg Batsiev|Oleg Batsiev]]

Текущая версия

Для статьи я использовал GPT-5.6 Terra High. Первый запрос выглядел так:


Напиши подробную статью про нейросимволический искусственный интеллект. Объясни, чем нейронные методы отличаются от символических и зачем их вообще объединяют.

Расскажи про нейронное восприятие, правила, представление знаний, логический вывод и программы. Покажи разные способы объединения: нейросеть и отдельный символический модуль, логика как ограничение при обучении, вероятностное логическое программирование, дифференцируемое рассуждение и обучение правил.

Приведи реальные примеры DeepProbLog, Neural Logic Machines и Neuro-Symbolic Concept Learner. Напиши, где такие системы могут быть полезны и какие у них есть ограничения.

Статья должна быть понятна студенту. Добавь внутренние ссылки, формулы и настоящие научные источники. Ничего не придумывай. Формулы оформляй через <tex> и </tex>, отдельные формулы начинай с двух двоеточий.


В первой версии было не совсем понятно, где заканчивается обычная нейросеть и начинается символическая часть. Слишком общо объяснялись логические ограничения и t-нормы, а преимущества выглядели почти как гарантии для любых нейросимволических систем. Ещё нужно было точнее описать реальные задачи приведённых архитектур.

Потом я отправил второй промпт:


Перепиши и дополни статью про нейросимволический искусственный интеллект. Чётче сравни нейронное и символическое представление знаний. Подробнее объясни правила, структурированные объекты, логический вывод, вероятностное программирование и дифференцируемое рассуждение.

Добавь индукцию правил и проблему symbol grounding. Для DeepProbLog, Neural Logic Machines и Neuro-Symbolic Concept Learner напиши, какую задачу решает каждая система и чего она не умеет.

Отдельно расскажи про ограничения: ручное задание правил и онтологий, ошибки нейронного восприятия, рост пространства правил и сложность совместного обучения дискретных и непрерывных частей.

Убери лишние общие фразы и не преувеличивай объяснимость таких моделей. Проверь источники и разметку. Формулы пиши только через <tex> и </tex>, отдельные формулы начинай с двух двоеточий. Верни весь текст статьи.


После второго ответа я сам перечитал статью и проверил примеры систем, формулы и ссылки. Также поправил описание логических правил и убрал места, где возможности нейросимволических методов были сформулированы слишком уверенно.

Oleg Batsiev

Личные инструменты