Experimental PLN for Hyperon

Overview

This repository contains a number of experiments about Probabilistic Logic Networs (PLN). For a more production-ready version one may go to the PLN repository instead.

Prerequisites

• hyperon-experimental
• Maxima

Description

There are two main subfolders

• docs containing various writings about PLN including
  • Manuscript meant to provide complete mathematical foundations of PLN using a global universal distribution, nuPLN.
  • Descriptions of use cases of PLN such as next-token-prediction experiments.
  • Random notes taken during brainstorming sessions.
• experimental containing various experiments regarding PLN chaining and truth value formula calculations, further detailed in a README.md file under it.

References

Below is a list of references to know more about PLN and its port to Hyperon/MeTTa:

• PLN Book
• PLN for Procedural and Temporal Reasoning
• Presentation of the synthesizer at AGI-23