Вагин, В. Н. Использование логики предикатов первого порядка в системах поддержки истинности на основе предположений [Текст] / В. Н. Вагин, Д. С. Зарецкий> // Программные продукты и системы. - 2013. - № 4. - С. 127-133. - Библиогр.: с. 132-133 (8 назв.) . - ISSN 0236-235X
Рубрики: Логика Общие вопросы логики Кл.слова (ненормированные): ATMS -- логика предикатов -- логические выводы -- системы поддержки истинности -- учет предположений Аннотация: Система поддержки истинности, основанная на предположениях (ATMS), является мощным инструментом поддержки логического вывода и наряду с достоверными фактами использует в своей работе факты, истинность которых неопределенна или на данном этапе неочевидна (множество предположений). За счет сохранения информации о происхождении сделанных выводов и анализа возникающих противоречий ATMS удается отсекать те подмножества предположений, которые были сделаны неверно. Доп.точки доступа: Зарецкий, Д. С. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |