What is the difference between logical and semantic entailment? How is it different from equality and implication? Induction, unlike deduction, generates new knowledge, but how can we best approximate human induction algorithmically?
The Geometry of Information Retrieval fails to make clear its discussion of logic and how logical relations are related to information retrieval. As such, I'll be working through Logic for Mathematicians and Logic, Induction and Sets, before returning to The Geometry of Information Retrieval.
Search This Blog