A Formal Approach to Model Multiagent Interactions Using the B Formal Method.
Hind FadilJean-Luc KoningPublished in: ISSADS (2005)
Keyphrases
- formal model
- mathematical model
- probabilistic model
- statistical model
- modeling method
- evaluation method
- cost function
- sensitivity analysis
- high order
- theoretical analysis
- high accuracy
- optimization model
- monte carlo simulation
- energy function
- detection method
- study proposes
- similarity measure
- significant improvement
- pairwise
- hybrid method
- optimization method
- kalman filter
- classification method
- multi agent systems
- computational complexity
- prior knowledge
- input data
- recognition algorithm
- hybrid model
- linear regression
- gaussian distribution
- prediction model
- linear model
- closed form
- test data
- markov model
- em algorithm
- probability distribution
- preprocessing
- objective function
- regression analysis
- evaluation model
- neural network
- agent interactions
- network model
- statistical methods
- multiagent systems
- segmentation method
- support vector machine svm
- dynamic programming
- multi agent
- bayesian networks
- genetic algorithm