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

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

ISSN: 2782-1528

DOI 10.34660/c0727-6092-6372-a

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

Выполнимость

Выполнимость —  в математической логике выполнимость и действительность являются элементарными понятиями семантики. Формула является выполнимой, если можно найти интерпретацию (модель), которая делает формулу истинной. Формула действительна, если все интерпретации делают ее верной. Противоположностью этих концепций являются неудовлетворительность и недействительность, то есть формула неудовлетворительна, если ни одна из интерпретаций не делает формулу истинной, и недействительной, если какая-то такая интерпретация делает формулу ложной. Эти четыре концепции связаны друг с другом точно так же, как Аристотель квадрат противоположности.

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

45 просмотров

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