Abstract
Numerical agent models often include a number of parameters. The values of such parameters are usually determined by using some numerical parameter tuning method based on numerical empirical data. However, in many cases no numerical empirical data are available, but properties for dynamic patterns are known that should be fulfilled, as requirements. Classical numerical parameter tuning methods normally cannot work with such dynamic properties, as they can only be true or false. To remedy this, in this paper the notion of approximate satisfaction of dynamic properties is introduced. It adds a numerical measure to the logical notion of satisfaction. By doing this, numerical optimization methods for parameter estimation become applicable to support the design of dynamic agent models for which dynamic properties have been specified as requirements.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bosse, T., Jonker, C.M., van der Meij, L., Sharpanskykh, A., Treur, J.: Specification and verification of dynamics in agent models. Int. J. Coop. Inf. Syst. 18, 167–193 (2009)
Chong, E.K.P., Zak, S.H.: An Introduction to Optimization. Wiley, Hoboken (2013)
Dubois, D., Fargier, H., Prade, H.: Propagation and satisfaction of flexible constraints. In: Yager, R.R., Zadeh, L.A. (eds.) Fuzzy Sets, Neural Networks, and Soft Computing, pp. 166–187. Van Nostrand Reinhold, New York (1994)
Dubois, D., Fargier, H., Prade, H.: The calculus of fuzzy restrictions as a basis for flexible constraint satisfaction. In: Proceedings of 2nd IEEE International Conference on Fuzzy Systems, San Francisco, CA, pp. 1131–1136 (1993)
Dubois, D., Lang, J., Prade, H.: Fuzzy sets in approximate reasoning, Part 2: logical approaches. Fuzzy Sets Syst. 40, 203–244 (1991)
Dubois, D., Prade, H.: Possibility theory, probability theory and multiple-valued logics: a clarification. Ann. Math. Artif. Intell. 32, 35–66 (2002)
van Dalen, D.: Logic and Structure, 3rd edn. Springer Verlag, New York (1994)
Ferber, J., Gutknecht, O., Jonker, C.M., Müller, J.P., J.P., and J. Treur: Organization Models and Behavioural Requirements Specification for Multi-Agent Systems. In: Y. Demazeau, F. Garijo (eds.) Multi-Agent System Organisations. Proceedings of the 10th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW 2001 (2001)
Giangiacomo, G.: Fuzzy logic: Mathematical Tools for Approximate Reasoning. Kluwer Academic Publishers, Dordrecht (2001)
Herlea, D.E., Jonker, C.M., Treur, J., Wijngaards, N.J.E.: Specification of bahavioural requirements within compositional multi-agent system design. In: Garijo, F.J., Boman, M., (eds.) MAAMAW 1999. LNCS, vol. 1647, pp. 8–27. Springer, Heidelberg (1999). doi:10.1007/3-540-48437-X_2
Damian, D.E., Jonker, C.M., Treur, J., Wijngaards, N.J.: Integration of behavioural requirements specification within compositional knowledge engineering. Knowl.-Based Syst. 18, 353–365 (2005)
Pohl, K., Rupp, C.: Requirements Engineering Fundamentals. Rocky Nook, Santa Barbara (2011)
Port, R.F., van Gelder, T.: Mind as Motion: Explorations in the Dynamics of Cognition. MIT Press, Cambridge (1995)
Rizk, A., Batt, G., Fages, F., Soliman, S.: Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Theor. Comput. Sci. 412, 2827–2839 (2011)
Sharpanskykh, A., Treur, J.: A temporal trace language for formal modelling and analysis of agent systems. In: Dastani, M., Hindriks, K.V., Meyer, J.J.C. (eds.) Specification and Verification of Multi-Agent Systems, pp. 317–352. Springer, Heidelberg (2010)
Strejc, V.: Least squares parameter estimation. Automatica 16, 535–550 (1980)
Treur, J.: Network-Oriented Modeling: Addressing Complexity of Cognitive, Affective and Social Interactions. Series in Understanding Complex Systems. Springer, Heidelberg (2016)
Van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley, Chichester (2009)
Zadeh, L.: Fuzzy sets as the basis for a theory of possibility. Fuzzy Sets Syst. 1, 3–28 (1978). Reprinted in Fuzzy Sets Syst. 100(Suppl.), 9–34 (1999)
URL Appendix. http://few.vu.nl/~treur/EUMAS16appsatAppendix.pdf
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Treur, J. (2017). Using Automated Approximate Satisfaction in Parameter Search for Dynamic Agent Models. In: Criado Pacheco, N., Carrascosa, C., Osman, N., Julián Inglada, V. (eds) Multi-Agent Systems and Agreement Technologies. EUMAS AT 2016 2016. Lecture Notes in Computer Science(), vol 10207. Springer, Cham. https://doi.org/10.1007/978-3-319-59294-7_19
Download citation
DOI: https://doi.org/10.1007/978-3-319-59294-7_19
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-59293-0
Online ISBN: 978-3-319-59294-7
eBook Packages: Computer ScienceComputer Science (R0)