|
| << vorige |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 24 van 24 gevonden artikelen
| Titel: |
What Agents Can Probably Enforce |
| Auteur: |
Bulling, Nils Jamroga, Wojciech |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 93 (2009) nr. 1-3 pagina's 81-96 |
| Jaar: |
2009-06-30 |
| Inhoud: |
Alternating-time Temporal Logic (ATL) is probably themost influential logic of strategic ability that has emerged in recent years. The idea of ATL is centered around cooperation modalities: ≪A≫γ is satisfied if the group A of agents has a collective strategy to enforce temporal property γ against the worst possible response from the other agents. So, the semantics of ATL shares the "all-or-nothing" attitude of many logical approaches to computation. Such an assumption seems appropriate in some application areas (life-critical systems, security protocols, expensive ventures like space missions). In many cases, however, one might be satisfied if the goal is achieved with reasonable likelihood. In this paper, we try to soften the rigorous notion of success that underpins ATL. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 24 van 24 gevonden artikelen
| << vorige |
Toegankelijkheidsverklaring