Logic

Probabilistic Quantifier Logic for General Intelligence

Submitted by Singularitarian on Tue, 2012-05-08 13:03

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.).

Critical Thinking

Submitted by Singularitarian on Thu, 2011-12-15 07:15

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

Gödel, Escher, Bach: An Eternal Golden Braid

Submitted by Singularitarian on Sat, 2010-10-02 22:12
Image of Gödel, Escher, Bach: An Eternal Golden Braid
People: 
Douglas Hofstadter

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.