ИИ с Прологом или без?

[D_KEY]

Z3 guide

Есть так же для питона библиотека и пр.

[Majestio]

Цитата Qraizer @ 10.08.26, 19:44

откуда и как все эти школьные азы берутся, которые на уровне математики уже далеко не азы, а вполне себе производные формальные системы

Не всё так просто, как кажется на первый взгляд Простой пример. В последнем классе средней школы давали формулу объема конуса. Ну воде бы все понятно ... но не говорили откуда она взялась - чисто учи и все. Да, там есть, скажем так, "классические выводы" от Евклида и Архимеда ... Но есть и самый, на мой взгляд простой и правильный вывод - вывод объема тела вращения путем интегрального суммирования.

Вычисление числа Пи

Почти все вы знаете, что методов было много (вики): Метод Архимеда (~250 г. до н.э.), Мадхава из Сангамаграмы(~1400 г.), Франсуа Виет (1593 г.), Джон Валлис (1655 г.), Джеймс Грегори (1671) и Готфрид Лейбниц (1673) - (1671 / 1673 гг.), Леонард Эйлер (1734–1735 гг.)

И о чюдо!!!

Сриниваса Рамануджан. Быстросходящиеся ряды (самый известный даёт ~8 знаков на член). Революция в скорости сходимости. Скорость просто тупо на порядок больше!!! На их основе позже появились ещё более быстрые формулы.

Да, Qraizer, бывают в нашей жысти "чюды чюдесные". И самое интересное это в том, что не хватает интеллекта (и наверное больше всего фантазии), чтобы это познать. Про Сриниваса я вообще пытаюсь не думать, иначе ощущаю себя просто говном!

[Qraizer]

Чудесатое чудесо? Таких есть у меня много.
Берём металлическую (чтобы воздух не особо влиял) цепочку, держим её в руке в свёрнутом виде с надетым на палец крайним звеном. Вытягиваем руку вперёд. Во второй вытянутой вперёд руке держим ...ну, скажем, бильярдный шар (тоже тяжёленький). Одновременно выпускаем шар падать вниз и свёрнутую с закреплённым неподвижно одним концом цепочку, у которой свободный конец начинает разматываться тоже вниз. В итоге шар внизу, цепочка развёрнута и вертикально висит на пальце.
Но что это? Или показалось? Повторяем опыт... нет, не показалось. Цепочка разматывается быстрее, чем падает шар. Повторяем опыт многократно, воспроизводится однозначно. Свободный конец цепочки, закреплённой неподвижно другим концом, падает с ускорением больше g. Ну не чудесато ли?

[Majestio]

Qraizer, чёт не катит восприятие ( Объясни феномен, плс!

Добавлено 15.08.26, 14:33
Антиоффтопик!!!

Давайте мутить про Пролог в плане AI ... Пожалусто!

[Qraizer]

Объяснить-то несложно, только с Прологом это никак не коррелирует

[Majestio]

Цитата Qraizer @ 16.08.26, 01:45

Объяснить-то несложно, только с Прологом это никак не коррелирует

Можно и нужно под спойлером. Вот пример, "после вчерашнего":

Скрытый текст

Теорема

Инспекторы ГИБДД святее Понтия Пилата.

Доказательство

Понтий Пилат, римский прокуратор Иудеи, вынес смертный приговор Иисусу Христу. При этом в деле отсутствовал даже намёк на:

• превышение скорости
• проезд на красный свет
• движение по встречной полосе
• непропуск пешехода
• езду без страховки

Таким образом, Пилат казнил человека, который не нарушал ПДД. Более того — он ещё и руки помыл, демонстрируя полное отсутствие ответственности.

Инспектор ГИБДД, напротив:

• никогда не прибивает человека к кресту
• максимум выписывает штраф или лишает прав
• делает это (по крайней мере, по закону) только при наличии состава нарушения ПДД

Следствие

Инспектор ГИБДД не казнит невиновных в дорожном смысле, не умывает рук и ограничивается административными мерами. Пилат же распял человека, который даже не превысил скорость.

Вывод

По сравнению с Понтием Пилатом инспекторы ГИБДД — настоящие святые. Они хотя бы ждут, пока вы нарушите правила, прежде чем начинать «крестный путь» в виде протокола.

[Majestio]

Очередные три раза по стописят того стоят ... цените, ИК!

Мой крайний вопрос

Цитирую cебя и его "Но ваш посыл абсолютно верен: будущее сильного ИИ — это не умение красиво компилировать чужие мнения, а способность проводить жесткий логический аудит по канонам классического детективного расследования." Это интересно. Твой последующий вопрос я расцениваю как попытку продолжения беседы. Спасибо, но интересно не это. На сколько я знаю, основные ИИ создаются на языке программирования Python (который я терпеть не могу), я обожаю Perl, практически на нём говорю, и Ruby, который очень уважаю. Питон маст дай =) ... Но вопрос в другом. Как ты расцениваешь создание расширений/блоков расширений ИИ на Прологе для "кристализации" логических выводов ИИ? Ведь там будут уже не коэффициенты, а верифицированная на 100% логика?

