Форум на Исходниках.RU

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

Qraizer — Sun, 09 Aug 2026 16:07:39 +0000

Qraizer:

Цитата Felan @ 08.08.26, 17:05

Внезапно вяснится, что ни двойки, ни тройки не существует. И выходя из дома никто и никогда ни о двойку ни о тройку не спотыкался. В самом примитивном случае, тебе надо вырезать из дерева двойку, тройку, результат, и придумать механиз который будет на входе принимать 2 и 3 а из него будет вываливаться 5.

Строго формально арифметика выводится из теории множеств. Самый простой метод состоит из единственной аксиомы "Множеством натуральных чисел называется множество ординалов, меньших минимального недостижимого". (На практике так арифметики не формулируют, и на это есть свои причины.) А множества, являющиеся объектом изучения теории множеств, вокруг нас пруд пруди. Так что аксиоматически циферки 2, 3 и 5 легко сопоставляются с реальными сущностями.

таблица qt

rodion — Sun, 09 Aug 2026 10:47:42 +0000

rodion: Странно, почему то не работает. Почему то перекручивает.

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

Felan — Sat, 08 Aug 2026 17:05:57 +0000

Felan:

Цитата Majestio @ 08.08.26, 09:54

Эээ ну я тоже могу википедию процетировать. Но тут речь идет о правилах работы с некоторыми обстратными объектами. А как эти объеты определеня в реальности? Ну это как вот у нас есть алгебра. Она описывает формальные правила различных операций с числами. Но как только тебе надо будет рально сложить два числа, например 2 и 3 не в уме, где ты можешь сам оперировать абстратными объектами, а в реальном мире. Например надо построить устройство которое буедт это далать. Внезапно вяснится, что ни двойки, ни тройки не существует. И выходя из дома никто и никогда ни о двойку ни о тройку не спотыкался. В самом примитивном случае, тебе надо вырезать из дерева двойку, тройку, результат, и придумать механиз который будет на входе принимать 2 и 3 а из него будет вываливаться 5.
А тут предлагается товарный вагон щепок с обещанием что где-то там есть щепки из которых можно сделать двойку и тройку. Ну по некоторым правилам. И для того что бы их собрать ннадо перелопатить этот вагон коэффициентов.
А под верификацией нейросети я понимаю, что надо иметь обстракные правила определения как искать и какиме именно щепки нужны для двойки. И для тройки, пятерки и т.д. Т.е. формальная связь между произвольно заданным объектом и множества щепок из которых он должен быть собран.

Как-то так я это вижу....

Цитата Majestio @ 08.08.26, 09:54

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

Так, стоять бояться! Я думал с самого начала что мы говорим о верификации нейросети, а не сгенерированного ей кода. Если второе, то че тут изобретать? Тут тесты генеришь и все. Какая разница на каком языке?

