en ru

QA3

Вопросно-ответная система QA3 может быть также названа многоцелевой системой решения задач или общим решателем задач. Она рассчитана на произвольную предметную область и произвольные вопросы, ее действие основано на автоматическом доказательстве теорем с использованием принципа резолюций. Но так как в рамках формализма метода резолюций оказалось затруднительным описание эвристик, то это обстоятельство заставило отказаться в QA3 от эвристического поиска. Таким образом, попытка построить дедуктивный решатель, используя в полной степени формализм принципа резолюции, оказалась, как показала система QA3, также неуспешной. [Ефимов, 1982]