использоваться для доказательства цели

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