Terms for subject Artificial intelligence containing used for

English	Russian
be used for proving a goal	использоваться для доказательства цели (из кн.: Люгер Дж.Ф. Искусственный интеллект: стратегии и методы решения сложных проблем / Пер. с англ Alex_Odeychuk)