JOONGBU UNIVERSITY LIBRARY

Contents Info

A Unifying Semantics for Markov Kernels and Linear Operators- [electronic resource]

Title/Author: A Unifying Semantics for Markov Kernels and Linear Operators - [electronic resource]

General Note: Source: Dissertations Abstracts International, Volume: 85-03, Section: B.

Restrictions on Access Note: This item must not be sold to any third party vendors.

Abstracts/Etc: 요약There has been much work done in developing semantic structures for interpreting probabilistic programs. In particular, there have been many models based either on Markov kernels or linear operators, each with their own set of strengths and weaknesses.Concurrently, mathematicians have been working on categorical semantics for probability theory with the goal of obtaining a more abstract understanding of the field. This has led to the definition of Markov categories, an abstraction of Markov kernels. However, a similar treatment to the linear operator approach to probability is currently eluded by existing methods.This thesis sits at the intersection of probabilistic semantics and categorical probability theory. We propose a new categorical semantics and core calculus that extends Markov categories with linear operators, we justify its viability by showing how many useful categories used in probabilistic semantics are instances of our framework and, furthermore, we define a new model inspired by a functional-analytic treatment of measure theory. We conclude by showing how this formalism can be used to reason about a generalized notion of probabilistic independence via a substructural type system.

Material
Reg No.	Call No.	Location	Status	Lend Info
TQ0027554	T	원문자료	열람가능/출력가능	열람가능/출력가능 마이폴더 부재도서신고

* Reservations are available in the borrowing book. To make reservations, Please click the reservation button

본문