Published May 2, 2024 | Version 1.0
Presentation Open

Elements of AI: Predicate Calculus

  • 1. ROR icon University of Piraeus
  • 2. ROR icon National and Kapodistrian University of Athens

Description

In Artificial Intelligence, first-order Logic is the most basic form of knowledge representation and the fundamental theory for almost all rule-based inference mechanisms. It is the direct translation if Logic and Boole Algerbra into programming primitives that can be formulated into such a programming language, like Prolog and LISP.
In this second lecture, Predicate Calculus is presented with the fundamental entities, functions and inference, including reasoning and resolution. The main difference with Propositional Calculus is that here we have the generalization of working with variables and groups of atoms. Hence, universal and existential descriptors come into play, so are the extra steps required to address these within the resolution process. This is the base of all "real" logic programming with variables and graph search algorithms.

Keywords: Machine Learning, Data Analytics, AI, Artificial Intelligence, lecture
Video: https://youtu.be/a8IunNAQ3qU

Files

02-AI_Predicate Calculus.pdf

Files (250.6 kB)

Name Size Download all
md5:ffd76153029cbb0f6b3a651144bcaf86
250.6 kB Preview Download