Methods of automated deductive reasoning. Foundations of logical and probabilistic methods of automated reasoning. Implement algorithms for logical and probabilistic reasoning, the role of negation in inference and ways to define it. Propositional logic, predicate logic, resolution proof, production systems, Prolog, uncertain reasoning, Bayesian decision theory, exact inference, approximate inference, Non-monotonic reasoning and negation, reasoning with big data and applications like proving properties of programs and circuit verification.
