Abstract
Some notions of fuzzy multi-agent systems are introduced. Agents of these systems are controlled by fuzzy logic programs. Complexity of verification of their dynamic properties are established. The properties are expressed as formulas of some variants of fuzzy temporal logic.
This work was sponsored by the RFBR Grants 13-01-00643 and 13-01-00382.
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
Pnueli, A.: The temporal logic of programs. In: 18th IEEE Symp. on Foundations of Computer Science, pp. 46–57 (1977)
Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press (2000)
Baier, C., Katoen, J.: Principles of model checking. Kluwer Academic Publishers (2002)
Benerecetti, M., Giunchiglia, F.: Model checking-based analysis of multiagent systems. In: Rash, J.L., Rouff, C.A., Truszkowski, W., Gordon, D.F., Hinchey, M.G. (eds.) FAABS 2000. LNCS (LNAI), vol. 1871, pp. 1–15. Springer, Heidelberg (2001)
Wooldridge, M., Fisher, M., Huget, M.P., Parsons, S.: Model checking multi-agent systems with mable. In: Proc. of the First Intern. Conf. on Autonomous Agents and Multiagent Systems, pp. 952–959 (2002)
Dekhtyar, M., Dikovsky, A., Valiev, M.: Complexity of multi-agent systems behavior. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 125–136. Springer, Heidelberg (2002)
Ballarini, P., Fisher, M., Wooldridge, M.: Automated game analysis via probabilistic model checking: a case study. Electronic Notes in Theoretical Computer Science 149, 125–137 (2006)
Dekhtyar, M., Dikovsky, A., Valiev, M.: Temporal verification of probabilistic multi-agent systems. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science. LNCS, vol. 4800, pp. 256–265. Springer, Heidelberg (2008)
Valiev, M., Dekhtyar, M.: Complexity of verification of nondeterministic probabilistic multiagent systems. Automatic Control and Computer Sciences 45, 390–396 (2011)
Avrachenkov, K., Sanches, E.: Fuzzy Markov chains and decision-making, pp. 143–159. Kluwer Academic Publishers (2002)
Buckley, J., Eslami, E.: An introduction to fuzzy logic and fuzzy sets. Physica-Verlag, Springer (2002)
Bellman, R., Zadeh, L.: Decision-making in a fuzzy environment. Management Science Series 17, 141–164 (1970)
Vardi, M., Wolper, P.: An automata-theoretic approach to automatic program verification (preliminary report). In: Logic in Computer Science, pp. 332–344 (1986)
Courcoubetis, C., Yannakakis, M.: The complexity of probabilistic verification. Journal of ACM 42, 857–907 (1995)
Aziz, A., Singhal, V., Balarin, F., Brayton, R.: It usually works: The temporal logic of stochastic systems. In: Wolper, P. (ed.) CAV 1995. LNCS, vol. 939, pp. 155–165. Springer, Heidelberg (1995)
Osborne, M.J., Rubinstein, A.: Bargaining and markets. Academic Press, London (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dekhtyar, M.I., Valiev, M.K. (2013). Complexity of Verification of Fuzzy Multi-Agent Systems. In: Castro, F., Gelbukh, A., González, M. (eds) Advances in Artificial Intelligence and Its Applications. MICAI 2013. Lecture Notes in Computer Science(), vol 8265. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-45114-0_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-45114-0_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-45113-3
Online ISBN: 978-3-642-45114-0
eBook Packages: Computer ScienceComputer Science (R0)