tag:blogger.com,1999:blog-18648436.post6831201850736561154..comments2023-12-22T08:30:21.301+00:00Comments on Wading Through Treacle: John Cook on automated theorem proversNigel Seelhttp://www.blogger.com/profile/14407392760306614271noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-18648436.post-16541190480746380832017-01-15T12:13:33.588+00:002017-01-15T12:13:33.588+00:00RE: "Inference is everywhere..." ...
I ...RE: "Inference is everywhere..." ... <br />I suppose that one complication with this is that in the Big Data world "Inference" is often "Probabilistic/Bayesian Inference" rather than traditional logical inference. This takes us into the whole question, of course, of how and when and by what theory such techniques are necessary and useful.Royhttps://www.blogger.com/profile/17844610890344836500noreply@blogger.com