Constraint propagation with interval labels
From MaRDI portal
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.
Recommendations
Cites work
- An approach to nonlinear programming
- Consistency in networks of relations
- Deciding Linear Inequalities by Computing Loop Residues
- scientific article; zbMATH DE number 3880009 (Why is no real title available?)
- scientific article; zbMATH DE number 43240 (Why is no real title available?)
- scientific article; zbMATH DE number 3511563 (Why is no real title available?)
- scientific article; zbMATH DE number 3599517 (Why is no real title available?)
- scientific article; zbMATH DE number 3639144 (Why is no real title available?)
- scientific article; zbMATH DE number 3043879 (Why is no real title available?)
- Inferring the positions of bodies from specified spatial relationships
- Maintaining knowledge about temporal intervals
- On the Foundations of Relaxation Labeling Processes
- Some undecidable problems involving elementary functions of a real variable
- Symbolic reasoning among 3-D models and 2-D images
- Synthesizing constraint expressions
Cited in
(58)- Tightened reachability constraints for the verification of linear hybrid systems
- Applications of polyhedral computations to the analysis and verification of hardware and software systems
- Some fundamental properties of local constraint propagation
- Temporal constraint networks
- Propagating belief functions through constraint systems
- A canonical form for generalized linear constraints
- The logic of constraint satisfaction
- Constraint reasoning based on interval arithmetic: The tolerance propagation approach
- A methodology for the reduction of imprecision in the engineering process
- On the analytic representation of the Leximin ordering and its application to flexible constraint propagation
- Arc-consistency for continuous variables
- Knowledge-based system for the completion of traffic data
- Model-based inference in CHARME.
- Theoretical and numerical constraint-handling techniques used with evolutionary algorithms: A survey of the state-of-the-art
- Qualitative and quantitative simulation: bridging the gap
- Constraint propagation techniques for the disjunctive scheduling problem
- Local search with constraint propagation and conflict-based heuristics
- Accelerating filtering techniques for numeric CSPs
- Nonlinear bounded-error state estimation of continuous-time systems
- Domain reduction techniques for global NLP and MINLP optimization
- A rigorous global filtering algorithm for quadratic constraints
- On the computational complexity of querying bounds on differences constraints
- Computational systems for qualitative economics
- On the usage of qualitative reasoning as an approach towards enterprise modelling
- Minimal model semantics for sorted constraint representation
- The essence of constraint propagation
- Sums and products of intervals in ordered groups and fields
- Two-row and two-column mixed-integer presolve using hashing-based pairing methods
- On handling indicator constraints in mixed integer programming
- Bound reduction using pairs of linear inequalities
- Thick set inversion
- Control of perceptual attention in robot driving
- Guaranteed non-linear estimation using constraint propagation on sets
- NUMERICAL METHODS FOR FUZZY INITIAL VALUE PROBLEMS
- An Analysis of Slow Convergence in Interval Propagation
- scientific article; zbMATH DE number 176880 (Why is no real title available?)
- scientific article; zbMATH DE number 683340 (Why is no real title available?)
- scientific article; zbMATH DE number 1975073 (Why is no real title available?)
- Guaranteed recursive non-linear state bounding using interval analysis
- Nonlinear state estimation using forward-backward propagation of intervals in an algorithm
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
- Reverse propagation of McCormick relaxations
- From LP to LP: Programming with constraints
- Language-Based Abstraction Refinement for Hybrid System Verification
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- scientific article; zbMATH DE number 4187151 (Why is no real title available?)
- Integrating operations research in constraint programming
- Integrating operations research in constraint programming
- Interval constraint propagation with application to bounded-error estimation
- Temporal representation and reasoning in artificial intelligence: A review
- Solving continuous and discrete nonlinear programs with BARON
- Set membership parameter estimation of fractional models based on bounded frequency domain data
- Optimal contractor for n-gons constraint
- Simulation of hybrid circuits in constraint logic programming
- Incorporating bounds from decision diagrams into integer programming
- Contractor programming
- Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness
- Constraint propagation, relational arithmetic in AI systems and mathematical programs
This page was built for publication: Constraint propagation with interval labels
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1101265)
