Till Örebro universitet

oru.seÖrebro universitets publikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Stochastic Constraint Programming with And-Or Branch-and-Bound
Department of Computer Science, KU Leuven, Belgium.
Department of Computer Science, KU Leuven, Belgium; Department of Business Technology and Operations, VUB, Belgium.
Department of Computer Science, KU Leuven, Belgium.ORCID-id: 0000-0002-6860-6303
2017 (Engelska)Ingår i: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, AAAI Press, 2017, s. 539-545Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Complex multi-stage decision making problems often involve uncertainty, for example, regarding demand or processing times. Stochastic constraint programming was proposed as a way to formulate and solve such decision problems, involving arbitrary constraints over both decision and random variables. What stochastic constraint programming currently lacks is support for the use of factorized probabilistic models that are popular in the graphical model community. We show how a state-of-the-art probabilistic inference engine can be integrated into standard constraint solvers. The resulting approach searches over the And-Or search tree directly, and we investigate tight bounds on the expected utility objective. This significantly improves search efficiency and outperforms scenario-based methods that ground out the possible worlds.

Ort, förlag, år, upplaga, sidor
AAAI Press, 2017. s. 539-545
Nyckelord [en]
Constraints and Satisfiability: Solvers and Tools, Constraints and Satisfiability: Other approaches, Constraints and Satisfiability: Constraint Optimisation
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:oru:diva-91171DOI: 10.24963/ijcai.2017/76ISI: 000764137500076Scopus ID: 2-s2.0-85028700151ISBN: 9780999241103 (tryckt)OAI: oai:DiVA.org:oru-91171DiVA, id: diva2:1545183
Konferens
26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia, August 19-25, 2017
Tillgänglig från: 2021-04-19 Skapad: 2021-04-19 Senast uppdaterad: 2025-01-20Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

De Raedt, Luc

Sök vidare i DiVA

Av författaren/redaktören
De Raedt, Luc
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 217 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf