TY - JOUR
T1 - Constraint propagation with interval labels
AU - Davis, Ernest
N1 - Funding Information:
Drew McDermott introduced me to the problems described here, and supervised much of my research on them I would also hke to thank Sanjaya Addankl, Phdlp Davis, Tom Dean, and the rewewers for their comments on an earher draft The work m this paper was supported m part by NSF grant DCR-8402309
PY - 1987/7
Y1 - 1987/7
N2 - Constraint propagation is often used in AI systems to perform inference about quantities. This paper studies one particular kind of constraint propagation, where quantities are labelled with signs or with intervals, and these labels are propagated through recorded constraints. We review the uses of such inference schemes in AI systems of various kinds, and evaluate their strengths and weaknesses. In particular, we determine the completeness and running time of constraint propagation for various kinds of labels and constraints.
AB - Constraint propagation is often used in AI systems to perform inference about quantities. This paper studies one particular kind of constraint propagation, where quantities are labelled with signs or with intervals, and these labels are propagated through recorded constraints. We review the uses of such inference schemes in AI systems of various kinds, and evaluate their strengths and weaknesses. In particular, we determine the completeness and running time of constraint propagation for various kinds of labels and constraints.
UR - http://www.scopus.com/inward/record.url?scp=0023386175&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0023386175&partnerID=8YFLogxK
U2 - 10.1016/0004-3702(87)90091-9
DO - 10.1016/0004-3702(87)90091-9
M3 - Article
AN - SCOPUS:0023386175
VL - 32
SP - 281
EP - 331
JO - Artificial Intelligence
JF - Artificial Intelligence
SN - 0004-3702
IS - 3
ER -