Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Probabilistic Constraints for Reliability Problems
March 2010
CCB10a
Reliability quantifies the ability of a system to perform its required function under stated conditions. The reliability of a decision is usually represented as the probability of an adequate functioning of the system where both the decision and uncontrollable variables are subject to uncertainty. In this paper we extend previous work on probabilistic constraint programming to compute such reliability, assuming probability distributions for the uncertain values. Usually this computation is very hard and requires a number of approximations, thus the computed value may be far from the exact one. Traditional methods do not provide any guarantees with respect to correctness of the results provided. We guarantee the computation of safe bounds for the reliability of a decision, which is of major relevance for problems dealing with non-linear constraints.
In proceedings
Elsa Carvalho, Jorge Cruz, Pedro Barahona
Proceedings of the 2010 ACM Symposium on Applied Computing
-
ACM
-
-
2055-2060
978-1-60558-639
-
-
-
Export formats
Elsa Carvalho and Jorge Cruz and Pedro Barahona, Probabilistic Constraints for Reliability Problems, , Proceedings of the 2010 ACM Symposium on Applied Computing, ACM, ISBN 978-1-60558-639, Pag. 2055-2060, March 2010.
<a href="/people/members/view.php?code=8d1b2918d558af8e9308270b485b62a8" class="author">Elsa Carvalho</a>, <a href="/people/members/view.php?code=3f6f0c9973cdaeab1a3dd815682bb0ac" class="author">Jorge Cruz</a> and <a href="/people/members/view.php?code=7e27bc13fad97e99cd21ea6914d55659" class="author">Pedro Barahona</a>, <b>Probabilistic Constraints for Reliability Problems</b>, <u>Proceedings of the 2010 ACM Symposium on Applied Computing</u>, <a href="http://www.acm.org/pubs/" title="Link to external entity..." target="_blank" class="publisher">ACM</a>, ISBN 978-1-60558-639, Pag. 2055-2060, March 2010.
@inproceedings {CCB10a, author = {Elsa Carvalho and Jorge Cruz and Pedro Barahona}, title = {Probabilistic Constraints for Reliability Problems}, booktitle = {Proceedings of the 2010 ACM Symposium on Applied Computing}, publisher = {ACM}, pages = {2055-2060}, isbn = {978-1-60558-639}, abstract = {Reliability quantifies the ability of a system to perform its required function under stated conditions. The reliability of a decision is usually represented as the probability of an adequate functioning of the system where both the decision and uncontrollable variables are subject to uncertainty. In this paper we extend previous work on probabilistic constraint programming to compute such reliability, assuming probability distributions for the uncertain values. Usually this computation is very hard and requires a number of approximations, thus the computed value may be far from the exact one. Traditional methods do not provide any guarantees with respect to correctness of the results provided. We guarantee the computation of safe bounds for the reliability of a decision, which is of major relevance for problems dealing with non-linear constraints.}, month = {March}, year = {2010}, }
Publication's urls
/publications/view.php?code=ba527f1f19d43a7ed5fbc7de87a16db5
/publications/view.php?code=CCB10a
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT