Abstract
This paper presents a VLSI design for a competitive neural network model, known as GENET (Wang and Tsang 1991), for solving Constraint Satisfaction Problems (CSP). The CSP is a mathematical abstraction of the problems in many AI application domains. In essence, a CSP can be defined as a triple (Z, D, C), where Z is a finite set of variables, D is a mapping from every variable to a domain, which is a finite set of arbitrary objects, and C is a set of constraints. Each constraint in C restricts the values that can be simultaneously assigned to a number of variables in Z. If the constraints in C involve up to but no more than n variables it is called an n-ary CSP. The task is to assign one value per variable satisfying all the constraints in C (Mackworth 1977). In addition, associated with the variable assignments might be costs and utilities. This turns CSPs into optimization problems, demanding CSP solvers to find a set of variable assignments that would produce a maximum total utility at a minimal cost. Furthermore, some CSPs might be over-constrained, i.e. not all the constraints in C can be satisfied simultaneously. In this case, the set of assignments to a maximum number of variables without violating any constraints in C, or the set of assignments to all the variables which violates a minimal number of constraints might be sought for.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Adorf, H.M. & Johnston, M.D., “A discrete stochastic neural network algorithm for constraint satisfaction problems”, Proceedings, International Joint Conference on Neural Networks, 1990.
Dechter, R., Meiri, I. & Pearl, J., “Temporal constraint networks”, Artificial Intelligence, 49, pp. 61–95, 1991.
Dincbas, M., Simonis, H. & Van Hentenryck, P., “Solving car sequencing problem in constraint logic programming”, Proceedings, European Conference on AI, pp. 290–295, 1988.
Dincbas, M., Van Hentenryck, P., Simonis, H., Aggoun, A. & Graf, T., “Applications of CHIP to industrial and engineering problems”, First International Conference on Industrial and Engineering Applications of AI and Expert Systems, June 1988.
Graf, H. P. and Jackel, L.D., “Analog Electronic Neural Network Circuits”, IEEE Circuits and Devices Magazine, pp. 44–55, July 1989.
Guesgen, H.W. & Hertzberg J., “A Perspective of Constraint-based Reasoning”, Lecture Notes in Artificial Intelligence, Springer-Verlag, 1992.
Haralick, R.M. and Elliott, G.L., “Increasing tree search efficiency for constraint satisfaction problems”, Artificial Intelligence 14, pp. 263–313,1980.
Kasif, S., “On the parallel complexity of discrete relaxation in constraint satisfaction networks”, Artificial Intelligence (45), pp. 275–286, 1990.
Lazzaro, J., Ryckebusch, S., Mahowald, M. A., and Mead, C. A., “Winner-Take-All Networks of O(N) Complexity”, in Advances in Neural Information Processing Systems 1, Touretzky, ed., San Mateo, CA: Morgan Kaufmann, 1989, 703–711.
Mackworth, A.K., “Consistency in networks or relations”, Artificial Intelligence 8(1), pp. 99–118, 1977.
Minton, S., Johnston, M.D., Philips, A. B. & Laird, P., “Solving large-scale constraint- satisfaction and scheduling problems using a heuristic repair method”, American Association for Artificial Intelligence (AAAI), pp. 17–24, 1990.
Morishita, T., Tamura, Y. and Otsuki, T., “A BiCMOS Analog Neural Network with Dynamically Updated Weights”, IEEE Int. Solid-State Circuits Conf. Dig. Tech. Papers, pp. 142–143, Feb. 1990.
Murray, A. F., “Pulse Arithmetic in VLSI Neural Networks”, IEEE Micro Mag., pp. 64–74, Dec. 1989.
Prosser, P., “Distributed asynchronous scheduling”, PhD Thesis, Department of Computer Science, University of Strathclyde, November 1990.
Swain, M.J. & Cooper, P.R., “Parallel hardware for constraint satisfaction”, Proc. AAAI, pp. 682–686, 1988.
Tomberg, J. E. and Kaski, K. K. K., “Pulse-Density Modulation Technique in VLSI Implementations of Neural Network Algorithms”, IEEE J. of Solid-State Circuits, vol. 25, no. 5, pp. 1277–1286, Oct. 1990.
Tsang, E.P.K., “The consistent labelling problem in temporal reasoning”, Proc. AAAI Conference, Seattle, pp. 251–255, July 1987.
Tsang, E. P. K., & Wang, C. J., “A generic neural network approach for constraint satisfaction problems”, Proc. NCM′91 Applications of Neural Networks, to be published in Series in Neural Networks by Springer Verlag, 1992.
Waltz, D.L., “Understanding line drawings of scenes with shadows”, in WINSTON, P.H. (ed.) The Psychology of Computer Vision, McGraw-Hill, New York, pp. 19–91, 1975.
Wang, C. J., & Tsang, E. T. K., “Solving constraint satisfaction problems using neural networks”, Proceedings, IEE Second International Conference on Artificial Neural Networks, pp. 295–299, 1991.
Yasunaga, M., Masuda, N., Yagyu, M., Asai, M., Yamada, M., and Masaki, A., “Design, Fabrication and Evaluation of a 5-Inch Wafer Scale Neural Network LSI Composed of 576 Digital Neurons”, Proc. Int. Joint Conf. on Neural Networks, Vol. II, pp. 527–535, June 1990.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer Science+Business Media New York
About this chapter
Cite this chapter
Wang, C.J., Tsang, E.P.K. (1994). A Cascadable VLSI Design for GENET. In: Delgado-Frias, J.G., Moore, W.R. (eds) VLSI for Neural Networks and Artificial Intelligence. Springer, Boston, MA. https://doi.org/10.1007/978-1-4899-1331-9_19
Download citation
DOI: https://doi.org/10.1007/978-1-4899-1331-9_19
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4899-1333-3
Online ISBN: 978-1-4899-1331-9
eBook Packages: Springer Book Archive