Чи рівно, чи відома денотаційна семантика для ймовірнісних мов програмування вищого порядку? Зокрема, чи існує доменна модель чистого нетипізованого -calculus, розширена симетричною операцією випадкового бінарного вибору.
Мотивація
Декартові закриті категорії надають семантику вищому порядку -calculi. Імовірнісні силовідомени надають семантику стохастичним програмам. CCC, закритий під імовірною операцією powerdomain, надав би семантику стохастичній мові програмування вищого порядку.
Супутні роботи
Tix, Keimel і Plotkin (2004) [1] дають сучасні побудови операцій доменного нижнього, верхнього та опуклого, але зауважують, що
Все ще залишається відкритою проблемою, чи існує декартова закрита категорія безперервних доменів, яка закрита під побудову ймовірнісних силовихдомен.
Mislove (2013) [2,3] дає семантику для безперервних випадкових змінних мовою першого порядку, але зауважує це
Навіть незважаючи на те, що ймовірнісна потужність області залишає ССС спрямованих повних постів (dcpos, коротко) та безперервних Скотт-карт інваріантними, не існує декартової закритої категорії доменів - dcpos, що задовольняє звичайному припущенню апроксимації - яка, як відомо, є інваріантною ця конструкція. Найкраще, що відомо, це те, що категорія когерентних доменів інваріантна за монадою ймовірнісного вибору [4], але ця категорія не є декартовою.
Список літератури
- Регіна Тікс, Клаус Кеймель та Гордон Плоткін (2004) "Семантичні області для поєднання ймовірності та недетермінізму" .
- Майкл Міслов (2013) "Анатомія області безперервних випадкових величин I"
- Майкл Міслов (2013) "Анатомія області безперервних випадкових змінних II"
- Юнг, А. та Р. Тікс (1998) "Смутний ймовірнісний силовийдомен"