30 Hits in 3.5 sec

An Epistemic Strategy Logic [article]

Xiaowei Huang, Ron van der Meyden
2018 arXiv   pre-print
This paper presents an extension of temporal epistemic logic with operators that quantify over agent strategies.  ...  Unlike previous work on alternating temporal epistemic logic, the semantics works with systems whose states explicitly encode the strategy being used by each of the agents.  ...  This leads to a logic which, like strategy logic [13, 42] , supports explicit naming and quantification over strategies.  ... 
arXiv:1409.2193v3 fatcat:z3qxjk43jrd27fbz24xtabunqm

Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability

Masoud Tabatabaei, Wojciech Jamroga, Peter Y. A. Ryan
2016 Proceedings of the 1st International Workshop on AI for Privacy and Security - PrAISe '16  
We argue that the notions of receipt-freeness and coercion resistance are underpinned by existence (or nonexistence) of a suitable strategy for some participants of the voting process.  ...  The transcriptions are formulated in the modal game logic ATL * , well known in the area of multi-agent systems.  ...  Among other things, we plan to refine our specifications using the more flexible language of Strategy Logic [43, 41, 42] that allows for explicit quantification over strategies in k-player concurrent  ... 
doi:10.1145/2970030.2970039 dblp:conf/ecai/TabatabaeiJR16 fatcat:rcldf3qbnbcvldd65h4ijar3we

Deciding Epistemic and Strategic Properties of Cryptographic Protocols [chapter]

Henning Schnoor
2012 Lecture Notes in Computer Science  
We prove that the corresponding model checking problem with respect to an expressive epistemic strategic logic is decidable.  ...  We propose a new, widely applicable model for analyzing knowledge-based (epistemic) and strategic properties of cryptographic protocols.  ...  Probabilistic, epistemic ATL with strategy quantification To express security goals, we use the ATL * -variant QAPI [Sch10a, Sch10b] .  ... 
doi:10.1007/978-3-642-33167-1_6 fatcat:ikntqmjubfaubl2v5nafoviifq

A Computationally Grounded, Weighted Doxastic Logic

Taolue Chen, Giuseppe Primiero, Franco Raimondi, Neha Rungta
2015 Studia Logica: An International Journal for Symbolic Logic  
In particular, it is of fundamental importance to have tools and techniques to reason about the doxastic and epistemic states of agents, to make sure that the agents behave as intended.  ...  We validate our proposal against a case study from the avionic domain: we assess and verify the situational awareness of pilots flying an aircraft with several automated components in off-nominal conditions  ...  This paper is an extended version of material previously published in [22] , with substantial new contributions: DTMC-based semantics with experimental results and implementation; new experimental evaluation  ... 
doi:10.1007/s11225-015-9621-4 fatcat:gzsf4uclpnd6zimk52hoebdw3y

Lower Bounds for Approximate Knowledge Compilation

Alexis de Colnet, Stefan Mengel
2020 Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence  
probabilistic inference.  ...  We focus on circuits in deterministic decomposable negation normal form (d-DNNF), a compilation language suitable in contexts such as probabilistic reasoning, as it supports efficient model counting and  ...  We acknowledge support from the Natural Science Foundation of China under Grant Nos. 61572535 and U1811263, and the National Science and Engineering Research Council of Canada.  ... 
doi:10.24963/ijcai.2020/250 dblp:conf/ijcai/LiuX0LXS20 fatcat:hxwftmtmxrc7pi63exhicsevoe

Induced seismicity risk analysis of the hydraulic stimulation of a geothermal well on Geldinganes, Iceland

Marco Broccardo, Arnaud Mignan, Francesco Grigoli, Dimitrios Karvounis, Antonio Pio Rinaldi, Laurentiu Danciu, Hannes Hofmann, Claus Milkereit, Torsten Dahm, Günter Zimmermann, Vala Hjörleifsdóttir, Stefan Wiemer
2020 Natural Hazards and Earth System Sciences  
This study presents a first-of-its-kind pre-drilling probabilistic induced seismic hazard and risk analysis for the site of interest.  ...  Specifically, we provide probabilistic estimates of peak ground acceleration, European microseismicity intensity, probability of light damage (damage risk), and individual risk.  ...  This paper was edited by Filippos Vallianatos and reviewed by Georgios Michas and Julian Bommer.  ... 
doi:10.5194/nhess-20-1573-2020 fatcat:r5y7hivdanfxvijg6moa3kpz7m

Agents, beliefs, and plausible behavior in a temporal setting

Nils Bulling, Wojciech Jamroga
2007 Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems - AAMAS '07  
We address this problem and extend CTLK (computation tree logic with knowledge) with a notion of plausibility, which allows for practical and counterfactual reasoning.  ...  We also show that model checking CTLKP is PTIME-complete and can be done in time linear with respect to the size of models and formulae.  ...  Moreover, it is important that we use branching time with explicit quantification over paths; this observation is formalized in Proposition 13. Definition 1.  ... 
doi:10.1145/1329125.1329303 dblp:conf/atal/BullingJ07 fatcat:k2f6tzaxo5cnppovizfd2b7ndq

Logic-based specification and verification of homogeneous dynamic multi-agent systems

Riccardo De Masellis, Valentin Goranko
2020 Autonomous Agents and Multi-Agent Systems  
We develop a logic-based framework for formal specification and algorithmic verification of homogeneous and dynamic concurrent multi-agent transition systems.  ...  each of n and m is either a fixed number or a variable that can be quantified over.  ...  as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.  ... 
doi:10.1007/s10458-020-09457-8 fatcat:xfmsc4szejdh3aorkwca7biuyu

