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.