Мы тогда получается про разное вообще говорим :(

Цитата Majestio @ 08.08.26, 09:54

И тем не менее ... В начале топика я намеренно обозначил Пролог не как замену нейросетей, а как дополнение. В моём понимании Пролог можно использовать как "расширения" для нейросетей со 100%-й достоверностью. Понимаю, что это не совсем понятно. Постараюсь объяснить на пальцах... На момент "сегодня" некоторые нейросетки (и мой любимый Grok Pro) определенные выводы не могут сформировать напрямую, они сперва генерируют свой код на Питоне, его там у себя исполняют, и потом выдают результат. Т.е. генерация кода делается в динамике, потом исполнение, и потом анализ результата исполнения. Вот тут и может пригодиться Пролог - как заранее отверифицированные кирпичики макро и микро подзадач. С другой стороны, при очередном обучении нейросети, эти уже верифицированные задачи можно опустить, ибо есть 100% правильная реализация задачи на Прологе (и есть ответственные товарищи), это конечно всё утрировано и совсем концептуально.

Тут я не понял кто на ком стоял. Как то в кучу все.
Еще раз, стадии работы и "обучения" принципиально разделены. Нет сейчас принципиальной возможности их совместить. И "обучение" это просто красивый термин, как "большой взрым" или "черная дыра" или "морская свинка", много чего еще что просто так красиво называется. На самом деле это буквально - подбор коэффициентов. Ну прикол в том, что многочле уже задан. И он, по сути всегда один. Просто мотому, что можно поставить нулевые коэффициенты в нужные места и с эмитировать любую струтуру если она плоская (нет прескоков через слои с любом направлении).
Все. Подобрали коэффициенты, положили в мешок. Дальше трясем мешок и из него вываливается что-то полезное. Иногда. Иногда нет. Ну да можно в мешок запизать то, что из него до этого вывалилось и потрести опять, вывалится что-то другое, похожее... иногда.

Но там некому говорить "спасибо". У нас на презентации успехов использования ИИ один индус радостно сообщил, что теперь он всегда пишет в конце промта "спасибо" :( Хотя не знаю, может быть :)

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

Majestio — Sat, 08 Aug 2026 09:54:28 +0000

Majestio:

Цитата Felan @ 07.08.26, 17:18

Я про пролог очень мало знаю. Но похоже он напоминает DSL.

Если коротко: базис языка Пролог составляют факты, правила и запросы, основанные на исчислении предикатов и дизъюнктах Хорна. Программа работает как база знаний, где компьютер ищет логические ответы с помощью поиска с возвратом.

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

Как тут уже не раз упоминалось ... системы на базе нейросетей базируются на многослойной структуре вероятностных коэффициентов, а системы на базе Пролога - на массивах утверждений и фактов. Согласись - второй вариант более просто верифицируем?! Т.е. для каждого предиката можно выделить набор фактов и правила, и их анализировать отдельно. Другой (кстати важный) вопрос - именования ... Скорее всего это будет что-то вроде обфускацируемого кода. Наверное - это одна из главных проблем для человеческого восприятия. Математике и алгоритмам - пофик, а для энд юзера зто будет не проще brainfick'а.

И тем не менее ... В начале топика я намеренно обозначил Пролог не как замену нейросетей, а как дополнение. В моём понимании Пролог можно использовать как "расширения" для нейросетей со 100%-й достоверностью. Понимаю, что это не совсем понятно. Постараюсь объяснить на пальцах... На момент "сегодня" некоторые нейросетки (и мой любимый Grok Pro) определенные выводы не могут сформировать напрямую, они сперва генерируют свой код на Питоне, его там у себя исполняют, и потом выдают результат. Т.е. генерация кода делается в динамике, потом исполнение, и потом анализ результата исполнения. Вот тут и может пригодиться Пролог - как заранее отверифицированные кирпичики макро и микро подзадач. С другой стороны, при очередном обучении нейросети, эти уже верифицированные задачи можно опустить, ибо есть 100% правильная реализация задачи на Прологе (и есть ответственные товарищи), это конечно всё утрировано и совсем концептуально.

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

Felan — Fri, 07 Aug 2026 17:18:52 +0000

Felan:

Цитата Qraizer @ 07.08.26, 14:51

В Прологе нет. Он декларативный, а не императивный. В Прологе есть правила вывода результатов из исходных данных, но как это делается, не формализуется. Результат валиден, если он не противоречит описанным правилам, а как он получен, никого не волнует.

Ну, к тому что я пытаюсь сказать это не имеет отношения. Я про логику. И тут как бы вопрос глубины австракции. Мне например не важно как работает ДВС и почему машина доезжает от моего дома до магаза. Жена декларирует "завтра поеду в магаз". И я завтра вижу вксняшку. Но это никак не отменяет что это происходит не магическим образом, а там которетные принципы и действия.

Я про пролог очень мало знаю. Но похоже он напоминает DSL. Верификация это прекрасно. Я думаю что я понимаю о чем ты говоришь. Грубо говоря на картинке мне пофиг как НС определила, что это кошка. Я вижу что это кошка и все. Я проверил, что НС все правильно порешала.

Но это никак не объясняет КАК она это сделала.

Цитата Qraizer @ 07.08.26, 14:51

Не надо его восстанавливать. Импликации пофику, как получены A и B, она просто говорит, что A → B = F, только при T→F.

Это в теории. На практике придется реализовать некую физическую сущьность которая дожна работать в реальном мире и как-то переводит A в B и проверять T.

Я понимаю, что накидали примеров (или нет если без учителя) и на вяходе получили результаты которые выглядят правильно. Но то, как это происходит определить пока невозможно.

Формальная логика как раз позволяет восстановить алгоритм. Просто там посылки надо определять.

Цитата Qraizer @ 07.08.26, 14:51

P.S. По сути в Прологе ты описываешь аксиоматику своей формальной системы, и на этом всё. Все промежуточные теоремы, полагаясь на которые решаются конкретные задачи, внутри Пролог-машины, и она сама их сгенерит, смотря какие понадобились и в каком количестве. Конечно, бывает так, что аксиоматика недостаточна. В конце концов Гёделя никто не отменял. Но формальную систему всегда можно расширить дополнительными аксиомами.

Да я не против. Только примитивы пролога все равно как-то определены. Если это DSL то прекрасно, но как именно внутри пролог-машины определены аксиомы? Как определить новую? Хорош, пусть это не begin if a print c end. Как это работает?

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

Qraizer — Fri, 07 Aug 2026 14:51:53 +0000

Qraizer:

Цитата Felan @ 07.08.26, 13:43

Данные как-то изменяются последовательно, а команды как-то выполняются последовательно...

Цитата Felan @ 07.08.26, 13:43

Как раз проблема в том, что бы восстановить алгоритм.

Не надо его восстанавливать. Импликации пофику, как получены A и B, она просто говорит, что A → B = F, только при T→F.

Добавлено 07.08.26, 14:57
P.S. По сути в Прологе ты описываешь аксиоматику своей формальной системы, и на этом всё. Все промежуточные теоремы, полагаясь на которые решаются конкретные задачи, внутри Пролог-машины, и она сама их сгенерит, смотря какие понадобились и в каком количестве. Конечно, бывает так, что аксиоматика недостаточна. В конце концов Гёделя никто не отменял. Но формальную систему всегда можно расширить дополнительными аксиомами.

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

Felan — Fri, 07 Aug 2026 13:43:22 +0000

Felan:

Цитата Qraizer @ 07.08.26, 12:08

В Прологе нет потоков данных и исполнения.

Эээ всмысле!? Они в любом языке есть. Это логические вещи. Данные как-то изменяются последовательно, а команды как-то выполняются последовательно... Это они и есть.

Цитата Qraizer @ 07.08.26, 12:08

Ну это смотря в каком языке. В русском, вот, не уверен.

Ну шутка же, Ё-мое.

Цитата Qraizer @ 07.08.26, 12:08

В целом у тебя всё правильно. Только ты упускаешь мои аргументы о верифицируемости. Цифры сиречь веса ты не верифицируешь без алгоритмов их потребляющих. А код и есть алгоритм. Даже если он декларативный, это всё равно алгоритм, т.б. поведение.

Я не упускаю. Я про это и говорил, когда рапрягался про

Цитата Felan @ 06.08.26, 13:35

Веса это просто набор чисел. Они не содержат в себе взаимосвязей. Какое число с каким связано? Для этого надо знать структуру нейронки. А это значит, что надо знать конкретный многочлен. Это для линейной. А если нейронка не линейная (есть связи между непоследовательными слоями, или не дай бог в разных направлениях) то все, приплыли. Без знания архитектыры сети веса можно выкидывать. А язык программирования это как ни крути поток данных и поток исполнения. Да он предствит и стуктуру тоже... но это будет уже в разы сложнее и анализировать 111 Гб это не кнопочку в другой цвет покрасить. Во вторых, проанализировать все это не значит построить карты или восстанивать архитектуру. Это значит конкретно объяснить, как она сделал вывод что на картинке кошка, а не харек, например. А подобные вещи люди то себе не могут объяснить внятно.

думаю мы просто все это немного поразному "понимаем". Но думаю тут можно прийти к общему знаменателю.

Как раз проблема в том, что бы восстановить алгоритм. А это не техническая проблему. Ну ок, будет в алгритме, что-то вроде если числа по индексам между 100Гб и 101Гб стоят такие-то числа то это кошка а не харек. Ну ок. А это сибирская или сфинкс? А, ну тут надо смотреть на 3й Гб и вот такие числа.

И тут плавно приходим к Солярису.

(Если че про гигабайты это я ссылаюсь на твое утверждение о 111Гб)

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

Qraizer — Fri, 07 Aug 2026 12:08:58 +0000

Qraizer:

Цитата Felan @ 06.08.26, 13:35

А язык программирования это как ни крути поток данных и поток исполнения.

В Прологе нет потоков данных и исполнения.

Цитата Felan @ 06.08.26, 13:35

Ну типа после слоава "пошел" обычно идет "домой"

Ну это смотря в каком языке. В русском, вот, не уверен. <_<
В целом у тебя всё правильно. Только ты упускаешь мои аргументы о верифицируемости. Цифры сиречь веса ты не верифицируешь без алгоритмов их потребляющих. А код и есть алгоритм. Даже если он декларативный, это всё равно алгоритм, т.б. поведение.

Добавлено 07.08.26, 12:11

Цитата Majestio @ 06.08.26, 14:59

... или ваапще в Федерацию Африканских Сил Специальных Операций!

В моё время говорили "...шилом бритый кампучиец".

таблица qt

Majestio — Thu, 06 Aug 2026 18:16:01 +0000

Majestio: Ok... QItemSelectionModel занимается только индексами выделения (и их сдвигом при rowsInserted/rowsRemoved).
Прокруткой QTableView он не управляет. Поэтому после того, как строки выше выделенной вставились/удалились, текущая строка (даже если выделение корректно «поехало» вместе с данными) может спокойно уехать за пределы видимой области.
Если цель - чтобы одна и та же строка данных оставалась выделенной и сохраняла свою визуальную позицию на экране (не прыгала вверх/вниз), то нужно делать две вещи:
1) Позволить стандартному QItemSelectionModel сдвигать выделение (он это делает через persistent-индексы — это правильно)
2) После изменения модели вручную поправить verticalScrollBar, чтобы выделенная строка вернулась на то же место в viewport
См редакцию. кода:

