Using Automated Approximate Satisfaction in Parameter Search for Dynamic Agent Models

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

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.
Original languageEnglish
Title of host publicationMulti-Agent Systems and Agreement Technologies, Proc. of the 14th European Conference on Multi-Agent Systems, EUMAS'16
EditorsN Criado Pacheco
PublisherSpringer
Pages230-248
Number of pages19
Publication statusPublished - 2017

Publication series

NameLecture Notes in Artificial Intelligence
PublisherSpringer
Volume10207

Fingerprint

Tuning
Parameter estimation

Cite this

Treur, J. (2017). Using Automated Approximate Satisfaction in Parameter Search for Dynamic Agent Models. In N. Criado Pacheco (Ed.), Multi-Agent Systems and Agreement Technologies, Proc. of the 14th European Conference on Multi-Agent Systems, EUMAS'16 (pp. 230-248). (Lecture Notes in Artificial Intelligence; Vol. 10207). Springer.
Treur, J. / Using Automated Approximate Satisfaction in Parameter Search for Dynamic Agent Models. Multi-Agent Systems and Agreement Technologies, Proc. of the 14th European Conference on Multi-Agent Systems, EUMAS'16. editor / N Criado Pacheco. Springer, 2017. pp. 230-248 (Lecture Notes in Artificial Intelligence).
@inproceedings{bb3c673dd1614cd8aa1c2317705f6098,
title = "Using Automated Approximate Satisfaction in Parameter Search for Dynamic Agent Models",
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.",
author = "J. Treur",
year = "2017",
language = "English",
series = "Lecture Notes in Artificial Intelligence",
publisher = "Springer",
pages = "230--248",
editor = "{Criado Pacheco}, N",
booktitle = "Multi-Agent Systems and Agreement Technologies, Proc. of the 14th European Conference on Multi-Agent Systems, EUMAS'16",

}

Treur, J 2017, Using Automated Approximate Satisfaction in Parameter Search for Dynamic Agent Models. in N Criado Pacheco (ed.), Multi-Agent Systems and Agreement Technologies, Proc. of the 14th European Conference on Multi-Agent Systems, EUMAS'16. Lecture Notes in Artificial Intelligence, vol. 10207, Springer, pp. 230-248.

Using Automated Approximate Satisfaction in Parameter Search for Dynamic Agent Models. / Treur, J.

Multi-Agent Systems and Agreement Technologies, Proc. of the 14th European Conference on Multi-Agent Systems, EUMAS'16. ed. / N Criado Pacheco. Springer, 2017. p. 230-248 (Lecture Notes in Artificial Intelligence; Vol. 10207).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Using Automated Approximate Satisfaction in Parameter Search for Dynamic Agent Models

AU - Treur, J.

PY - 2017

Y1 - 2017

N2 - 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.

AB - 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.

M3 - Conference contribution

T3 - Lecture Notes in Artificial Intelligence

SP - 230

EP - 248

BT - Multi-Agent Systems and Agreement Technologies, Proc. of the 14th European Conference on Multi-Agent Systems, EUMAS'16

A2 - Criado Pacheco, N

PB - Springer

ER -

Treur J. Using Automated Approximate Satisfaction in Parameter Search for Dynamic Agent Models. In Criado Pacheco N, editor, Multi-Agent Systems and Agreement Technologies, Proc. of the 14th European Conference on Multi-Agent Systems, EUMAS'16. Springer. 2017. p. 230-248. (Lecture Notes in Artificial Intelligence).