On complexity of verification of interacting agents' behavior

, &
Annals of Pure and Applied Logic 141 (3):336-362 (2006)
  Copy   BIBTEX

Abstract

This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to the transition system induced by the definition of the multi-agent system. We establish various tight complexity bounds of the behavior properties under natural structural and semantic restrictions on agent programs and actions

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2005.12.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Purchasing Agents’ Deceptive Behavior: A Randomized Response Technique Study.Talia Rymon - 2001 - Business Ethics Quarterly 11 (3):455-479.
Individual and collective behavior of vibrating motors interacting through a resonant plate.David Mertens & Richard Weaver - 2011 - Complexity 16 (5):45-53.
Metabolic complexity has no bearing on genetic determinism.Athel Cornish-Bowden - 1999 - Behavioral and Brain Sciences 22 (5):889-890.
What Is the Model of Trust for Multi-agent Systems? Whether or Not E-Trust Applies to Autonomous Agents.Massimo Durante - 2010 - Knowledge, Technology & Policy 23 (3):347-366.
Interlevel connections and agent evolution should not be overlooked.Donald R. Franceschetti - 1998 - Behavioral and Brain Sciences 21 (5):639-640.
Pragmatics and biosemiotics.Alexei A. Sharov - 2002 - Sign Systems Studies 30 (1):245-257.
Dynamics of individual specialization and global diversification in communities.Vivek S. Borkar, Sanjay Jain & Govindan Rangarajan - 1998 - Complexity 3 (3):50-56.
The complexity of CTBT verification. Taking noble gas monitoring as an example.Martin B. Kalinowski, Andreas Becker, Paul R. J. Saey, Matthias P. Tuma & Gerhard Wotawa - 2008 - Complexity 14 (1):89-99.
On the nature and origin of complexity in discrete, homogeneous, locally-interacting systems.Charles H. Bennett - 1986 - Foundations of Physics 16 (6):585-592.
The relationship between ethical and customer-oriented service provider behaviors.Vince Howe, K. Douglas Hoffman & Donald W. Hardigree - 1994 - Journal of Business Ethics 13 (7):497 - 506.
Easy Solutions for a Hard Problem? The Computational Complexity of Reciprocals with Quantificational Antecedents.Fabian Schlotterbeck & Oliver Bott - 2013 - Journal of Logic, Language and Information 22 (4):363-390.
Asking questions about behavior.James W. Mc Kearney - 1977 - Perspectives in Biology and Medicine 21 (1):109-119.

Analytics

Added to PP
2013-12-31

Downloads
15 (#893,994)

6 months
8 (#292,366)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Biography of Alexandre Dikovsky.Denis Béchet & Michael Dekhtyar - 2017 - Journal of Logic, Language and Information 26 (4):333-340.

Add more citations

References found in this work

Agent-oriented programming.Yoav Shoham - 1993 - Artificial Intelligence 60 (1):51-92.

Add more references