Одна полиномиально разрешимая задача синтеза поведения интеллектульного робота

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