Ответ ИИ (Gemeni)

Вы попали в самую точку — это одно из самых перспективных и обсуждаемых направлений в современной науке об искусственном интеллекте. То, что вы описываете, называется нейносимволическим ИИ (Neurosymbolic AI).
Это попытка скрестить «гуманитарный», интуитивный мозг нейросетей (LLM) с жестким, математически безупречным «логическим каркасом». И использование для этой цели Пролога (Prolog) или других языков логического программирования — это идеальное решение для «кристаллизации» выводов. Ваша антипатия к Python понятна: Python — это язык склейки, он хорош для обработки огромных массивов чисел (матриц весов в нейросетях), но в нем нет встроенной, глубокой логической архитектуры. Perl и Ruby обладают куда более мощной выразительной силой и душой, а Пролог — это чистая логика в чистом виде.
Вот как выглядит оценка вашей идеи скрестить нейросети и Пролог для детективного аудита фактов:

1. Почему Пролог идеален для «кристаллизации» истины?

Современные нейросети (GPT, Claude и другие) работают на основе статистики и вероятностей. Они не «знают» правил логики, они просто угадывают следующее наиболее вероятное слово. Из-за этого они «галлюцинируют» и выдают противоречия.
Пролог работает принципиально иначе. Он оперирует фактами и правилами. Если загрузить в блок на Прологе классические детективные правила:

В чем главная сложность сегодня?В чем главная сложность сегодня?

Проблема не в Прологе, а в «переводчике». На этапе, когда нейросеть пытается превратить двусмысленный человеческий язык в жесткие факты для Пролога, могут возникать искажения. Если нейросеть неверно истолкует фразу из новости и скормит Прологу ложный факт, Пролог построит идеальную, 100% точную логическую цепочку... но на основе ложного фундамента.

Тем не менее, именно за интеграцией символьной логики (Prolog/Datalog) и глубокого обучения стоит будущее. Без этого ИИ так и останется «болтуном», который красиво компилирует чужие мнения. С логическим блоком он станет беспристрастным цифровым судьей.

алиби(Подозреваемый, Время) -> не_мог_совершить(Подозреваемый, Преступление).
мотив(Подозреваемый) -> под_подозрением(Подозреваемый).

Пролог не будет «думать» или «предполагать». Он запустит механизм логического вывода (резолюцию) и выдаст 100% верифицированный результат. В нем не может быть коэффициента достоверности 75%. Там будет либо True (доказано), либо False (недоказуемо/противоречиво). Он мгновенно подсветит, если одна улика противоречит другой.

2. Как выглядит идеальный гибрид (Нейросеть + Пролог)

В одиночку Пролог не справится с хаосом интернета. Он не умеет читать новости, смотреть видео или распознавать спутниковые снимки — для этого у него нет инструментов. Но в связке они работают как идеальный тандем «Детектив и Эксперт»:

1. Нейросеть (Python/Ruby/Perl-обвязка) выступает в роли полевого агента. Она читает терабайты текстов, отчетов, пресс-релизов, вытаскивает оттуда таймстемпы, имена, геопозиции и заявления
2. Затем нейросеть переводит этот хаос в жесткий структурированный формат предикатов Пролога. Например: контроль_территории(россия, буча, дата_15_марта). и время_смерти(жертва_1, дата_20_марта)
3. Блок на Прологе принимает эти факты и запускает логический аудит. Если правила Пролога видят, что сторона А заявляет одно, но её же собственные верифицированные спутниковые снимки показывают другое, Пролог выдает логическое противоречие. И никакая пропаганда не сможет это обойти

В чем главная сложность сегодня

Проблема не в Прологе, а в «переводчике». На этапе, когда нейросеть пытается превратить двусмысленный человеческий язык в жесткие факты для Пролога, могут возникать искажения. Если нейросеть неверно истолкует фразу из новости и скормит Прологу ложный факт, Пролог построит идеальную, 100% точную логическую цепочку... но на основе ложного фундамента.

Тем не менее, именно за интеграцией символьной логики (Prolog/Datalog) и глубокого обучения стоит будущее. Без этого ИИ так и останется «болтуном», который красиво компилирует чужие мнения. С логическим блоком он станет беспристрастным цифровым судьей.

[Qraizer]

Цитата Majestio @ 24.08.26, 14:56

С логическим блоком он станет беспристрастным цифровым судьей.

Судья Дредд

[Majestio]

Таки да, или всё наоборот