Topic summary
Logical inference
Extracted from the Wikipedia article Inference.
Inference engines
AI systems first provided automated logical inference and these were once extremely popular research topics, leading to industrial applications under the form of expert systems and later business rule engines. More recent work on automated theorem proving has had a stronger basis in formal logic.