10. Logic

Author: Henry Zhu

Edited by: Peyrin Kao, Danial Toktarbayev, and Wesley Zheng

Credit: Some sections adapted from the textbook Artificial Intelligence: A Modern Approach.

Last updated: September 2024

10.1 A Knowledge Based Agent
10.2 The Language of Logic
10.3 Propositional Logic
10.4 Propositional Logical Inference
10.5 Theorem Proving
10.6 Forward Chaining
10.7 First Order Logic
10.8 First Order Logical Inference
10.9 Logical Agents
10.10 Summary

* * * * [10.1 A Knowledge Based Agent](/cs188/logic/knowledge.html) * [10.2 The Language of Logic](/cs188/logic/language.html) * [10.3 Propositional Logic](/cs188/logic/propositional.html) * [10.4 Propositional Logical Inference](/cs188/logic/inference.html) * [10.5 Theorem Proving](/cs188/logic/theorem.html) * [10.6 Forward Chaining](/cs188/logic/forward.html) * [10.7 First Order Logic](/cs188/logic/first-order-logic.html) * [10.8 First Order Logical Inference](/cs188/logic/first-order-logical-inference.html) * [10.9 Logical Agents](/cs188/logic/logical-agents.html) * [10.10 Summary](/cs188/logic/summary.html)