5,555 Hits in 2.6 sec

Verifying Systems of Resource-Bounded Agents [chapter]

Natasha Alechina, Brian Logan
2016 Lecture Notes in Computer Science  
However such approaches often ignore a key aspect of multi-agent systems, namely that the agents' actions require (and sometimes produce) resources.  ...  Approaches to the verification of multi-agent systems are typically based on games or transition systems defined in terms of states and actions.  ...  For multi-agent systems, a temporal logic of particular interest is Alternating Time Temporal Logic (ATL) [8] .  ... 
doi:10.1007/978-3-319-40189-8_1 fatcat:ygwqpdauzrd35g37tqvxbwanfi

Special Issue on Logical Aspects of Multi-Agent Systems

Nils Bulling, Wiebe van der Hoek
2016 Studia Logica: An International Journal for Symbolic Logic  
The contributions address different facets of logical aspects of multi-agent systems, including the decidability of multi-agent logics, model checking, logics for agent/robot reasoning and game-theoretical  ...  From 2010, the community around the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS) saw the need for a workshop on logical aspects of multi-agent systems, and the workshop  ...  The contributions address different facets of logical aspects of multi-agent systems, including the decidability of multi-agent logics, model checking, logics for agent/robot reasoning and game-theoretical  ... 
doi:10.1007/s11225-016-9659-y fatcat:wflgc4qu5rco5hx2raoytwnina

Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic

Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2017 Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence  
We study a class of synchronous, perfect-recall multi-agent systemswith imperfect information and broadcasting (i.e., fully observableactions).  ...  We define an epistemic extension of strategy logic withincomplete information and the assumption of uniform and coherentstrategies.  ...  Technically, suppose we are given an iCGS S representing the multi-agent system, and LTLKformulas γ a representing the objective of agent a ∈ Ag.  ... 
doi:10.24963/ijcai.2017/14 dblp:conf/ijcai/BelardinelliLMR17 fatcat:hrxyizrlcjbp5dcnsz5h4cwmwq

Recent Results on Strategy Logic with Imperfect Information

Bastien Maubert
2021 Italian Conference on Theoretical Computer Science  
As a consequence of Reif's seminal result on multiplayer games with imperfect information, model checking SL is undecidable when agents observe the game imperfectly but remember everything they observe  ...  In this communication we present recent advances in the field of logics for strategic reasoning, and more precisely about the popular Strategy Logic (SL) in the context of systems with imperfect information  ...  Introduction Since the introduction of Alternating-time Temporal Logic (ATL) by Alur, Henzinger and Kupferman [1] to reason about strategic abilities of agents and coalitions in multi-agent systems,  ... 
dblp:conf/ictcs/Maubert21 fatcat:thlboezxjvaepluutbsflphwkm

Page 574 of Mathematical Reviews Vol. , Issue 2003A [page]

2003 Mathematical Reviews  
A formalization of compositional verification of multi-agent sys- tems is presented. The specification of a multi-agent system is for- malized within a temporal multi-epistemic logic (TMEL).  ...  A compositional multi-agent system can be viewed and specified at different levels of abstraction.  ... 

Multi-Dimensional Description Logics

Frank Wolter, Michael Zakharyaschev
1999 International Joint Conference on Artificial Intelligence  
On the other hand, it is shown that the satisfaction problem becomes undecidable if the underlying frames are arbitrary linear orders or the language contains the com mon knowledge operator for 2 agents  ...  In this paper, we construct a new concept description language intended for representing dynamic and intensional knowledge.  ...  Acknowledgements The work of the second author was supported by U.K. EPSRC grant no. GR/M36748.  ... 
dblp:conf/ijcai/WolterZ99 fatcat:gr43wdhrnbbyret7bthwh2co5q

How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract)

Nils Bulling, Valentin Goranko
2013 Electronic Proceedings in Theoretical Computer Science  
We propose a logical framework combining a game-theoretic study of abilities of agents to achieve quantitative objectives in multi-player games by optimizing payoffs or preferences on outcomes with a logical  ...  We enrich concurrent game models with payoffs for the normal form games associated with the states of the model and propose a quantitative extension of the logic ATL* enabling the combination of quantitative  ...  Formally, ATL * is a multi-agent extension of the branching time logic CTL*, i.e., multimodal logic extending the linear-time temporal logic LTL-comprising the temporal operators X ("at the next state"  ... 
doi:10.4204/eptcs.112.8 fatcat:hpx5eqshsnditohhw5d6eaf6x4

Non-axiomatizability for the linear temporal logic of knowledge with concrete observability

C. Dima
2010 Journal of Logic and Computation  
Unfortunately, this set of axioms does not completely characterize observability for agent A by means of observability of truth values for Π A .  ...  Downloaded from 2 Non-axiomatizability for the linear temporal logic of knowledge consider a 'concrete' observability relation, in which local states for an agent A are characterized by truth values for  ...  The remark that Theorem 1 actually provides a non-r.e. set of valid formulas, and, as such, proves that the concrete semantics is non-axiomatizable, is due to him.  ... 
doi:10.1093/logcom/exq031 fatcat:zwsmtnoxiraaxa5il3ep43psbm

Page 9518 of Mathematical Reviews Vol. , Issue 2004m [page]

2004 Mathematical Reviews  
For instance, to analyze the behavior of a multi-agent distributed system we may need a formalism con- taining both epistemic operators for capturing the knowledge of agents and temporal operators for  ...  ., multi-agent systems, description logics with epistemic, temporal and dynamic operators, spatio- temporal logics, (fragments of) first-order temporal or epistemic logics, etc.) fit in perfectly with  ... 

