Stochastic Neural Networks for Feasibility Checking
International Journal of Applied Mathematics and Computer Science, Tome 9 (1999) no. 4, pp. 921-937
Cet article a éte moissonné depuis la source Library of Science
Complex diagnosis problems, defined by high-level models, often lead to constraint-based discrete optimization tasks. A logical description of large, complex systems usually contains numerous variables. The first test of the logical description is typically to check the feasibility in order to know that there is no contradiction in the model. This can be formulated as an optimization problem and methods of discrete optimization theory can then be used. The purpose of the paper is to show that stochastic neural networks can be applied to this type of tasks and the networks are efficient tools for finding feasible or good-quality configurations. Boltzmann and mean-field neural networks were tested on large-sized complex problems.The paper presents simulation results obtained from a real application task and compares the performance of the neural networks being examined.
Keywords:
optimization, neural networks, simulated annealing, mean-field approximation
Mots-clés : optymalizacja, sieć neuronowa, aproksymacja
Mots-clés : optymalizacja, sieć neuronowa, aproksymacja
@article{IJAMCS_1999_9_4_a10,
author = {Strausz, G.},
title = {Stochastic {Neural} {Networks} for {Feasibility} {Checking}},
journal = {International Journal of Applied Mathematics and Computer Science},
pages = {921--937},
year = {1999},
volume = {9},
number = {4},
language = {en},
url = {http://geodesic.mathdoc.fr/item/IJAMCS_1999_9_4_a10/}
}
Strausz, G. Stochastic Neural Networks for Feasibility Checking. International Journal of Applied Mathematics and Computer Science, Tome 9 (1999) no. 4, pp. 921-937. http://geodesic.mathdoc.fr/item/IJAMCS_1999_9_4_a10/