Временная логика с переменным временем - Alternating-time temporal logic

В Информатика, временная логика с переменным временем, или же ATL, время ветвления темпоральная логика что расширяет Логика дерева вычислений (CTL) для нескольких игроков.[1] ATL естественным образом описывает вычисления мультиагентные системы и многопользовательские видеоигры.[2] Количественная оценка в ATL осуществляется по программным путям, которые являются возможными результатами игр.[3] ATL использует формулы переменного времени создавать программы проверки моделей для решения таких проблем, как восприимчивость, реализуемость и управляемость.

Примеры

В ATL мы можем писать логические формулы как который выражает тот факт, что агенты a и b имеют стратегию, обеспечивающую сохранение свойства p в будущем, независимо от того, что будут выполнять другие агенты системы.

Расширения и варианты

ATL * является расширением ATL, так как CTL * расширяет CTL. ATL * позволяет писать более сложные временные цели, например . Belardinelli et al. предлагает вариант ATL на конечных трассах.[4] В ATL добавлен контекст, чтобы хранить текущие стратегии, используемые агентами. ATL * расширен логикой стратегии.

ATL был обобщен, чтобы включать эпистемологические особенности. В 2003 году ван дер Хук и Вудридж предложили ATEL - это логический ATL, дополненный эпистемическим оператором из эпистемическая логика.[5] В 2004 году Пьер-Ив Шоббенс предложил варианты ATL с несовершенным отзывом.[6]

В ATL мы не можем выражать свойства отдельных целей. Вот почему в 2010 году Чаттерджи, Хенцингер и Питерман ввели стратегическую логику, логику первого порядка, в которой стратегии являются гражданами первого порядка.[7] Логика стратегии включает в себя как ATL, так и ATL *.

Смотрите также

Рекомендации

  1. ^ Алур, Раджив; Henzinger, Thomas A .; Купферман, Орна (1997). «Временная логика переменного времени». Материалы 38-го ежегодного симпозиума по основам информатики. Компьютерное общество IEEE. С. 100–109. Дои:10.1109 / SFCS.1997.646098. ISBN  0-8186-8197-7.
  2. ^ ван Дриммелен, Говерт (2003). «Выполнимость во временной логике с переменным временем». Материалы 18-го ежегодного симпозиума IEEE по логике в компьютерных науках. Компьютерное общество IEEE. Дои:10.1109 / LICS.2003.1210060. ISBN  0-7695-1884-2.
  3. ^ Алур, Раджив; Henzinger, Thomas A .; Купферман, Орна (2002). «Временная логика с переменным временем». Журнал ACM. 49 (5): 672–713. Дои:10.1145/585265.585270. S2CID  15984608.
  4. ^ Белардинелли, Франческо; Ломускио, Алессио; Мурано, Аниелло; Рубин, Саша (2018). «Временная логика с переменным временем на конечных трассах»: 77–83. Цитировать журнал требует | журнал = (Помогите)
  5. ^ ван дер Хук, Вибе; Вулдридж, Майкл (2003-10-01). «Сотрудничество, знание и время: временная эпистемическая логика с переменным временем и ее приложения». Studia Logica. 75 (1): 125–157. Дои:10.1023 / А: 1026185103185. ISSN  1572-8730. S2CID  10913405.
  6. ^ Шоббенс, Пьер-Ив (2004-04-01). «Логика чередования времени с несовершенным воспоминанием». Электронные заметки по теоретической информатике. LCMAS 2003, Логика и связь в многоагентных системах. 85 (2): 82–93. Дои:10.1016 / S1571-0661 (05) 82604-0. ISSN  1571-0661.
  7. ^ Чаттерджи, Кришненду; Henzinger, Thomas A .; Питерман, Нир (01.06.2010). «Стратегическая логика» (PDF). Информация и вычисления. Специальный выпуск: 18-я Международная конференция по теории параллелизма (CONCUR 2007). 208 (6): 677–693. Дои:10.1016 / j.ic.2009.07.004. ISSN  0890-5401.