Рассматриваются средства моделирования рассуждений о целях и подцелях, формируемых субъектами управления сложными системами в процессе анализа целей, сопряженном с целеполаганием. При обнаружении логических ошибок указанные средства обеспечивают вывод истинных подцелей из анализируемых целей.