Comparing Partial Consistencies

Collavizza, Hélène; Delobel, François; Rueher, Michel

doi:10.1007/978-94-017-1247-7_17

Cited by 38 publications

(43 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The most common local consistencies used in CCSPs, hull-consistency [81] (or 2B-consistency) and box-consistency [15,36] (or some variation of them), are based on arc-consistency [89], extensively used in finite domains. Arc-consistency eliminates a…”

Section: Consistenciesmentioning

confidence: 99%

Probabilistic constraint reasoning

Carvalho¹

2015

Constraints

View full text Add to dashboard Cite

perpétuo e sem limites geográficos, de arquivar e publicar esta dissertação através de exemplares impressos reproduzidos em papel ou de forma digital, ou por qualquer outro meio conhecido ou que venha a ser inventado, e de a divulgar através de repositórios científicos e de admitir a sua cópia e distribuição com objectivos educacionais ou de investigação, não comerciais, desde que seja dado crédito ao autor e editor.For Laura with love.My endless source of inspiration with her tender heart and ingenious mind. AcknowledgementsFor me, writing this thesis was like a long, long journey, with many ups and downs. In every step of the way I faced challenges that made me grow as a researcher and as a person. But the journey is coming to an end and is now time to remember and be grateful to those who crossed my path and helped me to achieve my goal in many different ways. Neste trabalho desenvolvemos um paradigma de restrições em domínios contínuos que associa um espaço probabilísticoàs variáveis do problema, permitindo efectuar raciocínio probabilístico. Tal raciocínio baseia-se na avaliação de informação probabilística que requer a computação de integrais multidimensionais em regiões possivelmente não lineares. São desenvolvidos algoritmos capazes de avaliar essa informação, usando técnicas de integração seguras ou aproximadas e dependendo de métodos de programação por restrições em domínios contínuos para obter coberturas da região de integração.A plataforma probabilística de restrições em domínios contínuosé adequada para suporteà decisão em problemas não lineares em domínios contínuos, com incerteza. A sua aplicabilidadeé ilustrada em problemas inversos e problemas de fiabilidade, que são duas classes distintas de problemas de engenharia, representativas do tipo de raciocínio com incerteza requerido pelos decisores.

show abstract

Section: Consistenciesmentioning

confidence: 99%

Probabilistic constraint reasoning

Carvalho¹

2015

Constraints

View full text Add to dashboard Cite

show abstract

“…Hence when x lie in the range [2,3], then x 2 lie in the range [4,16]. Using the property of the trigonometric function the interval evaluation of sin( [2,3] Note that the interval evaluation of a function depends on the analytical form used to define the function.…”

Section: A Interval Arithmeticsmentioning

confidence: 99%

“…Using the property of the trigonometric function the interval evaluation of sin( [2,3] Note that the interval evaluation of a function depends on the analytical form used to define the function. For example f (x) may also be written as (x − sin(x)) 2 whose interval evaluation for x in [2,3] is [1.1896,8.1731]. Note that 0 is not included in this evaluation: this implies that f cannot cancel for x in [2,3].…”

Section: A Interval Arithmeticsmentioning

confidence: 99%

See 1 more Smart Citation

Optimal design of robots

Merlet¹

2005

Robotics: Science and Systems I

View full text Add to dashboard Cite

Abstract-Synthesis of robots may be decomposed into two processes: structural synthesis (determine the general arrangement of the mechanical structure such as the type and number of joints and the way they will be connected) and dimensional synthesis (determine the length of the links, the axis and location of the joints, the necessary maximal joint forces/torques,. . .). The performances that may be obtained for a robot are drastically dependent on both synthesis. Although for serial robots general trends may be derived only from the structure a realistic comparison between two different structures may only be made after a careful dimensional synthesis and this is even more so for closed-loop robot (such as parallel robots).We will present a dimensional synthesis approach based on the design requirements that allows one to obtain almost all feasible design solutions that are guaranteed to satisfy the requirements, even taking into account manufacturing tolerances. Practical examples of 6-DOF robot design will be presented.

show abstract

“…Unfortunately it has been shown in [59] that strong consistency techniques do not have a good practical complexity. A formal comparison of consistency techniques can be found in [17]. …”

Section: Constraint Propagation and Strong Consistency Techniquesmentioning

confidence: 99%