Интерпретация Эрбрана
В математической логике интерпретация Эрбрана — это интерпретация , в которой всем константам и функциональным символам присваиваются очень простые значения. [1] В частности, каждая константа интерпретируется сама по себе, а каждый символ функции интерпретируется как прикладная функция в терминах . Интерпретация также определяет символы- предикаты как обозначающие подмножество соответствующего основания Эрбрана , эффективно определяя, какие основные атомы верны в интерпретации. Это позволяет интерпретировать символы в наборе предложений чисто синтаксически , отдельно от любого реального создания экземпляров.
Важность интерпретаций Эрбрана заключается в том, что если существует интерпретация, удовлетворяющая заданному набору пунктов S , то существует интерпретация Эрбрана, которая удовлетворяет этим пунктам. Более того, теорема Эрбрана утверждает, что если S невыполнимо, то существует конечное невыполнимое множество основных экземпляров из вселенной Эрбрана , определенной S . Поскольку это множество конечно, его невыполнимость можно проверить за конечное время. Однако таких наборов для проверки может быть бесконечное количество.
Интерпретации Эрбрана названы в честь Жака Эрбрана .
См. также [ править ]
Примечания [ править ]
- ^ Бен Коппин (2004). Искусственный интеллект с подсветкой . Джонс и Бартлетт Обучение. п. 231. ИСБН 978-0-7637-3230-1 .
 | Эта логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |
 | Эта математической логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |