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

[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

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

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

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

Теорема

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

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

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

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

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

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

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

Следствие

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

Вывод

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