Terms for subject Artificial intelligence containing язык описания

Russian	English
язык описания действий	ADL (сокр. от "action description language" Alex_Odeychuk)
язык описания задач автоматического планирования	action language (Alex_Odeychuk)
язык описания задач автоматического планирования	language for expressing automated planning problem instances (Alex_Odeychuk)
язык описания логических систем для автоматического поиска доказательств	automated verification and proof description language (Alex_Odeychuk)