Entailment is a binary relation between the truth structure (model) and sentences, which can be then extended to understanding the logical consequences of sets of sentences. (Every model of the set is also a model of the consequent.) Most mentions of “logical” things in ML papers don’t even mention entailment.
1 Notes/Hide
-
vaishakbelle reblogged this from vaishakbelle