Publication Details
Title: A Connectionist Approach to Symbolic Constraint Satisfaction
Author: H. W.Guesgen
Group: ICSI Technical Reports
Date: April 1990
PDF: http://www.icsi.berkeley.edu/pubs/techreports/tr-90-18.pdf
Overview:
Algorithms for solving constraint satisfaction problems, i.e., for finding one, several, or all solutions for a set of constraints on a set of variables, have been introduced in a variety of papers in the area of Artificial Intelligence. Here, we illustrate how a connectionist network for constraint satisfaction can be implemented. The idea is to use a connectionist node for each value of each variable and for each tuple of each constraint of the constraint satisfaction problem, and to connect them according to the way in which the constraints are related to the variables. Goedel numbers are used as potentials of the nodes that correspond to variables, representing possible paths of solutions.
Bibliographic Information:
ICSI Technical Report TR-90-018
Bibliographic Reference:
H. W.Guesgen. A Connectionist Approach to Symbolic Constraint Satisfaction. ICSI Technical Report TR-90-018, April 1990
Author: H. W.Guesgen
Group: ICSI Technical Reports
Date: April 1990
PDF: http://www.icsi.berkeley.edu/pubs/techreports/tr-90-18.pdf
Overview:
Algorithms for solving constraint satisfaction problems, i.e., for finding one, several, or all solutions for a set of constraints on a set of variables, have been introduced in a variety of papers in the area of Artificial Intelligence. Here, we illustrate how a connectionist network for constraint satisfaction can be implemented. The idea is to use a connectionist node for each value of each variable and for each tuple of each constraint of the constraint satisfaction problem, and to connect them according to the way in which the constraints are related to the variables. Goedel numbers are used as potentials of the nodes that correspond to variables, representing possible paths of solutions.
Bibliographic Information:
ICSI Technical Report TR-90-018
Bibliographic Reference:
H. W.Guesgen. A Connectionist Approach to Symbolic Constraint Satisfaction. ICSI Technical Report TR-90-018, April 1990