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