Definition
A subfield of AI focused on developing computer programs that can mimic human logical reasoning and draw conclusions based on a set of formal premises.
In short: A subfield of AI focused on developing computer programs that can mimic human logical reasoning and draw conclusions based on a set of formal premises.