Constraint Propagation with Interval Labels

  title={Constraint Propagation with Interval Labels},
  author={Ernest Davis},
  journal={Artif. Intell.},
Constramt propagatton ts often used tn AI systems to perform mference about quanttttes Thts paper studtes one parttcular kmd of constramt propagatzon, where quanttttes are labelled wtth stgns or wtth mtervals, and these labels are propagated through recorded constraints We review the uses of such mference schemes m AI systems of vartous kmds, and evaluate thetr strengths and weaknesses In parttcular, we determme the completeness and runnmg time of constratnt propagatton for vartous kmds of… CONTINUE READING