混合概率答集程式設計：離散和連續隨機變數

本文提出了混合概率答集程式設計(HPASP)，這是一種擴展的概率答集程式設計框架，可以同時處理離散和連續隨機變數。作者提出了基於投射答集枚舉和知識編譯的精確算法，以及基於採樣的近似算法，並評估了它們的性能。實驗結果表明，知識編譯對提高性能有很大影響，而採樣算法可以處理更大的實例，但有時需要更多的內存。