Semirings for Probabilistic and Neuro-Symbolic Logic Programming
Fuente:
arXiv
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914687995609088 |
|---|---|
| author | Derkinderen, Vincent Manhaeve, Robin Martires, Pedro Zuidberg Dos De Raedt, Luc |
| author_facet | Derkinderen, Vincent Manhaeve, Robin Martires, Pedro Zuidberg Dos De Raedt, Luc |
| contents | The field of probabilistic logic programming (PLP) focuses on integrating probabilistic models into programming languages based on logic. Over the past 30 years, numerous languages and frameworks have been developed for modeling, inference and learning in probabilistic logic programs. While originally PLP focused on discrete probability, more recent approaches have incorporated continuous distributions as well as neural networks, effectively yielding neural-symbolic methods. We provide a unified algebraic perspective on PLP, showing that many if not most of the extensions of PLP can be cast within a common algebraic logic programming framework, in which facts are labeled with elements of a semiring and disjunction and conjunction are replaced by addition and multiplication. This does not only hold for the PLP variations itself but also for the underlying execution mechanism that is based on (algebraic) model counting. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_13782 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Semirings for Probabilistic and Neuro-Symbolic Logic Programming Derkinderen, Vincent Manhaeve, Robin Martires, Pedro Zuidberg Dos De Raedt, Luc Artificial Intelligence The field of probabilistic logic programming (PLP) focuses on integrating probabilistic models into programming languages based on logic. Over the past 30 years, numerous languages and frameworks have been developed for modeling, inference and learning in probabilistic logic programs. While originally PLP focused on discrete probability, more recent approaches have incorporated continuous distributions as well as neural networks, effectively yielding neural-symbolic methods. We provide a unified algebraic perspective on PLP, showing that many if not most of the extensions of PLP can be cast within a common algebraic logic programming framework, in which facts are labeled with elements of a semiring and disjunction and conjunction are replaced by addition and multiplication. This does not only hold for the PLP variations itself but also for the underlying execution mechanism that is based on (algebraic) model counting. |
| title | Semirings for Probabilistic and Neuro-Symbolic Logic Programming |
| topic | Artificial Intelligence |
| url | https://arxiv.org/abs/2402.13782 |