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!
Contact: media enquiries — billing enquiries — all other enquiries