Terms for subject Artificial intelligence containing description

English	Russian
automated verification and proof description language	язык описания логических систем для автоматического поиска доказательств (Alex_Odeychuk)
auxiliary textual description	сопутствующее текстовое описание (Alex_Odeychuk)
coherent description	связное описание (Alex_Odeychuk)
description generation	построение описаний (Alex_Odeychuk)
description generation	построение описания (Alex_Odeychuk)
selection by description	выбор по описанию (Alex_Odeychuk)
structural description of knowledge concerning objects	структурное описание знаний об объектах (such as facts, events, things, processes, or ideas, including concepts that within a certain context has a particular meaning – таких как факты, события, предметы, процессы, идеи, включая понятия, имеющие конкретное значение в определённом контексте Alex_Odeychuk)
tool for automatically generating descriptions for pull requests	инструмент для автоматической генерации описаний к запросам на включение изменений (Alex_Odeychuk)
use of constraints for partial description of objects	использование ограничений для частичного описания объектов (Alex_Odeychuk)