Week 11-12: Predicate Logic

Predicate Logic. ... Predicate logic also embodies a set of systematic procedures for proving that certain formulae can or cannot be logically derived from others and such logical inference procedures have been used as the backbone for problem-solving systems in AI.

Download Files

lec.pptx (0.43 MB )

predicate-knowledge.pptx (0.60 MB )