Моделирование поведения интеллектуального агента при ограниченных ресурсах

Рассмотрена фундаментальная проблема моделирования логическими средствами поведения рационального агента, способного на основе своих знаний и наблюдений за внешней средой делать умозаключения и строить планы, требующие времени для их обдумывания в условиях жестких временных ограничений. Цель: создание логической системы для моделирования поведения интеллектуального агента при ограниченных временных ресурсах на основе оригинального подхода, рассматривающего время как внешнюю сущность, не связанную жестко со стратегией рассуждений агента и структурой его знаний. Разработаны синтаксис и декларативная семантика минимальных моделей логической системы. Исследованы свойства полноты и семантической непротиворечивости логической системы с грануляцией времени. Доказана теорема, устанавливающая алгоритмическую разрешимость логической системы с множественной грануляцией времени. Исследовано свойство темпоральной чувствительности логической системы с множественной грануляцией времени в контексте обеспечения устойчивости многоагентной системы к непредвиденным (аномальным) ситуациям. Разработаны и исследованы методы моделирования средствами логической системы с множественной грануляцией времени рассуждений агентов в различных условиях функционирования. Предложен метод концентрации внимания агентов на каждом шаге их рассуждений на ограниченном множестве формул, релевантных в данный момент. Результаты создают концептуальные и алгоритмические основы для построения перспективных интеллектуальных систем нового поколения.