tag:blogger.com,1999:blog-18648436.post4901703861053256032..comments2023-12-22T08:30:21.301+00:00Comments on Wading Through Treacle: Imperial College: automated theorem proving & neural netsNigel Seelhttp://www.blogger.com/profile/14407392760306614271noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-18648436.post-45801673050219257052017-01-27T13:34:26.264+00:002017-01-27T13:34:26.264+00:00The Logic presented in Lecture 7 is strongly Class...The Logic presented in Lecture 7 is strongly Classical: ¬¬P = P and ¬P v P = True. One may need to reflect on how universally applicable this is in the full AI context (e.g. Databases with incomplete information, etc).Royhttps://www.blogger.com/profile/17844610890344836500noreply@blogger.com