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

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