---

tags:

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

---

Logic = Representation + NTU Vault/Machine Learning/Inference Representation = Syntax + Semantic

Mechanical reasoning

• Uses if and then construct to formulate semantics
• Uses conditions and substitution to infer Deductive inference Inductive inference

• Formal logic
• Propositional logic
• First Order Logic
• Temporal logic
• Fuzzy logic

---

Links: Knowledge reasoning