Sökning: onr:"swepub:oai:DiVA.org:oru-96661" >
Approximate Inferen...
Approximate Inference for Neural Probabilistic Logic Programming
-
- Manhaeve, Robin (författare)
- KU Leuven, Dept. of Computer Science, Leuven.AI, Belgium
-
- Marra, Giuseppe (författare)
- KU Leuven, Dept. of Computer Science, Leuven.AI, Belgium
-
- De Raedt, Luc, 1964- (författare)
- Örebro universitet,Institutionen för naturvetenskap och teknik,KU Leuven, Dept. of Computer Science, Leuven.AI, Belgium,AASS
-
KU Leuven, Dept of Computer Science, Leuven.AI, Belgium Institutionen för naturvetenskap och teknik (creator_code:org_t)
- California : International Joint Conferences on Artificial Intelligence Organization, 2021
- 2021
- Engelska.
-
Ingår i: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning. - California : International Joint Conferences on Artificial Intelligence Organization. - 9781956792997 ; , s. 475-486
- Relaterad länk:
-
https://doi.org/10.2...
-
visa fler...
-
https://lirias.kuleu...
-
https://urn.kb.se/re...
-
https://doi.org/10.2...
-
visa färre...
Abstract
Ämnesord
Stäng
- DeepProbLog is a neural-symbolic framework that integrates probabilistic logic programming and neural networks.It is realized by providing an interface between the probabilistic logic and the neural networks.Inference in probabilistic neural symbolic methods is hard, since it combines logical theorem proving with probabilistic inference and neural network evaluation.In this work, we make the inference more efficient by extending an approximate inference algorithm from the field of statistical-relational AI. Instead of considering all possible proofs for a certain query, the system searches for the best proof.However, training a DeepProbLog model using approximate inference introduces additional challenges, as the best proof is unknown at the start of training which can lead to convergence towards a local optimum.To be able to apply DeepProbLog on larger tasks, we propose: 1) a method for approximate inference using an A*-like search, called DPLA* 2) an exploration strategy for proving in a neural-symbolic setting, and 3) a parametric heuristic to guide the proof search.We empirically evaluate the performance and scalability of the new approach, and also compare the resulting approach to other neural-symbolic systems.The experiments show that DPLA* achieves a speed up of up to 2-3 orders of magnitude in some cases.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- KR and machine learning
- inductive logic programming
- knowledge acquisition
- Logic programming
- answer set programming
- Computer Science
- Datavetenskap
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas