Representing knowledge symbolically in a form suitable for automated reasoning, and associated reasoning methods. Topics from: first-order logic, entailment, the resolution method, Horn clauses, procedural representations, production systems, description logics, inheritance networks, defaults and probabilities, tractable reasoning, abductive explanation, the representation of action, planning.
Automatically Turn Your Notes Into Practice Tests
Convert your notes into multiple-choice questions using AI so you can quiz yourself on Questionate!