Абдуктивное логическое программирование
Абдуктивное логическое программирование Основы абдуктивного логического программирования (ALP) ALP – это метод логического программирования, который позволяет решать проблемы путем поиска […]
Абдуктивное логическое программирование Основы абдуктивного логического программирования (ALP) ALP – это метод логического программирования, который позволяет решать проблемы путем поиска […]
Логическое программирование Основы логического программирования Логическое программирование – это декларативный язык программирования, основанный на логике первого порядка. Оно отличается от
Коиндукция Определение и свойства F-коалгебр F-коалгебра – это пара (A, F), где A – множество, а F – функционал, отображающий
Логическое обоснование, которое можно опровергнуть Опровержимые рассуждения – предварительные рассуждения, рационально убедительные, но не дедуктивно обоснованные. Опровержимость обнаруживается в литературе
Отрицание как неудача Отрицание как сбой (NAF) – немонотонное правило вывода в логическом программировании для получения “не p” из-за неспособности
Подстановка (логика) Подстановка – это отображение переменных в члены выражения. Многие авторы требуют, чтобы подстановка отображала каждую переменную в соответствующий