• DocumentCode
    2925787
  • Title

    Extending GENET for non-binary CSP´s

  • Author

    Lee, J.H.M. ; Leung, H.F. ; Won, H.W.

  • Author_Institution
    Dept. of Comput. Sci. & Eng., Chinese Univ. of Hong Kong, Shatin, Hong Kong
  • fYear
    1995
  • fDate
    5-8 Nov 1995
  • Firstpage
    338
  • Lastpage
    343
  • Abstract
    GENET has been shown to be efficient and effective on certain hard or large constraint satisfaction problems. Although GENET has been enhanced to handle also the atmost and illegal constraints in addition to binary constraints, it is deficient in handling non binary constraints in general. We present E-GENET, an extended GENET. E-GENET features a convergence and learning procedure similar to that of GENET and a generic representation scheme for general constraints, which range from disjunctive constraints to non linear constraints to symbolic constraints. We have implemented an efficient prototype of E-GENET for single processor machines. Benchmarking results confirms the efficiency and flexibility of E-GENET. Our implementation also compares well against CHIP, PROCLANN, and GENET
  • Keywords
    constraint handling; constraint theory; knowledge representation; CHIP; E-GENET; GENET; PROCLANN; binary constraints; disjunctive constraints; general constraints; generic representation scheme; illegal constraints; large constraint satisfaction problems; learning procedure; non binary constraints; non-binary CSPs; single processor machines; symbolic constraints; Artificial intelligence; Computer science; Computer vision; Convergence; Iterative algorithms; Job shop scheduling; Large-scale systems; Logic programming; Processor scheduling; Prototypes;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Tools with Artificial Intelligence, 1995. Proceedings., Seventh International Conference on
  • Conference_Location
    Herndon, VA
  • ISSN
    1082-3409
  • Print_ISBN
    0-8186-7312-5
  • Type

    conf

  • DOI
    10.1109/TAI.1995.479651
  • Filename
    479651