Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Deduction and Inference
Are Deduction (⊢) and Inference (⊢?) the same thing? Because in the exam from 2016/17 in part 4 it is asked for Entailment and Inference, but in this situation I would have said Deduction instead of Inference. Inference for me means Equality and Tightness of Constraint networks. Maybe I got something wrong?
1 „Gefällt mir“
Context matters. In the context of formal logic, deduction and inference refer to the same thing. In the context of CSPs, inference is a different beast entirely.
1 „Gefällt mir“
Ah! Thanks!