Časová logika střídavého času - Alternating-time temporal logic

v počítačová věda, časová logika střídavého časunebo ATL, je doba větvení časová logika který se prodlužuje Logika výpočetního stromu (CTL) více hráčům.^[1] ATL přirozeně popisuje výpočty multiagentní systémy a hry pro více hráčů.^[2] Kvantifikace v ATL je přes cesty programu, které jsou možnými výsledky her.^[3] ATL použití vzorce střídavého času vybudovat modeláře za účelem řešení problémů, jako je vnímavost, realizovatelnost a ovladatelnost.

Příklady

V ATL můžeme psát logické vzorce jako ${displaystyle langle langle {a, b} úhel úhel Fp}$ který vyjadřuje skutečnost, že agenti aab mají strategii, která zajistí, že vlastnost p bude v budoucnu držet, ať už ostatní agenti systému vykonávají cokoli.

Rozšíření a varianty

ATL * je rozšíření ATL, protože CTL * rozšiřuje CTL. ATL * umožňuje například psát složitější časové cíle ${displaystyle langle langle {a, b} úhel úhlu (Fpland Gq)}$ . Belardinelli a kol. navrhuje variantu ATL na konečných stopách.^[4] ATL byl rozšířen o kontext, aby se ukládaly aktuální strategie hrané agenty. ATL * je rozšířen o strategickou logiku.

ATL byl zobecněn tak, aby zahrnoval epistemické rysy. V roce 2003 van der Hoek a Woodridge navrhli, že ATEL je logický ATL rozšířený o epistemický operátor z epistemická logika.^[5] V roce 2004 Pierre-Yves Schobbens navrhl varianty ATL s nedokonalým odvoláním.^[6]

V ATL nemůžeme vyjádřit vlastnosti jednotlivých cílů. Proto v roce 2010 zavedli Chatterjee, Henzinger a Piterman strategickou logiku, logiku prvního řádu, ve které jsou strategie občany prvního řádu.^[7] Strategická logika zahrnuje ATL i ATL *.

Viz také

Lineární časová logika

Reference

^ Alur, Rajeev; Henzinger, Thomas A .; Kupferman, Orna (1997). "Časová logika střídavého času". Proceedings of the 38th Annual Symposium on Foundations of Computer Science. IEEE Computer Society. str. 100–109. doi:10.1109 / SFCS.1997.646098. ISBN 0-8186-8197-7.
^ van Drimmelen, Govert (2003). „Spokojenost v časové logice střídavého času“. Proceedings of the 18. Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society. doi:10.1109 / LICS.2003.1210060. ISBN 0-7695-1884-2.
^ Alur, Rajeev; Henzinger, Thomas A .; Kupferman, Orna (2002). „Časová logika střídavého času“. Deník ACM. 49 (5): 672–713. doi:10.1145/585265.585270. S2CID 15984608.
^ Belardinelli, Francesco; Lomuscio, Alessio; Murano, Aniello; Rubin, Sasha (2018). „Časová logika střídavého času na konečných stopách“: 77–83. Citovat deník vyžaduje | deník = (Pomoc)
^ van der Hoek, Wiebe; Wooldridge, Michael (01.10.2003). „Spolupráce, znalosti a čas: Časová epistemická logika střídavého času a její aplikace“. Studia Logica. 75 (1): 125–157. doi:10.1023 / A: 1026185103185. ISSN 1572-8730. S2CID 10913405.
^ Schobbens, Pierre-Yves (04.04.2004). „Logika střídavého času s nedokonalým vyvoláním“. Elektronické poznámky v teoretické informatice. LCMAS 2003, Logika a komunikace v systémech více agentů. 85 (2): 82–93. doi:10.1016 / S1571-0661 (05) 82604-0. ISSN 1571-0661.
^ Chatterjee, Krishnendu; Henzinger, Thomas A .; Piterman, Nir (01.06.2010). „Strategická logika“ (PDF). Informace a výpočet. Zvláštní vydání: 18. mezinárodní konference o teorii souběžnosti (CONCUR 2007). 208 (6): 677–693. doi:10.1016 / j.ic.2009.07.004. ISSN 0890-5401.

[1] Alur, Rajeev; Henzinger, Thomas A .; Kupferman, Orna (1997). "Časová logika střídavého času". Proceedings of the 38th Annual Symposium on Foundations of Computer Science. IEEE Computer Society. str. 100–109. doi:10.1109 / SFCS.1997.646098. ISBN 0-8186-8197-7.

[2] van Drimmelen, Govert (2003). „Spokojenost v časové logice střídavého času“. Proceedings of the 18. Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society. doi:10.1109 / LICS.2003.1210060. ISBN 0-7695-1884-2.

[3] Alur, Rajeev; Henzinger, Thomas A .; Kupferman, Orna (2002). „Časová logika střídavého času“. Deník ACM. 49 (5): 672–713. doi:10.1145/585265.585270. S2CID 15984608.

[4] Belardinelli, Francesco; Lomuscio, Alessio; Murano, Aniello; Rubin, Sasha (2018). „Časová logika střídavého času na konečných stopách“: 77–83. Citovat deník vyžaduje | deník = (Pomoc)

[5] van der Hoek, Wiebe; Wooldridge, Michael (01.10.2003). „Spolupráce, znalosti a čas: Časová epistemická logika střídavého času a její aplikace“. Studia Logica. 75 (1): 125–157. doi:10.1023 / A: 1026185103185. ISSN 1572-8730. S2CID 10913405.

[6] Schobbens, Pierre-Yves (04.04.2004). „Logika střídavého času s nedokonalým vyvoláním“. Elektronické poznámky v teoretické informatice. LCMAS 2003, Logika a komunikace v systémech více agentů. 85 (2): 82–93. doi:10.1016 / S1571-0661 (05) 82604-0. ISSN 1571-0661.

[7] Chatterjee, Krishnendu; Henzinger, Thomas A .; Piterman, Nir (01.06.2010). „Strategická logika“ (PDF). Informace a výpočet. Zvláštní vydání: 18. mezinárodní konference o teorii souběžnosti (CONCUR 2007). 208 (6): 677–693. doi:10.1016 / j.ic.2009.07.004. ISSN 0890-5401.

[1]

[2]

[3]

[4]

[5]

[6]

[7]