L773:0888 613X OR L773:1873 4731
Sökning: L773:0888 613X OR L773:1873 4731 > Semirings for proba...
Semirings for probabilistic and neuro-symbolic logic programming
-
- Derkinderen, Vincent (författare)
- DTAI, Dept. of Computer Science, KU Leuven, Leuven, Belgium; Leuven.AI - KU Leuven Institute for AI, Belgium
-
- Manhaeve, Robin (författare)
- DTAI, Dept. of Computer Science, KU Leuven, Leuven, Belgium; Leuven.AI - KU Leuven Institute for AI, Belgium
-
- Zuidberg dos Martires, Pedro, 1990- (författare)
- Örebro universitet,Institutionen för naturvetenskap och teknik,Center for Applied Autonomous Sensor Systems (AASS)
- visa fler...
- visa färre...
- DTAI, Dept of Computer Science, KU Leuven, Leuven, Belgium; Leuven.AI - KU Leuven Institute for AI, Belgium Institutionen för naturvetenskap och teknik (creator_code:org_t)
- Elsevier, 2024
- 2024
- Engelska.
- Ingår i: International Journal of Approximate Reasoning. - : Elsevier. - 0888-613X .- 1873-4731. ; 171
- Tidskriftsartikel (refereegranskat)
Abstract
Ämnesord
Stäng
- 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 neurosymbolic methods. We provide an overview and synthesis of this domain, thereby contributing a unified algebraic perspective on the different flavors of 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. In order to showcase and explain this unified perspective, we focus on the ProbLog language and its extensions.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Probabilistic logic programming
- Neuro-symbolic AI
- Semiring programming
- Model counting
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
- International Journal of Approximate Reasoning (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
Hitta mer i SwePub
- Av författaren/redakt...
- Derkinderen, Vin ...
- Manhaeve, Robin
- Zuidberg dos Mar ...
- De Raedt, Luc, 1 ...
- Om ämnet
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- och Datavetenskap
- Artiklar i publikationen
- International Jo ...
- Av lärosätet
- Örebro universitet
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
