Сообщение Re[5]: логика про ИИ (или мы пойдем другим путем 2) с комент от 06.09.2023 10:07
Изменено 06.09.2023 10:20 Эйнсток Файр
Re[5]: логика про ИИ (или мы пойдем другим путем 2) с комент
Р> F: f(s', l(s), l, f, t', inputs)
Р> Я вам уже за логику давно второго порядка говорю, наличие рекурсивных формул должно было вам об этом кое что сказать
Приведённая надпись также не является формулой в логике второго порядка.
https://ru.wikipedia.org/wiki/Логика_второго_порядка
То, что у тебя написано, это не "формула", и не "атом", это максимум терм.
Р> Я вам уже за логику давно второго порядка говорю, наличие рекурсивных формул должно было вам об этом кое что сказать
Приведённая надпись также не является формулой в логике второго порядка.
https://ru.wikipedia.org/wiki/Логика_второго_порядка
Логика второго порядка — расширяет логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами и функциональными символами.
То, что у тебя написано, это не "формула", и не "атом", это максимум терм.
Re[5]: логика про ИИ (или мы пойдем другим путем 2) с комент
Р> F: f(s', l(s), l, f, t', inputs)
Р> Я вам уже за логику давно второго порядка говорю, наличие рекурсивных формул должно было вам об этом кое что сказать
Приведённая надпись также не является формулой в логике второго порядка.
https://ru.wikipedia.org/wiki/Логика_второго_порядка
То, что у Вас написано, это не "формула", и не "атом", это максимум терм.
Р> Я вам уже за логику давно второго порядка говорю, наличие рекурсивных формул должно было вам об этом кое что сказать
Приведённая надпись также не является формулой в логике второго порядка.
https://ru.wikipedia.org/wiki/Логика_второго_порядка
Логика второго порядка — расширяет логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами и функциональными символами.
То, что у Вас написано, это не "формула", и не "атом", это максимум терм.