void insertRowsAbove(int position, const QStringList &newRows)

{

if (newRows.isEmpty())

return;

QTableView *view = ...;

QAbstractItemModel *model = view->model();

QItemSelectionModel *sel = view->selectionModel();

// 1. Запоминаем текущее состояние

const QModelIndex oldCurrent = sel->currentIndex();

const int oldRow = oldCurrent.isValid() ? oldCurrent.row() : -1;

const int oldCol = oldCurrent.isValid() ? oldCurrent.column() : 0;

// Визуальная позиция выделенной строки относительно viewport

const QRect oldVisualRect = oldCurrent.isValid()

? view->visualRect(oldCurrent)

: QRect();

// 2. Вставляем строки (selection model сам сдвинет выделение)

model->beginInsertRows(QModelIndex(), position, position + newRows.size() - 1);

// ... вставка в QVector ...

model->endInsertRows();

// 3. Восстанавливаем визуальную позицию

if (oldRow >= 0) {

// Индекс сдвинулся на количество вставленных строк

const QModelIndex newCurrent = model->index(oldRow + newRows.size(), oldCol);

// На всякий случай явно ставим current (обычно уже стоит)

sel->setCurrentIndex(newCurrent, QItemSelectionModel::ClearAndSelect | QItemSelectionModel::Rows);

// Считаем, насколько строка уехала, и компенсируем скроллом

const QRect newVisualRect = view->visualRect(newCurrent);

const int delta = newVisualRect.top() - oldVisualRect.top();

if (delta != 0) {

QScrollBar *vbar = view->verticalScrollBar();

vbar->setValue(vbar->value() + delta);

}

void removeRowsAbove(int position, int count)

{

if (count <= 0)

return;

// ... те же запоминания oldCurrent / oldVisualRect ...

model->beginRemoveRows(QModelIndex(), position, position + count - 1);

// ... удаление из QVector ...

model->endRemoveRows();

if (oldRow >= 0) {

// После удаления индекс уменьшился

const int newRow = qMax(0, oldRow - count);

const QModelIndex newCurrent = model->index(newRow, oldCol);

sel->setCurrentIndex(newCurrent, QItemSelectionModel::ClearAndSelect | QItemSelectionModel::Rows);

const QRect newVisualRect = view->visualRect(newCurrent);

const int delta = newVisualRect.top() - oldVisualRect.top();

QScrollBar *vbar = view->verticalScrollBar();

vbar->setValue(qMax(0, vbar->value() + delta));

}

Тести дальше.

таблица qt

rodion — Thu, 06 Aug 2026 15:14:34 +0000

rodion: QItemSelectionModel не занимается прокруткой QTableView. Текущая строка может выйти из зоны видимости.

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

Majestio — Thu, 06 Aug 2026 14:59:48 +0000

Majestio:

Цитата Felan @ 06.08.26, 14:27

Честно говоря, хотелось бы общаться с человеком. С тостером я могу и сам дома поговорить.

Отпуск (первый за 15 лет, дача, водовка) ... щя просто не вижу вариантов :lol: Прикинь, я ещо на рыбалку не ездил лет наверное столько =) А вот нащот тостера - ты неправ, ему обидно! Он мне сам сказал =)))

Добавлено 06.08.26, 15:04

Цитата Felan @ 06.08.26, 14:27