Strategy Composition in Dynamic Games with Simultaneous Moves

Sujata Ghosh, Neethi Konar, R. Ramanujam
2017 Proceedings of the 9th International Conference on Agents and Artificial Intelligence  
We study dynamic games with simultaneous moves, repeated normal form games and show that this reasoning can be carried out by considering a single game, and studying composition of "local" strategies.  ...  Sometimes, in dynamic games, it is useful to reason not only about the existence of strategies for players, but also about what these strategies are, and how players select and construct them.  ...  Further, named strategies can be introduced as in extensions of ATL with explicit treatment of strategies (such as in (Chatterjee et al., 2007; van der Hoek et al., 2005; Walther et al., 2007; Ågotnes  ... 
doi:10.5220/0006205106240631 dblp:conf/icaart/GhoshKR17 fatcat:be3n4z22cfgchcyhvp6mjmmaie

Making a Start with the stit Logic Analysis of Intentional Action

Jan M. Broersen
2011 Journal of Philosophical Logic  
Non-successful action will be analyzed as a weakening of the epistemic attitude towards action. Finally, the notion of 'attempt' will be briefly considered as a further weakening in this direction.  ...  The side effect problem will be analyzed as an interaction between knowingly doing and intentionally doing.  ...  Acknowledgements Thanks to Rosja Mastop and Thomas Müller and the anonymous referees for all their valuable suggestions and comments.  ... 
doi:10.1007/s10992-011-9190-6 fatcat:irt7zl44vzavxdvtcjd6knpf3m

Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems [article]

Riccardo De Masellis, Valentin Goranko
2020 arXiv   pre-print
As a language for formal specification we use a suitably extended version of Alternating-time Temporal Logic (ATL), where one can specify properties of the type "a coalition of (at least) n controllable  ...  We develop a logic-based framework for formal specification and algorithmic verification of homogeneous and dynamic concurrent multi-agent transition systems (HDMAS).  ...  objectives, with somewhat more liberal quantification patterns in L hdmas (i.e., formulae of the type ∀y y, y X ϕ and ∃y y, y X ϕ can be added easily), adding several super-agents with controllable sets  ... 
arXiv:1905.00810v4 fatcat:s23fn527qbcvvczml7kob75e4y

D5.6 – Guidelines For Best Practice

Delano Landtwing, Arnaud Mignan, Stefan Wiemer
2013 Zenodo  
time‐dependent induced seismicity forecasts; (3) Distinct output metrics to communicate the risk to different interest groups (public authorities/regulators, operators, public, insurances); (4) Include epistemic  ...  guidelines: (1) Use a deterministic risk approach prior to injection to estimate roughly the expected losses (some hazard metrics could also be used) in function of induced event expected magnitude; (2) Use a probabilistic  ...  Although the quantifications "few, many and most" are associated with a certain percentage, this doesn't allow more precise damage calculations.  ... 
doi:10.5281/zenodo.1255941 fatcat:qgx737bod5gnbbfeyqtwppv3y4

Constructive Game Logic [chapter]

Brandon Bohrer, André Platzer
2020 Lecture Notes in Computer Science  
Relatives without this separation include Strategy Logic [15], Alternating-Time Temporal Logic (ATL) [5], CATL [30], Ghosh's SDGL [24], Ramanujam's structured strategies [46], Dynamic-epistemic logics  ...  GL's are unique in their clear delegation of strategy to the proof language rather than the model language, crucially allowing succinct game specifications with sophisticated winning strategies.  ...  The authors were also funded by the NDSEG Fellowship and Alexander von Humboldt Foundation, respectively.  ... 
doi:10.1007/978-3-030-44914-8_4 fatcat:by5xt6i2g5gi7ds2kebai5otgu

VaToMAS-Verification and Testing of Multi-Agent Systems

Alessio Lomuscio, Sophie Pinchinat, Holger Schlingloff, Alessio Lomuscio, Sophie Pinchinat, Holger Schlingloff, Alessio Lomuscio, Sophie Pinchinat, Holger Schlingloff, Dagstuhl Reports
Dagstuhl Reports   unpublished
Lomuscio, Sophie Pinchinat, and Holger Schlingloff Multi-agent systems (MAS) are distributed computing systems in which the individual components, or agents, interact with each other by means of communication  ...  The topics concentrated on the intersection of the fields: Model checking of temporal-epistemic logic, alternating logics, and BDI logics Model based test generation for embedded systems Controller synthesis  ...  As a key aspect, SL uses first-order quantifications over strategies, where strategies are not glued to a specific agent, but an explicit binding operator allows to bind an agent to a strategy variable  ... 

Strategic Reasoning in Automated Mechanism Design

Bastien Maubert, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
2021 Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning   unpublished
To do so, we consider a quantitative and epistemic variant of Strategy Logic. We first show how to express the implementation of social choice functions.  ...  ) imperfect information,with agents' private valuations.  ...  Unlike ATL, which it subsumes, it allows for explicit manipulation of strategies, and it can express important concepts in non-zero-sum games, such as Nash equilibria.  ... 
doi:10.24963/kr.2021/46 fatcat:d7mvgfbp2zhv3ksmjvqewi54vm
« Previous Showing results 1 — 15 out of 30 results