Данная статья посвящена развитию методов представления и обработки знаний для автоматизации решения некоторых классов задач, в том числе поиска логических выводов, синтеза условий существования выводов и планирования действий. Возможности методов иллюстрируются на примерах задач достижимости целевых состояний в динамических и интеллектуальных системах.