Probabilistic Quantifier Logic for General Intelligence: An Indefinite Probabilities Approach

Authors: Matthew Iklé, Ben Goertzel
Year: 2008
Venue: Proceedings of the First AGI Conference, IOS Press
Links: PDF

Summary

Introduces indefinite probabilities into PLN's quantifier logic, enabling reasoning with uncertain quantification under probabilistic semantics.

Relevance to Hyperon

Extends PLN's foundational logic with quantifier handling, relevant to Hyperon's reasoning about uncertain generalizations and quantified statements.