Logic
Probabilistic Quantifier Logic for General Intelligence
Indefinite probabilities are a novel technique for quantifying uncertainty, which were created as part of the PLN (Probabilistic Logic Networks)
logical inference engine, which is a key component of the Novamente Cognition Engine (NCE), an integrative AGI system. Previous papers have discussed the use of indefinite probabilities in the context of a variety of logical inference rules, but have omitted discussion of quantification. Here, in this presentation by Matthew Ikle on the paper by the speaker and Ben Goertzel, delivered at the AGI-08 Conference on Artificial General Intelligence, this gap is filled. A mathematical procedure is provided allowing the propagation of indefinite
probabilities through universal and existential quantifiers, and also through a variety of fuzzy quantifiers corresponding to natural language quantifiers (such as “few”, “man”, “a lot”, “hardly any”, etc.).
- 56 reads
Critical Thinking
The resource covers basic logic and faulty arguments, developing student's critical thinking skills.
Animated and directed by James Hutson, Bridge8.
Written by Mike Mcrae and James Hutson
- 236 reads
Gödel, Escher, Bach: An Eternal Golden Braid

Twenty years after it topped the bestseller charts, Douglas R. Hofstadter's Gödel, Escher, Bach: An Eternal Golden Braid is still something of a marvel. Besides being a profound and entertaining meditation on human thought and creativity, this book looks at the surprising points of contact between the music of Bach, the artwork of Escher, and the mathematics of Gödel. It also looks at the prospects for computers and artificial intelligence (AI) for mimicking human thought.
- Read more
- 417 reads