resolution В исчислении предикатов - правило вывода, используемое для вывода новой логической формулы из двух посылок. Резолюции применяются при автоматическом построении доказательств и в экспертных системах.
Phrases with резолюций
доказательство теорем методом резолюции resolution theorem proving
метод резолюций resolution method В экспертных системах
одиночная резолюция unit resolution (применяемая для отладки пролог-программы)
принцип резолюции resolution principle (в ПРОЛОГЕ)