Assertion: automated reasoning | /r/CapableOf | use logic
Facets:
Source sentences:
text: Automated reasoning can also use logic in the form of reasoning through analogy, induction, abduction and non-monotonic reasoning.