A global collaboration of engineers, scientists, and other domain experts, funded by philanthropists,
building the gold standard of Artificial General Intelligence, for all of mankind.
Deduction will one day (I believe) be the new Machine Learning, in that it is arguably the easiest way to add additional cognition to an existing AI-based system, and to thereby derive additional value from it.
Following on from last month's talk (which introduced Formal Systems), this month's talk - on Friday 21 February - will look at Propositional Logic, including Natural Deduction theorem-proving, and its potential for automation.
If you missed last month's talk, PLEASE familiarise yourself with at least the last part (clip 6) of the video (The Big Mother AGI Framework - Part 02), which is a prerequisite for this month's talk.
Or, even better, (re-)watch the entire video series (Videos) to date! :-)
I look forward to seeing you all on the 21st!