Логическое программирование

Вики

Коиндукция

/

Коиндукция Определение и свойства F-коалгебр F-коалгебра – это пара (A, F), где A – множество, а F – функционал, отображающий […]

Вики

Пересмотр убеждений

/

Пересмотр убеждений Основы теории баз знаний Базы знаний – это системы, которые хранят и обрабатывают информацию о мире.  Они могут

Вики

Разрешение SLD

/

Разрешение SLD Основы логического программирования Логическое программирование – это формальное программирование, использующее логику для описания вычислений.  Логические программы состоят из

Вики

Предположение об открытом мире

/

Предположение об открытом мире Основы предположения об открытом мире Предположение об открытом мире предполагает, что истинность утверждения может быть неизвестна. 

Вики

Унификация (информатика)

/

Унификация (информатика) Основы унификации Унификация – это процесс замены переменных в терминах, чтобы сделать их синтаксически равными.  Унификация используется в

Вики

Проблема квалификации

/

Проблема квалификации Проблема квалификации в философии и ИИ Невозможно перечислить все условия для достижения желаемого эффекта в реальном мире.  Проблема

Вики

Предположение о закрытом мире

/

Предположение о закрытом мире Основы предположения о замкнутом мире Утверждение о том, что истинное утверждение также известно как истинное.  Противоположность

Вики

Ограничение (логика)

/

Описание (логика) Определение и применение описания Описание – это метод минимизации расширения предикатов в формуле.  Описание используется для выбора моделей,

Вики

Исчисление событий

/

Исчисление событий Основы исчисления событий Исчисление событий – это математический аппарат для описания и анализа событий в контексте времени.  Основано

Вики

Ситуационное исчисление

/

Ситуационный анализ Основы ситуационного анализа Ситуационный анализ – это метод логического программирования, разработанный Джоном Маккарти и Патриком Хейзом в 1960-х

Вики

Прямая цепочка

/

Прямая цепочка Основы прямой цепочки Прямая цепочка – это метод логического вывода, основанный на повторном применении modus ponens.  Она используется

Вики

Логика по умолчанию

/

Логика по умолчанию Основы логики по умолчанию Логика по умолчанию – это формальная система, которая позволяет делать выводы на основе

Вики

Неопределенность в параллельных вычислениях

/

Неопределенность в параллельных вычислениях Ограничения логического программирования Логическое программирование не может реализовать параллельные вычисления в открытых системах из-за неопределенности порядка

Вики

Проблема с рамкой

/

Проблема с фреймом Проблема фрейма в программировании Проблема фрейма возникает при попытке описать действия, которые могут иметь разные результаты в

Вики

Параллельное программирование логики ограничений

/

Параллельное программирование логики ограничений Основы параллельного логического программирования с ограничениями Параллельное логическое программирование с ограничениями фокусируется на программировании параллельных процессов,

Вики

Параллельное логическое программирование

/

Параллельное логическое программирование Основы параллельного логического программирования Параллельное логическое программирование использует защищенные предложения Horn для параллельного выполнения программ.  Защищенные предложения

Вики

Вероятностно-логическое программирование

/

Вероятностное логическое программирование Основы вероятностного логического программирования Вероятностное логическое программирование объединяет логическое программирование с вероятностями.  Семантика распределения разделяет программу на

Вики

Программирование логики ограничений

/

Программирование логики ограничений Основы логики ограничений Логика ограничений – это расширение логики первого порядка, позволяющее выражать ограничения на переменные.  Ограничения

Прокрутить вверх