Automated reasoning Symbolic AI
noun phrase
Definition: A branch of artificial intelligence and logic concerned with developing methods and software that enable computers to perform logical inference, prove theorems, and derive conclusions automatically from formal representations of knowledge [AWS Glossary].
Example in context: “By contrast, Inductive Logic Programming (ILP) relies on logical inference and uses techniques from automated reasoning and knowledge representation.” [Cropper, Dumancic 2021]
Related terms: automated deduction; theorem proving; logical inference; formal verification