Constraint propagation with interval labels

Research output: Contribution to journalArticle

Abstract

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.

Original languageEnglish (US)
Pages (from-to)281-331
Number of pages51
JournalArtificial Intelligence
Volume32
Issue number3
DOIs
StatePublished - 1987

Fingerprint

Labels
artificial intelligence
Inference
Completeness

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computational Theory and Mathematics

Cite this

Constraint propagation with interval labels. / Davis, Ernest.

In: Artificial Intelligence, Vol. 32, No. 3, 1987, p. 281-331.

Research output: Contribution to journalArticle

@article{990de6be670e4a77901b8c1a7ba908ca,
title = "Constraint propagation with interval labels",
abstract = "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.",
author = "Ernest Davis",
year = "1987",
doi = "10.1016/0004-3702(87)90091-9",
language = "English (US)",
volume = "32",
pages = "281--331",
journal = "Artificial Intelligence",
issn = "0004-3702",
publisher = "Elsevier",
number = "3",

}

TY - JOUR

T1 - Constraint propagation with interval labels

AU - Davis, Ernest

PY - 1987

Y1 - 1987

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

VL - 32

SP - 281

EP - 331

JO - Artificial Intelligence

JF - Artificial Intelligence

SN - 0004-3702

IS - 3

ER -