Я тя по ip вычислю!

:blink: А я ... а я ... я в ОБСЕ заяву напишу, или ваапще в Федерацию Африканских Сил Специальных Операций! 8-)

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

Felan — Thu, 06 Aug 2026 14:27:41 +0000

Felan:

Цитата Majestio @ 06.08.26, 14:06

Но прошу тебя дальше не обижаться, если я буду немного резок в своих суждениях

Я тя по ip вычислю! :crazy:

Цитата Majestio @ 06.08.26, 14:06

В последнем посте у тебя слишком много букв, которые не совсем по делу!

Тут сложно сказать. Я думал тема началась с технической подоплеки. Как заставить НС объяснить свое поведение хотя бы на прологе. Но не важно как.
Но проблема тут гораздо глубже. И совмещение обучения и работы (как у червяков :)) это только край проблемы.

Но вот я и растекся по древу... Пытаясь популярно с налетом технических ньюансов объяснить положение дел. Ну или мое понимание положения дел. Ну на какое-то время назад.

Цитата Majestio @ 06.08.26, 14:06

1) Сегодня вы обсуждаете решение проблемы, где в промежуточных решениях не может быть значения от квадратного корня от минус единицы
2) Завтра нейросетка "осилила" математический аппарат комплексных исчислений

Менно об этом я и говорю. Нет никакого "осилила" есть "аппроксимировала". А если точнее, то "аппроксимировали нейронной сетью".

Цитата Majestio @ 06.08.26, 14:06

Следствие: весь возможный платный месячный контекст обсуждений просто у гауно!!!

Ну это проблемы бизнеса, тут у меня лапки :(

Цитата Majestio @ 06.08.26, 14:06

Cорян, и это от ИИ, мне тупо лениво напрягаться в печатанье букф:

Честно говоря, хотелось бы общаться с человеком. С тостером я могу и сам дома поговорить.

Цитата Majestio @ 06.08.26, 14:06

Catastrophic Forgetting (катастрофическое забывание)
Дилемма стабильности и пластичности
Вычислительная стоимость и задержки
Отсутствие или задержка обратной связи
Дрейф данных (Concept / Data Drift)
Нестабильность поведения
Проблемы масштаба
Безопасность и контроль

Это все кроме первого вообще про другое.

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

Majestio — Thu, 06 Aug 2026 14:06:35 +0000

Majestio: Felan, дружище, ты поднял важную тему!

Но прошу тебя дальше не обижаться, если я буду немного резок в своих суждениях :lol:

В последнем посте у тебя слишком много букв, которые не совсем по делу! Но ты реально поднял одну из важнейших тем - одновременная работа нейросетки с её обучением. Это сейчас реальная проблема. Если загуглить или занейросетить - то там будет порядка 7-10. Первая из который = "потеря памяти". Раскидаю на пальцах ...

1) Сегодня вы обсуждаете решение проблемы, где в промежуточных решениях не может быть значения от квадратного корня от минус единицы
2) Завтра нейросетка "осилила" математический аппарат комплексных исчислений

Следствие: весь возможный платный месячный контекст обсуждений просто у гауно!!! Ибо нужно делать выводы по вновь обновившимся коэффициентам. Но есть и другие важные, навскидку и без детализации, факты. Cорян, и это от ИИ, мне тупо лениво напрягаться в печатанье букф:

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

Felan — Thu, 06 Aug 2026 13:35:14 +0000

Felan:

Цитата Qraizer @ 06.08.26, 12:47

Так. Ну, во первых разница есть. Веса это просто набор чисел. Они не содержат в себе взаимосвязей. Какое число с каким связано? Для этого надо знать структуру нейронки. А это значит, что надо знать конкретный многочлен. Это для линейной. А если нейронка не линейная (есть связи между непоследовательными слоями, или не дай бог в разных направлениях) то все, приплыли. Без знания архитектыры сети веса можно выкидывать. А язык программирования это как ни крути поток данных и поток исполнения. Да он предствит и стуктуру тоже... но это будет уже в разы сложнее и анализировать 111 Гб это не кнопочку в другой цвет покрасить. Во вторых, проанализировать все это не значит построить карты или восстанивать архитектуру. Это значит конкретно объяснить, как она сделал вывод что на картинке кошка, а не харек, например. А подобные вещи люди то себе не могут объяснить внятно.
А насчет верефецировть это все нейронкой...

Цитата Felan @ 05.08.26, 20:33

Будем брать для этого другую нейронку... Упс, походу зациклились

Цитата Qraizer @ 06.08.26, 12:47

За галюны есть куча версий. Г.о. ссылаются на вероятностный подход как причину, на то они и вероятности. Есть ещё мнения, что дело в том, что нейронки всеми силами пытаются угодить промту, и потому иногда срываются в подтасовки ради с их точки зрения большей значимости "понравиться". Код же, прологовый или какой другой не суть, не будет вероятностным. Ну, по крайней мере я так понимаю отчёт самого AI в стартовом посту. Пролог же тут всплыл тупо по причине, что он декларативный, а не императивный, что некисло так выгоднее в плане его формальной верификации.

Да нет никакой кучи версий. Тут все предельно понятно. Есть многомерная функция. Нейронка это ее приближение неким многочленом. А дальше обычная аппроксимация\интерполяция\экстраполяция. Во время работы веса фиксированы, т.е. аппроксимация задана. А дальше, даем вход, если попали в экстраполированую облатьсь - фантазия\синтез\анализ, а если в интерполированую - знание\анализ\глюк.
Самое гавное, что тут категория результата на самом деле определяетя все равно людьми. Если какая-нибдуь нейронка скажет что на картики с кошкой на самом деле 50% собаки, люди не скажут "О боже! Открыт новый вид!" Все скажут "хер вам а не денег" ваша нейронка гавно.

