Foundations of Probabilistic Logic Programming

Languages, Semantics, Inference and Learning
2. Auflage 2023
ISBN: 978-87-7022-719-3
Verlag: River Publishers

Buch, Englisch, 548 Seiten, Format (B × H): 161 mm x 240 mm, Gewicht: 1420 g

Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for inference and learning.

This book aims at providing an overview of the field with a special emphasis on languages under the Distribution Semantics, one of the most influential approaches. The book presents the main ideas for semantics, inference, and learning and highlights connections between the methods.

Many examples of the book include a link to a page of the web application http://cplint.eu where the code can be run online.

This 2nd edition aims at reporting the most exciting novelties in the field since the publication of the 1st edition. The semantics for hybrid programs with function symbols was placed on a sound footing. Probabilistic Answer Set Programming gained a lot of interest together with the studies on the complexity of inference. Algorithms for solving the MPE and MAP tasks are now available. Inference for hybrid programs has changed dramatically with the introduction of Weighted Model Integration.

With respect to learning, the first approaches for neuro-symbolic integration have appeared together with algorithms for learning the structure for hybrid programs.

Moreover, given the cost of learning PLPs, various works proposed language restrictions to speed up learning and improve its scaling.

Zielgruppe

Postgraduate

Autoren/Hrsg.

Riguzzi, Fabrizio

Fachgebiete

• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
• Naturwissenschaften Physik Mechanik Energie
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering
• Mathematik | Informatik Mathematik Stochastik

Inhaltsverzeichnis

1. Preliminaries 2. Probabilistic Logic Programming Languages 3. Semantics with Function Symbols 4. Hybrid Programs 5. Semantics for Hybrid Programs with Function Symbols 6. Probabilistic Answer Set Programming 7. Complexity of Inference 8. Exact Inference 9. Lifted Inference 10. Approximate Inference 11. Non-Standard Inference 12. Inference for Hybrid Programs 13. Parameter Learning 14. Structure Learning 15. cplint Examples 16. Conclusions

Über Autor(innen)

Fabrizio Riguzzi is Full Professor of Computer Science at the Department of Mathematics and Computer Science of the University of Ferrara. He was previously Associate Professor and Assistant Professor at the same university. He obtained his Masters and PhD in Computer Engineering from the University of Bologna. Fabrizio Riguzzi is Editor in Chief of Intelligenza Artificiale, the official journal of the Italian Association for Artificial Intelligence. He is the author of more than 200 peer reviewed papers in the areas of machine learning, inductive logic programming and statistical relational learning. His aim is to develop intelligent systems by combining in novel ways techniques from artificial intelligence, logic and statistics.