First Order Logic (FOL) Tutorial - Predicate Calculus and Knowledge Reasoning

Dive into a comprehensive 16-minute tutorial on first order logic (FOL), also known as predicate calculus. Explore key concepts essential for knowledge and reasoning (KR), logic programming (LP), and knowledge graph reasoning. Learn about predicates, constants, variables, grounding, universal and existential quantification, and graphical representations of FOL. Benefit from the expertise of Paulo Shakarian from Arizona State University, who delivers this concise yet informative lecture. Access accompanying slides for further study and reference. Part of the Neuro Symbolic Channel, this tutorial bridges the gap between symbolic methods and deep learning, offering valuable insights for those interested in artificial intelligence, machine learning, and the pursuit of artificial general intelligence (AGI).

Tutorial: First Order Logic (FOL, Predicate Calculus)