Multi-agent Logic with Distances Based on Linear Temporal Frames [chapter]

Vladimir Rybakov, Sergey Babenyshev
2010 Lecture Notes in Computer Science  
The paper investigates a new temporal logic TL M Dist , which combines temporal operations with the operations of localised agent's knowledge and operations responsible for measuring distances.  ...  The main goal is to construct a logical framework for modelling logical laws, which describe interactions between such operations.  ...  Another problem is that, non withstanding some previous successful attempts to apply multi-modal propositional logics toward the task of describing evolutions of multi-agent systems (cf.  ... 
doi:10.1007/978-3-642-13232-2_41 fatcat:uyob3eifd5dk7ilms27rn7rdk4

Equivalence of the Frame and Halting Problems

Eric Dietrich, Chris Fields
2020 Algorithms  
We then reformulate the Frame Problem as a quantum decision problem, and show that it is undecidable by any finite quantum computer.  ...  The open-domain Frame Problem is the problem of determining what features of an open task environment need to be updated following an action.  ...  Since A is a generic finite agent, the HP is undecidable by any such agent. HP → FP: Assume that the HP is undecidable (as shown in Reference [20] ) and hence that no oracle f (a, i) exists.  ... 
doi:10.3390/a13070175 fatcat:7idmq2wjq5akfbplhke4igj7ee

DOMINO: Trivalent Logic Semantics in Bivalent Syntax Clothes

Boldur E. Bărbat
2007 International Journal of Computers Communications & Control  
Despite its trivalent logic semantics, it respects the rigours of structural programming and the syntax of bivalent logic (it is programmed in plain C++ to be applicable to legacy systems too).  ...  Its description here is self-contained but, since a validation is underway within a much broader undertaking involving agent-oriented software, to impair redundancy, several aspects explained in very recent  ...  A three-valued logic is a "logical structure which does not assume the law of the excluded middle. Three truth values are possible: true, false, or undecided. There are 3072 such logics" [18] .  ... 
doi:10.15837/ijccc.2007.3.2362 fatcat:w4l6xjkdandjdp4iw7djesffmu

Reasoning About Strategies [chapter]

Fabio Mogavero
2013 Logics in Computer Science  
While SL CHP is a very expressive logic, we claim that it does not fully capture the strategic aspects of multi-agent systems.  ...  In this paper, we introduce and study a more general strategy logic, denoted SL, for reasoning about strategies in multi-agent concurrent systems.  ...  Starting from the study of module checking, researchers have looked for logics focusing on strategic behavior of agents in multi-agent systems [1, 16, 10] .  ... 
doi:10.2991/978-94-91216-95-4_3 fatcat:y5triafsqvctxfjsdvytpy4yke

Exploring the bidimensional space: A dynamic logic point of view [article]

Philippe Balbiani and David Fernández-Duque and Emiliano Lorini
2017 arXiv   pre-print
We present a family of logics for reasoning about agents' positions and motion in the plane which have several potential applications in the area of multi-agent systems (MAS), such as multi-agent planning  ...  The most general logic includes (i) atomic formulas for representing the truth of a given fact or the presence of a given agent at a certain position of the plane, (ii) atomic programs corresponding to  ...  Introduction Most of existing logics for multi-agent systems (MAS) including multi-agent epistemic logic [7] , multi-agent variants of propositional dynamic logic [15] and logics of action and strategic  ... 
arXiv:1702.01601v1 fatcat:c45ktsqafbfn7fgkfizsdikose

Refining the Undecidability Frontier of Hybrid Automata [chapter]

Venkatesh Mysore, Amir Pnueli
2005 Lecture Notes in Computer Science  
team developing an integrated bioinformatics software with a multi-lingual platform that scientists may use to access a wide variety of computational analysis tools  Implemented central access of functions  ...  Thesis, 2006 Venkatesh Mysore, Giuseppe Narzisi and Bud Mishra, Emergency Response Planning for a Potential Sarin Gas Attack in Manhattan using Agent-based Models, The First International Workshop on Agent  ... 
doi:10.1007/11590156_21 fatcat:7c57b3zny5bn5bgeesy2ck25w4
« Previous Showing results 1 — 15 out of 5,555 results