1 of many reasons we're taking a Logical/Symbolic AI approach. Mechanization of logical reasoning:. Finding contradictions.

13 Feb 2023, 08:22
1 of many reasons we're taking a Logical/Symbolic AI approach. Mechanization of logical reasoning: 🔹Finding contradictions. 🔹Determining whether a conclusion follows from given assumptions. 🔹Guaranteeing that specific undesired outcomes never occur.