Probabilistic Logic Networks: A Comprehensive Framework for Uncertain Inference

Authors: Ben Goertzel, Matthew Iklé, Izabela Freire Goertzel, Ari Heljakka
Year: 2009
Publisher: Springer
Links: Free PDF

Summary

The foundational text for Probabilistic Logic Networks (PLN), presenting a comprehensive framework that integrates probabilistic reasoning with first-order logic. Covers truth value types, inference rules (deduction, induction, abduction, etc.), and the mathematical foundations for uncertain reasoning.

Relevance to Hyperon

PLN is one of the core reasoning components in the Hyperon architecture. This book defines the inference rules and truth value algebra that are being reimplemented in MeTTa as part of the Hyperon PLN module.