Logical agents & propositional logic
The explanation is being written.
Sources and connections are already here. The explanation will say what it is, what it is for and how to do it.
Timeline
- 1962Davis, Logemann and Loveland: a machine program for theorem-proving. source