Дезунификация (информатика) - Википедия - Dis-unification (computer science)
Разъединение, в Информатика и логика, представляет собой алгоритмический процесс решения неравенства между символическими выражения.
Публикации о разобщении
- Ален Колмерауэр (1984). «Уравнения и неравенства на конечных и бесконечных деревьях». В ICOT (ред.). Proc. Int. Конф. по компьютерным системам пятого поколения. С. 85–99.
- Юбер Комон (1986). «Достаточная полнота, системы переписывания терминов и антиунификация'". Proc. 8-я Международная конференция по автоматическому отчислению. LNCS. 230. Springer. С. 128–140.
«Антиобъединение» здесь относится к решению неравенств, именование, которое в наши дни стало довольно необычным, ср. Антиунификация (информатика). - Клод Киршнер; Пьер Лесканн (1987). «Разрешение разногласий». Proc. LICS. С. 347–352.
- Клод Киршнер и Пьер Лесканн (1987). Решение проблем (Исследовательский отчет). INRIA.
- Юбер Комон (1988). Объединение и разъединение: теория и приложения (PDF) (Кандидат наук.). I.N.P. де Гренобль.
- Юбер Комон; Пьер Лесканн (март – апрель 1989 г.). «Проблемы уравнения и разобщенность». J. Symb. Comput. 7 (3–4): 371–425.
- Комон, Хуберт (1990). "Формулы уравнений в упорядоченных алгебрах". Proc. ИКАЛП.
Комон показывает, что логика первого порядка теория равенства и принадлежности сортировки разрешима, то есть каждая логическая формула первого порядка, построенная из произвольных функциональных символов «=» и «∈», но никакие другие предикаты, могут быть эффективно доказаны или опровергнуты. Используя логическое отрицание (¬), неравенство () можно выразить формулами, а отношения порядка (<) - нет. В качестве приложения он доказывает достаточная полнота из системы переписывания терминов. - Юбер Комон (1991). «Разъединение: обзор». Жан-Луи Лассез; Гордон Плоткин (ред.). Вычислительная логика - Очерки в честь Алан Робинсон. MIT Press. С. 322–359.
- Юбер Комон (1993). «Полные аксиоматизации некоторых алгебр факторных членов» (PDF). Proc. 18-й Int. Coll. по автоматам, языкам и программированию. LNCS. 510. Springer. стр. 148–164. Получено 29 июн 2013.
Смотрите также
- Объединение (информатика): решение уравнений между символьными выражениями
- Программирование логики ограничений: включение алгоритмов решения определенных классов неравенств (и других отношений) в Пролог
- Ограниченное программирование: решение алгоритмов для отдельных классов неравенств
- Симплексный алгоритм: алгоритм решения линейных неравенств
- Неравенство: виды неравенств в математике в целом, включая краткий раздел решение
- Решение уравнения: как решать уравнения в математике
P ≟ NP | Этот теоретическая информатика –Связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |