Filters








1,606 Hits in 1.5 sec

Augmenting ATL with strategy contexts

François Laroussinie, Nicolas Markey
2015 Information and Computation  
ATL with strategy contexts (ATL sc for short) lifts this restriction, and stores the previously selected strategies within a context.  ...  We study the extension of the alternating-time temporal logic (ATL) with strategy contexts: contrary to the original semantics, in this semantics the strategy quantifiers do not reset the previously selected  ...  ATL with strategy contexts We now introduce our logic, which extends the alternating-time temporal logic of [2] with strategy contexts.  ... 
doi:10.1016/j.ic.2014.12.020 fatcat:ftmxir53qbd53c5s7pglektuvy

Reasoning about Agent Programs Using ATL-Like Logics [chapter]

Nitin Yadav, Sebastian Sardina
2012 Lecture Notes in Computer Science  
Inspired by ATLES, a variant itself of ATL, it is possible in our logic to explicitly refer to "rational" strategies for agents developed under the Belief-Desire-Intention agent programming paradigm.  ...  This allows us to express and verify properties of BDI systems using ATL-type logical frameworks.  ...  To that end, we adapt ATLES, a version of ATL (Alternating-time Temporal Logic) [3] with Explicit Strategies [20] , to our purpose.  ... 
doi:10.1007/978-3-642-33353-8_34 fatcat:lcetklhz6ne2fawpf6icfotf6i

ATL with Strategy Contexts: Expressiveness and Model Checking

Arnaud Da Costa, François Laroussinie, Nicolas Markey, Marc Herbstritt
2010 Foundations of Software Technology and Theoretical Computer Science  
F S T T C S 2 0 1 0 122 ATL with Strategy Contexts: Expressiveness and Model Checking 2 ATL with strategy contexts 2.1 Concurrent game structures.  ...  We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary to plain ATL and ATL  ...  The logics ATL and ATL have been defined in [4] as extensions of CTL and CTL with strategy quantification. Following [7] , we further extend them with strategy contexts: Definition 2.  ... 
doi:10.4230/lipics.fsttcs.2010.120 dblp:conf/fsttcs/LopesLM10 fatcat:44u7cpu6ajhe7ftv6xqrqbavie

Reasoning about Agent Programs using ATL-like Logics [article]

Nitin Yadav, Sebastian Sardina
2012 arXiv   pre-print
Inspired by ATLES, a variant itself of ATL, it is possible in our logic to explicitly refer to "rational" strategies for agents developed under the Belief-Desire-Intention agent programming paradigm.  ...  This allows us to express and verify properties of BDI systems using ATL-type logical frameworks.  ...  To that end, we adapt ATLES, a version of ATL (Alternating-time Temporal Logic) [3] with Explicit Strategies [20] , to our purpose.  ... 
arXiv:1207.3874v1 fatcat:h6mzfsnfpzgarpyutf64x2vyji

Generating an ATL Model Checker using an Attribute Grammar [article]

Florin Stoica, Laura Florentina Stoica
2019 arXiv   pre-print
An attribute grammar may be informally defined as a context-free grammar which is extended with a set of attributes and a collection of semantic rules.  ...  Our aim is to design an ATL (Alternating-Time Temporal Logic) model checker from a context-free grammar which generates the language of the ATL formulas.  ...  ATL grammar into an attribute grammar, by augmenting its production rules with semantic actions.  ... 
arXiv:1807.08267v2 fatcat:mmv2xx5at5ezfebw7tshgdlns4

Lazy Execution of Model-to-Model Transformations [chapter]

Massimo Tisi, Salvador Martínez, Frédéric Jouault, Jordi Cabot
2011 Lecture Notes in Computer Science  
We achieve our goal on a significant subset of ATL by extending the ATL compiler.  ...  The increasing adoption of Model-Driven Engineering in industrial contexts highlights scalability as a critical limitation of several MDE tools.  ...  Navigation languages can be generally augmented with a certain degree of laziness.  ... 
doi:10.1007/978-3-642-24485-8_4 fatcat:obez4f3lv5e4xnh7uuwwtw45xy

Making Agents' Abilities Explicit [article]

Yedi Zhang and Fu Song and Taolue Chen
2018 arXiv   pre-print
To mitigate these issues, in this work, we propose to extend CGS with agents' abilities and study the new semantics of ATL/ATL* under this model.  ...  Alternating-time temporal logics (ATL/ATL*) represent a family of modal logics for reasoning about agents' strategic abilities in multiagent systems (MAS).  ...  It was generalized into ATL/ATL * with strategy contexts [Laroussinie and Markey, 2015] , which allows agents to drop or inherit previously selected strategies.  ... 
arXiv:1811.10901v1 fatcat:7uvybuincvgobaffthis3e2cqy

Adaptive thinking and leadership training for cultural awareness and communication competence

Elaine M. Raybourn
2005 Interactive Technology and Smart Education  
Kip Mendini and MAJ Ed Deagle; and members of the ATL project development team, including the Army Game Project Government Applications Team, and the University of Central Florida.  ...  Additionally, the game software may be used in virtual or augmented reality systems as needed.  ...  They may also text chat with other observers and the instructor. FUTURE DIRECTIONS The ATL system is currently designed to support classroom training.  ... 
doi:10.1108/17415650580000038 fatcat:eg3sxtz4ebfl3fxn7rjsk4o2wa

Strategic Planning through Model Checking of ATL Formulae [chapter]

Wojciech Jamroga
2004 Lecture Notes in Computer Science  
The paper ends with suggestions about other game theory concepts that can be transfered to ATL-based planning.  ...  In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns a strategy to achieve given goal.  ...  P 1 ⊕ P 2 refers to augmenting plan P 1 with all new subplans that can be found in P 2 ; finally P | Q1 denotes plan P restricted to the states from Q 1 only.  ... 
doi:10.1007/978-3-540-24844-6_136 fatcat:fc36lcm745geda5ana3k6kvbgu

Making Agents' Abilities Explicit

Yedi Zhang, Fu Song, Taolue Chen
2019 IEEE Access  
To mitigate these issues, in this paper, we propose to extend CGSs with agents' abilities, resulting in Abilities Augmented CGSs, where concrete abilities can be defined at the syntactic level.  ...  We study ATL/ATL * over this new model. We give formal definitions of the new semantics and present model-checking algorithms for ATL/ATL * .  ...  It was generalized into ATL/ATL * with strategy contexts [23] , which allowed agents to drop or inherit previously selected strategies.  ... 
doi:10.1109/access.2019.2931514 fatcat:zwuwx5f23zcszdqmumcsz62d5y

Verifying agents with memory is harder than it seemed

Nils Bulling, Wojciech Jamroga
2010 AI Communications  
That is, we prove that model checking ATL + for agents that use strategies with memory is in fact PSPACE-complete.  ...  It has been believed that verification with ATL + is Δ P 3 -complete for both memoryless agents and players who can memorize the whole history of the game.  ...  In Section 4 we study EATL + (ATL + augmented with the temporal operator 23 ("infinitely often")).  ... 
doi:10.3233/aic-2010-0481 fatcat:isgy66f2n5b53gonkqfhatgmxu

Using Transcranial Direct Current Stimulation to Enhance Creative Cognition: Interactions between Task, Polarity, and Stimulation Site

Adam B. Weinberger, Adam E. Green, Evangelia G. Chrysikou
2017 Frontiers in Human Neuroscience  
cortex (DLPFC) and frontopolar cortex has been shown to augment performance on tasks that impose high demands on creative idea selection.  ...  Cathodal stimulation over the left inferior frontotemporal cortex has been associated with improvements on tasks that rely primarily on idea generation, whereas anodal tDCS over left dorsolateral prefrontal  ...  Chi and Snyder (2011) used bilateral tDCS to target the ATL-a region associated with the storage of mental templates and contexts.  ... 
doi:10.3389/fnhum.2017.00246 pmid:28559804 pmcid:PMC5432551 fatcat:24webk67obhb7iscl37ssebeju

Striving to cure adult T-cell leukaemia/lymphoma: a role for allogeneic stem cell transplant?

E H Phillips, A Hodson, O Hermine, A Bazarbachi, K Cwynarski
2016 Bone Marrow Transplantation  
In this review, we discuss the rationale for and issues surrounding alloSCT in ATL in the context of conventional and emerging therapies.  ...  Consolidation with allogeneic stem cell transplant (alloSCT) has an increasing role in the management of ATL in eligible patients, offering favourable long-term remission rates.  ...  the same insertion site as the original ATL clone as an minimal residual disease marker, although its use in this context is not validated.  ... 
doi:10.1038/bmt.2016.154 pmid:27618683 fatcat:prd5sh2pwjcypgydjrddl3ptwq

Intentions and Strategies in Game-Like Scenarios [chapter]

Wojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge
2005 Lecture Notes in Computer Science  
We propose a new operator (straσ) that can be used to formalize reasoning about outcomes of strategies in game-like scenarios.  ...  In particular, we investigate the possibility of extending the logics of games with the notion of agents' intentions (in the sense of Cohen and Levesque's BDI theory).  ...  If we have no information about agents' intended actions and strategies, we can model the game with model M ′ 1 which augments M 1 with the least restrictive intention-accessibility relations, so that  ... 
doi:10.1007/11595014_51 fatcat:5ijma66pvrgfncyeuhndv5u3bi

None Class Ranking Loss for Document-Level Relation Extraction [article]

Yang Zhou, Wee Sun Lee
2022 arXiv   pre-print
This ignores the context of entity pairs and the label correlations between the none class and pre-defined classes, leading to sub-optimal predictions.  ...  this problem, we propose a new multi-label loss that encourages large margins of label confidence scores between each pre-defined class and the none class, which enables captured label correlations and context-dependent  ...  Table 5 shows the results of BCE with the threshold tuned by different strategies, where we also include the results reported in Table 2 for clarity.  ... 
arXiv:2205.00476v2 fatcat:svd6tvxcznduznn4e3fc7pcbfm
« Previous Showing results 1 — 15 out of 1,606 results