Терминологический словарь автоматизации строительства и производственных процессов

Свидетельство о регистрации СМИ:
ЭЛ № ФС77-79395 от 02.11.2020

ISSN: 2782-1528

DOI 10.34660/c0727-6092-6372-a

Последнее обновление словаря: 14.05.2024 - 12:54
Категории

Логика предикатов

Логика предикатов — набор формальных систем, используемых в математике, философия, лингвистика и информатика. Логика первого порядка использует количественные переменные над нелогическими объектами и позволяет использовать предложения, содержащие переменные, так что вместо предложений типа «Сократ — человек» можно иметь выражение в форме «x такой, что x — это Сократ, а x — это человек », и существует квантор, а x — переменная. Это отличает его от логики высказываний использует, которая не кванторы или отношения; в этом смысле логика высказываний используется логики первого порядка.

[Глоссарий искусственного интеллекта. (Электронный ресурс). Режим доступа: http:// hrwiki.ru›wiki/Glossary_of_artificial_intelligence/, свободный.]

55 просмотров

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