В целом достижение нейросетей заключается только в том, что больше не надо искать функции, что сложно и не понятно как. Достаточно взять эпических размеров функцию (всмысле параметров), выбрать какую-нибудь непрерывнцю (функцию активации) модуляцию из ограниченного набора (сигмоида, ступенка че там еще есть это все равно технический момент что бы просто математические методы работали) и старым добрым градиентным спуском (ну или лавандовой модификацией что бы бабок срубить за инновации) подобрать коэффициенты под любую фигню.

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

Короче, я вообще не нейронкофоб. Удобная штука. Но не надо ее во все щели пихать. И уж тем более это не ИИ. Или не Сильный ИИ. Или как там теперь называется тру интеллект?

ЗЫЖ Просто я тут не продаю нейронки. Продовал бы, я бы конечно так не богохульствовал :)

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

Majestio — Thu, 06 Aug 2026 13:07:57 +0000

Majestio:

Цитата Qraizer @ 06.08.26, 12:47

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

Вот с этим я с тобой согласен много-много. Но Felan ещй параллельно поднял вторую тему, а ля "работа в продакшене с непрерывным обучением/самообучением". И там, действительно, много реально "острых" подводных камней. Типа (одно из) - "потеря памяти" в процессе пересчета коэффициентов. Там ещо over-дохера аспектов ... но "бесшовная" реализация ИИ в плане обучения и самообучения + продакшен мода - действительно щяс проблемна.

... Но!!! Таки да =) Мы забыли про Prolog!!! Это можно считать "база константных данных". А что может быть красивще? Корень квадратный из минус единицы, да не смешите мои ласты! Хотя к комплексным исчислениям у меня нет негатива, честно.

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

Qraizer — Thu, 06 Aug 2026 12:47:48 +0000

Qraizer:

Цитата Felan @ 05.08.26, 20:33

Ну начнем с придирок

Ок, придираемся. Я не вижу разницы в том, чтобы после обучения сохранять веса или сохранять прологовый код. Но веса хренпоймишозахрень, а код вполне себе читаемая весчь, которая формально верифицируема сторонними методами, включая с применением математических методов доказательства корректности. Количество при этом не является препятствующим фактором, является хренпоймишохрень, которую верифицировать можно исключительно той самой формулой, то бишь самой нейронкой, этой же самой, которую верифицируем :wacko: .
За галюны есть куча версий. Г.о. ссылаются на вероятностный подход как причину, на то они и вероятности. Есть ещё мнения, что дело в том, что нейронки всеми силами пытаются угодить промту, и потому иногда срываются в подтасовки ради с их точки зрения большей значимости "понравиться". Код же, прологовый или какой другой не суть, не будет вероятностным. Ну, по крайней мере я так понимаю отчёт самого AI в стартовом посту. Пролог же тут всплыл тупо по причине, что он декларативный, а не императивный, что некисло так выгоднее в плане его формальной верификации.

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

Majestio — Thu, 06 Aug 2026 07:31:34 +0000

Majestio:

Цитата Felan @ 06.08.26, 03:04

Вроде пока эти два стадии не научились совмещать.

Да, читал, есть такое - пока только пытаются. В продакшене такого нету.

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

Felan:

Цитата Qraizer @ 04.08.26, 17:56

во-первых, без галюнов, ибо в итоге имеются чёткие правила вместо статистических весов

Это с чего бы вдруг?
Галюны не из-за статистических весов, а из-за того, что они специально искажаются. Иначе все это превратиться в обычную формулу. Пусть даже и будет некоторые "интересные" интерполяции и экстраполяции.

Цитата Qraizer @ 04.08.26, 17:56

во-вторых, эти правила поддаются валидации человеком, ибо исходный код на лице.

