The generalised distribution semantics and projective families of distributions

التفاصيل البيبلوغرافية
العنوان: The generalised distribution semantics and projective families of distributions
المؤلفون: Weitkämper, Felix
المصدر: Journal of Logical and Algebraic Methods in Programming 139:100975 (2024)
سنة النشر: 2022
المجموعة: Computer Science
مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Databases, Computer Science - Programming Languages
الوصف: We generalise the distribution semantics underpinning probabilistic logic programming by distilling its essential concept, the separation of a free random component and a deterministic part. This abstracts the core ideas beyond logic programming as such to encompass frameworks from probabilistic databases, probabilistic finite model theory and discrete lifted Bayesian networks. To demonstrate the usefulness of such a general approach, we completely characterise the projective families of distributions representable in the generalised distribution semantics and we demonstrate both that large classes of interesting projective families cannot be represented in a generalised distribution semantics and that already a very limited fragment of logic programming (acyclic determinate logic programs) in the determinsitic part suffices to represent all those projective families that are representable in the generalised distribution semantics at all.
نوع الوثيقة: Working Paper
DOI: 10.1016/j.jlamp.2024.100975
URL الوصول: http://arxiv.org/abs/2211.06751
رقم الأكسشن: edsarx.2211.06751
قاعدة البيانات: arXiv
الوصف
DOI:10.1016/j.jlamp.2024.100975