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

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

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

Изложены современные вопросы теории и практики систем искусственного интеллекта. Рассмотрены различные типы исчислений, используемых для создания систем искусственного интеллекта, включая такие их свойства, как мультиагентность, нечеткость, модальность ит.п....

В книге описывается современное состояние дел в области имитацион­ных исследований сложных систем (ИИСС). Дается обзор существующих методов и средств их проведения. Анализируются основные тенденции в развитии методов и технологии проведения ИИСС....

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