{"type":"ScholarlyArticle","title":"Probabilistic Knowledge-Based Programs","authors":[{"name":"Jérôme Lang","slug":"jerome-lang","given":"Jérôme","family":"Lang","affiliation":""},{"name":"Bruno Zanuttini","slug":"bruno-zanuttini","given":"Bruno","family":"Zanuttini","affiliation":""}],"abstract":"We introduce Probabilistic Knowledge-Based Programs (PKBPs), a new, compact representation of policies for factored partially observable Markov decision processes. PKBPs use branching conditions such as if the probability of Φ is larger than p, and many more. While similar in spirit to value-based policies, PKBPs leverage the factored representation for more compactness. They also cope with more general goals than standard state-based rewards, such as pure information-gathering goals. Compactness comes at the price of reactivity, since evaluating branching conditions on-line is not polynomial in general. In this sense, PKBPs are complementary to other representations. Our intended application is as a tool for experts to specify policies in a natural, compact language, then have them verified automatically. We study succinctness and the complexity of verification for PKBPs.","doi":null,"url":"https://ijcai.org/proceedings/2015/228","pdf":"https://ijcai.org/proceedings/2015/0228.pdf","markdown":"https://ijcai.org/proceedings/2015/228.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/228","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Planning","track":"Main Track","number":228,"pages":{"first":1594,"last":1599},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}