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