(17) Hierarchical Constraint Parallel Solver: P-CHAL

	Machine:     Multi-PSI
	Environment: PIMOS
	Language:    GDCC
	Source Code: 17 KB
	Documents:   None

Overview

A parallel solver for constraint hierarchy which introduces hierarchy in terms of strength of constraints.

System Architecture

Function

Hierarchical constraint parallel solver P-CHAL is based on new programming paradigm "constraint programming" which allows user a high-level description in problem solving. P- CHAL is a parallel consrraint solver which manipulates various strength of constraints in various domains.

Parallel Solving of Constraint Hierarchy:
P-CHAL reduces computational costs by a bottom-up calculation of maximal consistent sets and parallel processing of GDCC.
Constraints Solvers for Various Domains
P-CHAL provides constraint solvers for non-linear algebraic equations and Boolean equations for various domains of users. User can specify various strength for these constraints.: P-CHAL reduces computational costs by a bottom-up calculation of maximal consistent sets and parallel processing of GDCC.
Constraints Solvers for Various Domains
P-CHAL provides constraint solvers for non-linear algebraic equations and Boolean equations for various domains of users. User can specify various strength for these constraints.: P-CHAL provides constraint solvers for non-linear algebraic equations and Boolean equations for various domains of users. User can specify various strength for these constraints.

Reference

Satoh,K.,"Formalizing Soft Constraints by Interpretation Ordering",Proceedings of the Ninth European Conference on Artificial Intelligence,pp.585 - 590,Stockholm,Sweden(1990).

FTP
- Hierarchical Constraint Parallel Solver: P-CHAL [24K]
www-admin@icot.or.jp

(17) Hierarchical Constraint Parallel Solver: P-CHAL

Overview

System Architecture

Function

Reference

FTP