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. © Springer-Verlag 2013.
CITATION STYLE
Dekhtyar, M. I., & Valiev, M. K. (2013). Complexity of verification of fuzzy multi-agent systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8265 LNAI, pp. 169–184). https://doi.org/10.1007/978-3-642-45114-0_14
Mendeley helps you to discover research relevant for your work.