Abstract
Temporal reasoning and strategic behaviour are important abilities of Multi-Agent Systems. We introduce a method suitable for modelling agents which can store and reason about the evolution of an environment, and which can reason strategically, that is, make a rational and self-interested choice, in an environment where all other agents will behave in the same way. We introduce a game-theoretic formal framework, and provide with a computational characterisation of our solution concepts, which suggests that our method can easily be put into practice.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arnold, A., Crubille, P.: A linear algorithm to solve fixed-point equations on transition systems. Inf. Process. Lett. 29(2), 57–66 (1988)
Giumale, C., Negreanu, L.: Reasoning with fluid qualities. In: 17th International Conference on Control Systems and Computer Science, CSCS-17, vol. 2, pp. 197–203 (December 2009)
Giumale, C., Negreanu, L., Muraru, M., Popovici, M.: Modeling ontologies for time-dependent applications. In: International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp. 202–208 (2010)
Harrenstein, P., van der Hoek, W., Meyer, J.-J., Witteveen, C.: Boolean games. In: Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2001, pp. 287–298. Morgan Kaufmann Publishers Inc., San Francisco (2001)
Popovici, M.: Using evolution graphs for describing topology-aware prediction models in large clusters. In: Fisher, M., van der Torre, L., Dastani, M., Governatori, G. (eds.) CLIMA XIII 2012. LNCS, vol. 7486, pp. 94–109. Springer, Heidelberg (2012)
Popovici, M., Muraru, M., Agache, A., Giumale, C., Negreanu, L., Dobre, C.: A modeling method and declarative language for temporal reasoning based on fluid qualities. In: Andrews, S., Polovina, S., Hill, R., Akhgar, B. (eds.) ICCS-ConceptStruct 2011. LNCS, vol. 6828, pp. 215–228. Springer, Heidelberg (2011)
Sistla, A.P., Clarke, E.M.: The complexity of propositional linear temporal logics. J. ACM 32(3), 733–749 (1985)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Popovici, M., Negreanu, L. (2014). Strategic Behaviour in Multi-Agent Systems Able to Perform Temporal Reasoning. In: Zavoral, F., Jung, J., Badica, C. (eds) Intelligent Distributed Computing VII. Studies in Computational Intelligence, vol 511. Springer, Cham. https://doi.org/10.1007/978-3-319-01571-2_25
Download citation
DOI: https://doi.org/10.1007/978-3-319-01571-2_25
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-01570-5
Online ISBN: 978-3-319-01571-2
eBook Packages: EngineeringEngineering (R0)