𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Using artificial neural networks for constraint satisfaction problem

✍ Scribed by Ilié Popescu

Publisher
Elsevier Science
Year
1997
Tongue
English
Weight
471 KB
Volume
30
Category
Article
ISSN
0362-546X

No coin nor oath required. For personal study only.

✦ Synopsis

We address the problem of solving a constraint satisfaction problem (CSP) by treating a constraint logic program (CLP) as a network of constraints. We attempt to show that each computation in a CLP becomes a sequence of linear steps, since the check satisfiability of the system of constraints is applied at each resolution step which is linear in the size of the current constraint problem. Thus, the constraint propagation information is performed at each step during any CLP derivation.

The major issues we address here are the identification (using logic interpretation) of constraints that can be added within the program rules to reduce the size of intermediate states and how to use the previous steps of the computation as a guidance for CLP derivations.

📜 SIMILAR VOLUMES

Image segmentation by relaxation using c
Image segmentation by relaxation using constraint satisfaction neural network
✍ Fatih Kurugollu; Bülent Sankur; A. Emre Harmancı 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 814 KB

The problem of image segmentation using constraint satisfaction neural networks (CSNN) has been considered. Several variations of the CSNN theme have been advanced to improve its performance or to explore new structures. These new segmentation algorithms are based on interplay of additional constrai

Geometrical solution methods for an opti
Geometrical solution methods for an optimal software release problem using artificial neural networks
✍ Tadashi Dohi; Yasuhiko Nishio; Yasuhide Shinohara; Shunji Osaki 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 190 KB 👁 2 views

Generally, to find the optimal release time for a software product, the parametric estimation values of the mean value function, which characterizes the software reliability growth model, are determined from the fault detection time data observed during the testing phase, and an analytical method is

Sentence recognition using artificial ne
Sentence recognition using artificial neural networks
✍ Maciej Majewski; Jacek M. Zurada 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 275 KB

The paper describes an application of artificial neural networks (ANN) for natural language text reasoning. The task of knowledge discovery in text from a database, represented with a database file consisting of sentences with similar meanings but different lexico-grammatical patterns, was solved wi

The solutions of vibration control probl
The solutions of vibration control problems using artificial neural networks
✍ Hasan Alli; Ayşegül Uçar; Yakup Demir 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 382 KB

This paper introduces an alternative method artificial neural networks (ANN) used to obtain numerical solutions of mathematical models of dynamic systems, represented by ordinary differential equations (ODEs) and partial differential equations (PDEs). The proposed trial solution of differential equa