Vijay Chandru

Academic

Artificial Intelligence

Automated Theorem Proving, the cornerstone of “Strong AI”, refers to the ability to create intelligent machines that can implement the formal rules of deductive inference (modus ponens and modus tollens) and derive formal inferences from a set of axioms.