Uncertain Term Logic

From AGIRI.org

Varieties of uncertain term logic include

• the logic underlying Pei Wang's NARS AGI system
• Probabilistic Logic Networks which also includes some aspects of predicate logic