Системы агентов, управляемых логическими программами: сложность верификации.
Аннотация:
В статье рассматривается сложность проблемы верификации поведения (динамических свойств) систем взаимодействующих интеллектуальных агентов. Она продолжает наши более ранние публикации, в которых эта проблема в основном обсуждалась для детерминированных и недетерминированных систем, и больше концентрируется на асинхронных системах.
