First Order Logic - HiIAmTzeKean/SC3000-Artificial-Intelligence GitHub Wiki

tags:

  • 🌱
  • AI
  • ComputerScience date: 02--Jan--2023

First Order Logic

Objects and predicates to represent properties. Upgrade from Propositional logic with greater flexibility.

Short-comings

Use of probability to model actual world forces representation over propositional world which is not expressive enough to create a general AI.

Links:

⚠️ **GitHub.com Fallback** ⚠️