Deductive inference - HiIAmTzeKean/SC3000-Artificial-Intelligence GitHub Wiki

tags:

  • 🌱
  • AI
  • ComputerScience date: 08--Mar--2023

Deductive inference

Given a rule, and condition. Makes uses of Modus ponens to infer consequent. Always produces Sound Logic.

Links: Inference

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