Многоступенчатая логика и мультиагентные системы

[Rasool]

Дали ссылку на следующую презентацию:
https://vygon.consulting/tpost/uxssc1e3h1-vozmozhnosti-ispolzovaniya-generativnogo
В презентации сказано, что "Мультиагентные системы(МАС) - разновидность систем на базе БЯМ, в рамках которых используется несколько БЯМ, каждая из которых имеет свой ограниченный круг задач, экспертизу и доступ к инструментам решения задачи. Ожидается, что в перспективе именно мультиагентные системы будут способны решать сложные задачи, требующие ~ многоступенчатых логических суждений." Я не понял, каким образом мультиагентные системы смогут решать задачи, требующие многоступенчатых логических суждений?

[ozheredov]

Rasool в сообщении #1640784 писал(а):

Я не понял, каким образом мультиагентные системы смогут решать задачи, требующие многоступенчатых логических суждений?

Что такое многоступенчатые логические суждения, Вы, я так понимаю, поняли?

[Rasool]

ozheredov в сообщении #1640814 писал(а):

Rasool в сообщении #1640784 писал(а):

Я не понял, каким образом мультиагентные системы смогут решать задачи, требующие многоступенчатых логических суждений?

Что такое многоступенчатые логические суждения, Вы, я так понимаю, поняли?

Ну, нечто подобное многошаговому логическому выводу в исчислении предикатов первого порядка в математике?

[Rasool]

Михаил Бурцев здесь (с момента 4:30) как раз говорит о том, что у современных LLM нет возможности автоматизации планирования и моделирования рассуждений. Скорее всего это имеет отношение к проблеме Chain of Thought Prompting Elicits Reasoning in Large Language Models.

[ozheredov]

Rasool в сообщении #1640831 писал(а):

нечто подобное многошаговому логическому выводу в исчислении предикатов первого порядка в математике?

Можете пожалуйста привести пример?

[Mihaylo]

Мне это напоминает мультимодальную модель по сути. GPT-4o, например. У которой визуальная часть даёт поддержку слуховой части и т.п.

[Rasool]

ozheredov в сообщении #1640852 писал(а):

Можете пожалуйста привести пример?

В учебнике И.А.Лавровой и Л.Л.Максимова "Задачи по теории множеств, математической логике и теории алгоритмов" (у меня 3-е изд., М.: "Физматлит", 1995), в части 2 "Математическая логика", параграфе 6 "Исчисления предикатов"
определяются схемы аксиом исчисления предикатов (ИП) (не буду их здесь приводить), правила вывода ИП (тоже не буду приводить), определение вывода в ИП:

Цитата:

Выводом в ИП называется конечная последовательность формул $A_1, ..., A_n$ такая, что для каждого $i$ $(1 \leqslant i \leqslant n)$ $A_i$ есть либо аксиома, либо непосредственное следствие одной или двух предыдущих формул.

В принципе, при создании подобных систем на обычных компьютерах возникают трудности. Например:

Цитата:

Универсальный решатель задач (англ. General Problem Solver, GPS) - компьютерная программа, созданная в 1957 году Гербертом Саймоном, Клиффордом Шоу (англ. Cliff Show) и Алленом Ньюэллом, предназначенная для работы в качестве универсальной машины для решения задач, сформулированных на языке хорновских дизъюнктов. В качестве примеров использования приводились доказательства теорем евклидовой геометрии и логики предикатов, решение шахматных задач.
Программа основана на теоретической работе Саймона и Ньюэлла о логических машинах. Считается первой компьютерной программой, в которой предпринята стратегия разделения знаний о задачах (правила, которые подавались на вход программы) от стратегии решения задач (общий решающий движок). Решающий алгоритм был реализован на низкоуровневом языке программирования IPL.
Хотя GPS была способна решать простые задачи, как например головоломку о ханойских башнях, она не могла справиться со многими реальными задачами, поскольку поиск цепи решения приводил к комбинаторному взрыву числа промежуточных шагов.

(c) Википедия
Отсюда и возникает вопрос, могут ли мультиагентные системы помочь в решении задач, требующих многоступенчатых логических рассуждений? Например, если такой логический вывод является NP-трудной задачей.