Artificial Intelligence - UNIT 3-Topic 3-Predicate logic and logic programming
UNIT - III Topic 3 : Predicate Logic & Logic Programming Part A: Introduction ✅ What is Logic in AI? Logic is the foundation of reasoning in Artificial Intelligence. It allows AI systems to make decisions , derive conclusions , and prove facts using rules and facts . There are two main types of logic used in AI: Propositional Logic Predicate Logic (First-Order Logic) Part B: Predicate Logic (First-Order Logic) ✅ What is Predicate Logic? Predicate Logic , also called First-Order Logic (FOL) , is a powerful logic system that allows the representation of objects, properties, and relationships among objects. It is more expressive than Propositional Logic , which only deals with true or false statements . ✅ Components of Predicate Logic: Component Description Example Predicate Represents a property or relationship Loves(John, Mar...