The inference-based methods in AI qre more likely to he of the "probabilistic graphical models" variety (there are already marriages of Bayesian and Deep Learning techniques), and less likely to be of the "first order predicate calculus" variety. We humans don't have a particularly strong logical inference engine either - unless properly trained, people make the silliest logical mistakes and arrive at wrong conclusions all the time.
Right, I meant "prolog-style formal inference engine". My point is that this "human imperfection" also present in probabilistic engines have artifacts that are fundamentally at odds with many business requirements where we are attempting to shoehorn then.
It's almost more of a cultural issue than a technical one. The level of explainability currently desired from automated systems is possibly not achievable, simply because we want to uphold them to a different standard.
Sensitivity and recall are two names for the same thing, Mr Stats 101 :)
Also, please explain the problem with using ROC here. The probabilistic interpretation of ROC's AUC is the probability of correctly ranking a random mixed pair (i.e. ranking the positive example higher than a negative one). How is that metric affected by the 80/20 split of the test data? Genuinely curios here...
The halting problem only says that a program cannot decide every possible program, it does not say much about the programs you are likely to write day to day for the vast majority of programmers.
‘Less bad’ here compares one valuation of Facebook's actions to a previous one, whereas ‘equally bad’ compares Facebook's actions to those of Buzzfeed. So they can be both true (regardless of whether they actually are).
By "less bad", I thought the comment was saying that Google/etc. actions are less objectionable. That's what I don't think is true. If I have misunderstood, then I apologize.
Same with Armenian: I can read and understand 5th century texts simply as an educated native speaker. It probably has to do with how much the culture relies on its written texts (because there are spoken dialects of Armenian that I dom't understand at all, while having no trouble with the written dialect from 1500 years ago)