Это с чего бы вдруг нейронка, которая сама себе че-то там генерит будет заботитсья о том, что бы какой-то там человек че-то там валидировал!? Да ну даже если и так, сколько там милиардов параметров сейчас у них? Удачи валидировать :(

таблица qt

Majestio — Wed, 05 Aug 2026 11:38:18 +0000

Majestio: rodion, неправильное рассуждение. Наследовать QTableView не нужно - это вполне самодостаточный компонент. Отображением выделения занимается selection model (стандартная QItemSelectionModel). Я задал вопрос ИИ со своим предположением, и получил утвердительный ответ. Кстати получил и примеры кода:

// Пусть определения будут такие:

// MyModel *model; // наследник QAbstractTableModel, данные в QVector<QString>

// QTableView *view;

void insertRowsAbove(int position, const QStringList &newRows)

{

if (newRows.isEmpty()) return;

QItemSelectionModel *sel = view->selectionModel();

const QModelIndex current = sel->currentIndex();

const int savedRow = current.isValid() ? current.row() : -1;

const int savedCol = current.isValid() ? current.column() : 0;

// --- изменение модели ---

model->beginInsertRows(QModelIndex(), position, position + newRows.size() - 1);

// здесь вставляете в QVector

// model->m_data.insert(position, ...);

model->endInsertRows();

// ------------------------

// Восстанавливаем позицию (номер строки)

if (savedRow >= 0) {

const int newRowCount = model->rowCount();

const int targetRow = qMin(savedRow, newRowCount - 1); // clamp

if (targetRow >= 0) {

const QModelIndex idx = model->index(targetRow, savedCol);

sel->setCurrentIndex(idx, QItemSelectionModel::ClearAndSelect | QItemSelectionModel::Rows);

// или просто:

// view->setCurrentIndex(idx);

}

void removeRowsAbove(int position, int count)

{

if (count <= 0) return;

QItemSelectionModel *sel = view->selectionModel();

const QModelIndex current = sel->currentIndex();

const int savedRow = current.isValid() ? current.row() : -1;

const int savedCol = current.isValid() ? current.column() : 0;

model->beginRemoveRows(QModelIndex(), position, position + count - 1);

// удаляете из QVector

model->endRemoveRows();

if (savedRow >= 0) {

const int newRowCount = model->rowCount();

// Если удалили слишком много сверху — позиция "поднимается"

const int targetRow = qMin(savedRow, newRowCount - 1);

if (targetRow >= 0) {

const QModelIndex idx = model->index(targetRow, savedCol);

sel->setCurrentIndex(idx, QItemSelectionModel::ClearAndSelect | QItemSelectionModel::Rows);

} else {

sel->clear();

Value cannot be null
Parameter name: key

Детали:

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

[21D7B652]{dotnetcoreide120.bpl} InteropApp.MSBuildRegisterTaskHost (Line 1350, "InteropApp.pas" + 2) + $40
[5000CC8D]{rtl120.bpl } System.@CheckAutoResult (Line 21634, "System.pas" + 6) + $0
[21D7B652]{dotnetcoreide120.bpl} InteropApp.MSBuildRegisterTaskHost (Line 1350, "InteropApp.pas" + 2) + $40
[21D78232]{dotnetcoreide120.bpl} InteropApp.TInteropHostAppManager.ResolveTempTaskHostStorage (Line 419, "InteropApp.pas" + 5) + $2B
[21D777CE]{dotnetcoreide120.bpl} InteropApp.TInteropHostAppManager.Create (Line 268, "InteropApp.pas" + 48) + $3
[21DADCEF]{dotnetcoreide120.bpl} DotNetReg.TDotNetRegEvents.RegisterInteropHostApp (Line 71, "DotNetReg.pas" + 0) + $7
[20B86E91]{designide120.bpl} Events.TEvent.Send (Line 103, "Events.pas" + 2) + $11
[00415221]{bds.exe } AppMain.TAppBuilder.CMPostCreateInit (Line 1863, "ui\AppMain.pas" + 18) + $8
[501D0C0E]{vcl120.bpl } Controls.TControl.WndProc (Line 6642, "Controls.pas" + 91) + $6
[5000AB16]{rtl120.bpl } System.@NewUnicodeString (Line 18113, "System.pas" + 7) + $0
[501F8F11]{vcl120.bpl } Forms.Default (Line 9108, "Forms.pas" + 1) + $2A
[501F9686]{vcl120.bpl } Forms.TApplication.WndProc (Line 9300, "Forms.pas" + 175) + $1
[501D529B]{vcl120.bpl } Controls.TWinControl.WndProc (Line 9336, "Controls.pas" + 136) + $6
[20B89C5E]{designide120.bpl} DeskUtil.SetFocusHook (Line 435, "DeskUtil.pas" + 4) + $C
[501F0FA4]{vcl120.bpl } Forms.TCustomForm.WndProc (Line 3902, "Forms.pas" + 191) + $5
[501D49B4]{vcl120.bpl } Controls.TWinControl.MainWndProc (Line 9065, "Controls.pas" + 3) + $6
[50058938]{rtl120.bpl } Classes.StdWndProc (Line 12723, "Classes.pas" + 8) + $0
[501CB996]{vcl120.bpl } Controls.FindControl (Line 2999, "Controls.pas" + 6) + $9
[501F9EC7]{vcl120.bpl } Forms.TApplication.ProcessMessage (Line 9613, "Forms.pas" + 23) + $1
[501F9F0A]{vcl120.bpl } Forms.TApplication.HandleMessage (Line 9643, "Forms.pas" + 1) + $4
[501FA235]{vcl120.bpl } Forms.TApplication.Run (Line 9780, "Forms.pas" + 26) + $3
[004259D2]{bds.exe } bds.bds (Line 196, "" + 7) + $7

Проблемы с запуском только графической среды 2009, компиляция из командной строки (dcc32.exe) работает.
В системе ничего не менялось кроме, возможно, установки XE7. Подскажите как решить проблему. В сети информации ноль.

D vs C++

Majestio — Fri, 22 May 2026 02:18:32 +0000

Majestio:

Цитата Qraizer @ 21.05.26, 18:23

P.S. Это VS2022, если что. Банальный ключик-O2

Кто людям помогает - тот тратит время зря!!! Хорошими делами прославиццо незя!!! (С)

Добавлено 21.05.26, 14:42

Цитата Qraizer @ 19.05.26, 16:47

P.S. Это VS2022, если что. Банальный ключик-O2

Ой, отлегло от души ... 12 мин искал, где можно Qraizer'а попытаться обидеть, и вот настал момент!!! :lol:

SSHFS для Windows - хозяйке на заметку!

kopilov — Wed, 20 May 2026 09:39:50 +0000

kopilov: Круть!

D vs C++

Qraizer — Tue, 19 May 2026 16:47:17 +0000

Qraizer: В смысле «мёртвый»? Вообще проектов нет, что ли?

Добавлено 19.05.26, 16:56

Цитата applegame @ 14.08.21, 10:27

Полюбуйтесь как плюсовой std::function безбожно сливает встроенным дешным лямбдам:
...

:huh:

Добавлено 19.05.26, 16:59
Удивили козла капустой. :D Нефик в ГНУсных портах работать:

#include <functional>

class Foo {

public:

virtual void foo(std::function<void()> f);

};

int bar(Foo* foo, int a, int b, int c, int d) {

int e;

foo->foo([&] { e = a + b + c + d; });

return e;

}

_TEXT SEGMENT

_<e>$ = 8 ; size = 4

_<a>$ = 12 ; size = 4

_<b>$ = 16 ; size = 4

_<c>$ = 20 ; size = 4

_<d>$ = 24 ; size = 4

??0<lambda_ac228c855dc2c6ed19d01a392d90130f>@@QAE@AAH0000@Z PROC ; <lambda_ac228c855dc2c6ed19d01a392d90130f>::<lambda_ac228c855dc2c6ed19d01a392d90130f>, COMDAT

; _this$ = ecx

; File D:\Work\CPPdel\q.cpp

; Line 10

mov eax, DWORD PTR _<e>$[esp-4]

mov DWORD PTR [ecx], eax

mov eax, DWORD PTR _<a>$[esp-4]

mov DWORD PTR [ecx+4], eax

mov eax, DWORD PTR _<b>$[esp-4]

mov DWORD PTR [ecx+8], eax

mov eax, DWORD PTR _<c>$[esp-4]

mov DWORD PTR [ecx+12], eax

mov eax, DWORD PTR _<d>$[esp-4]

mov DWORD PTR [ecx+16], eax

mov eax, ecx

ret 20 ; 00000014H

??0<lambda_ac228c855dc2c6ed19d01a392d90130f>@@QAE@AAH0000@Z ENDP ; <lambda_ac228c855dc2c6ed19d01a392d90130f>::<lambda_ac228c855dc2c6ed19d01a392d90130f>

_TEXT ENDS

; Function compile flags: /Ogtpy

; COMDAT ??R<lambda_ac228c855dc2c6ed19d01a392d90130f>@@QBE@XZ

_TEXT SEGMENT

??R<lambda_ac228c855dc2c6ed19d01a392d90130f>@@QBE@XZ PROC ; <lambda_ac228c855dc2c6ed19d01a392d90130f>::operator(), COMDAT

; _this$ = ecx

; File D:\Work\CPPdel\q.cpp

; Line 10

mov eax, DWORD PTR [ecx+16]

mov edx, DWORD PTR [ecx+12]

push esi

mov esi, DWORD PTR [eax]

mov eax, DWORD PTR [ecx+8]

add esi, DWORD PTR [edx]

add esi, DWORD PTR [eax]

mov eax, DWORD PTR [ecx+4]

add esi, DWORD PTR [eax]

mov eax, DWORD PTR [ecx]

mov DWORD PTR [eax], esi

pop esi

ret 0

??R<lambda_ac228c855dc2c6ed19d01a392d90130f>@@QBE@XZ ENDP ; <lambda_ac228c855dc2c6ed19d01a392d90130f>::operator()

_TEXT ENDS

; Function compile flags: /Ogtpy

; COMDAT ?bar@@YAHPAVFoo@@HHHH@Z

_TEXT SEGMENT

_e$ = -4 ; size = 4

_foo$ = 8 ; size = 4

_a$ = 12 ; size = 4

_b$ = 16 ; size = 4

_c$ = 20 ; size = 4

_d$ = 24 ; size = 4

?bar@@YAHPAVFoo@@HHHH@Z PROC ; bar, COMDAT

; File D:\Work\CPPdel\q.cpp

; Line 8

push ecx

; Line 10

sub esp, 40 ; 00000028H

; File C:\VS2022\VC\Tools\MSVC.44.35207\include\functional

; Line 855

lea ecx, DWORD PTR _e$[esp+44]

; File D:\Work\CPPdel\q.cpp

; Line 10

mov eax, esp

; File C:\VS2022\VC\Tools\MSVC.44.35207\include\functional

; Line 855

mov DWORD PTR [eax], OFFSET ??_7?$_Func_impl_no_alloc@V<lambda_ac228c855dc2c6ed19d01a392d90130f>@@X$$V@std@@6B@

mov DWORD PTR [eax+4], ecx

lea ecx, DWORD PTR _a$[esp+40]

mov DWORD PTR [eax+8], ecx

lea ecx, DWORD PTR _b$[esp+40]

mov DWORD PTR [eax+12], ecx

lea ecx, DWORD PTR _c$[esp+40]

mov DWORD PTR [eax+16], ecx

lea ecx, DWORD PTR _d$[esp+40]

mov DWORD PTR [eax+20], ecx

; File D:\Work\CPPdel\q.cpp

; Line 10

mov ecx, DWORD PTR _foo$[esp+40]

; File C:\VS2022\VC\Tools\MSVC.44.35207\include\functional

; Line 978

mov DWORD PTR [eax+36], eax

; File D:\Work\CPPdel\q.cpp

; Line 10

mov eax, DWORD PTR [ecx]

call DWORD PTR [eax]

; Line 11

mov eax, DWORD PTR _e$[esp+4]

; Line 12

pop ecx

ret 0

?bar@@YAHPAVFoo@@HHHH@Z ENDP ; bar

Majestio — Wed, 13 May 2026 02:22:03 +0000

Majestio:

Цитата SergeyIT @ 12.05.26, 13:22

Так и до begin/end скоро дойдут...
Извиняюсь за офтоп

Можно не ждать, уже давно можно ;)

#define БЭГИН {

#define ЭНД }

#define ЕСЛИ if

#define ЕСЛИ_НЕ else

#define СЛИВАЙ_КЕРОСИН return

#include <iostream>

int main() БЭГИН

int ФЛАГ = 1;

ЕСЛИ (ФЛАГ ==1)

БЭГИН

std::cout << "Привет, мир!\n";

ЭНД

ЕСЛИ_НЕ

БЭГИН

СЛИВАЙ_КЕРОСИН 1;

ЭНД

Только вопрос был в друом: почему в ~~прорубь не окунаетесь~~ голосовалке не голосите? >:(

Использование модулей С++20

Qraizer — Tue, 12 May 2026 15:05:52 +0000

Qraizer: Уже 6 лет как. std::ranges:

std::vector<int> arr;

/* ... */

std::ranges::sort(arr);

Использование модулей С++20

SergeyIT — Tue, 12 May 2026 13:22:46 +0000

SergeyIT: Так и до begin/end скоро дойдут...
Извиняюсь за офтоп

Использование модулей С++20

Majestio — Tue, 12 May 2026 02:11:36 +0000

Majestio: Начиная с C++20 (и дальше в C++23/C++26) в языке официально появились модули (modules), которые позволяют строить проект без классического разделения на заголовочные (.h/.hpp) и файлы реализации (.cpp). Что-то подобное на реализацию кода в Object Pascal/Delphi, с разделением на блоки описания интерфейса и реализации в одном файле исходного кода.

Пример:

// MyModule.cppm

export module MyModule;

import <string>;

// - - - - - - - > Как "interface" в Delphi

export class Person {

public:

Person(std::string name);

void greet() const;

private:

std::string name_;

};

// - - - - - - - > Как "implementation" в Delphi

Person::Person(std::string name) : name_(std::move(name)) {}

void Person::greet() const {

// ...

}

Новые технологии спец служб

dimagl90 — Mon, 11 May 2026 15:10:31 +0000

dimagl90: Привет всем у меня такая интересная тема не знаю в этот раздел пишу или нет. Но все же :no: С развитием технологий спец службы ставят шпионские камеры которые трудно найти. И у меня возник такой вопрос можно ли запросить информацию с них например у фсб? Ставят то их обычно фсб или отдел по борьбе с экстремизмом, хотя может и еще кто ставит. :crazy: Кто сталкивался с такими штуками, а может кто находил? Поделитесь информацией очень интересно. :wall:

windows 8.1 Ошибка лога

dimagl90 — Mon, 11 May 2026 14:49:02 +0000

dimagl90: Посмотрел период с 12 и далее вообще ни каких ошибок и странностей не было. Посмотрите может, что найдете?
1.png (, : 25)
2.png (, : 19)
5.png (, : 17)

Возможно ли вытащить текст запроса из SQL как в Builder 6.0

laifik — Fri, 08 May 2026 03:35:57 +0000

laifik: Да, Вы совершенно правы. Но мне хотелось бы знать, как записывается эта строка в приложении VS.
Пока нигде не стретила такого обращения к запросу.
Я сейчас с Борланда перехожу на Си Шарп. Набираю информацию. И пытаюсь переписать программу.

Возможно ли вытащить текст запроса из SQL как в Builder 6.0

sharky72 — Thu, 07 May 2026 20:08:43 +0000

sharky72: А причем тут Visual Studio? Это IDE. Тут все зависит от используемых библиотек общения с Sql Server

Возможно ли вытащить текст запроса из SQL как в Builder 6.0

laifik — Wed, 06 May 2026 19:39:27 +0000

laifik: В приложениях, написанных в Builder 6.0 я обращалась к запросам, тексты и переменные которых хранятся в таблице SQL Server. И запускался запрос таким образом:

String copy_Doc = ModuleLoad->qrySQL_TEXT->Lookup("KOMM_TEXT", "COPY_LOADING_DOCUM", "SQL_TEXT");

cppr->CommandText = Format(copy_Doc, ARRAYOFCONST((CardDoc, N_proj, CardDoc, KSyst)));

cppr->Execute();

Возможно ли это в Visual studio 2026? Если да, то как это делается?

Исходники.RU перехали на новый хостинг

vot — Wed, 06 May 2026 19:38:47 +0000

vot:

Цитата Majestio @ 29.04.26, 17:14

Щя по прежнему Фряха, или переехали на Люникс?

Теперь Линукс :)

windows 8.1 Ошибка лога

Akina — Wed, 06 May 2026 08:31:37 +0000

Akina:

Цитата dimagl90 @ 05.05.26, 14:59

как в windows 8.1 посмотреть в журнале действий что именно произошло 4 мая 2026 года в 12 часов на пк?

Странный вопрос. В консоли управления, Управление компьютером - Служебные программы - Просмотр событий. Ну или start eventvwr.msc

windows 8.1 Ошибка лога

dimagl90 — Tue, 05 May 2026 14:59:47 +0000

dimagl90:

Цитата Akina @ 05.05.26, 04:42

Смените программу. Нафига нужно неотлаживаемое, но глюкавое приложение?

это самая лучшая программа, что я использовал для этих целей :blink:

Добавлено 05.05.26, 15:02
увеличил лог с 10 кб до 1 мегабайта и все вроде работает. Теперь другой вопрос как в windows 8.1 посмотреть в журнале действий что именно произошло 4 мая 2026 года в 12 часов на пк? :yummy:

windows 8.1 Ошибка лога

Akina — Tue, 05 May 2026 04:42:12 +0000

Akina:

Цитата dimagl90 @ 04.05.26, 19:20

логов Bandicam вообще нет

Смените программу. Нафига нужно неотлаживаемое, но глюкавое приложение?

windows 8.1 Ошибка лога

dimagl90 — Mon, 04 May 2026 19:20:08 +0000

dimagl90:

Цитата Akina @ 04.05.26, 19:12

да это в логах программы ISPY, а вот логов Bandicam вообще нет :wall:

windows 8.1 Ошибка лога

Akina — Mon, 04 May 2026 19:12:04 +0000

Akina:

Цитата dimagl90 @ 04.05.26, 18:29

И тут возникла такая ошибка

И куда она пишется, эта ошибка? В системный лог приложений? в индивидуальный лог приложения? в собственный лог?

Цитата dimagl90 @ 04.05.26, 18:29

прекратилась работа и в Bandicam

А что в её логах?

windows 8.1 Ошибка лога

dimagl90 — Mon, 04 May 2026 18:29:02 +0000

dimagl90: Привет всем использую windows 8.1 и на ней гоняется программа ISPY плюс для доп защиты работает Bandicam. И тут возникла такая ошибка^

Цитата

Logging Exiting 12:17:24 Logging is being disabled as it has reached the maximum size (100kb).

Возникла она в программе ISPY, но прекратилась работа и в Bandicam. Увеличил размер лимита журнала лога. Протестирую. Но вопрос в другом почему от рубилось обе программы? И как посмотреть в windows, что произошло ? Может кто порекомендует доп программы для мониторинга системы ? Заранее спасибо!!!

SimpleX Chat CLI - команда для редактирования сообщений

Qraizer — Sat, 02 May 2026 16:52:39 +0000

Qraizer:

Тема перенесена из C/C++ => C/C++: Сетевое программирование