Satisfiability Symbolic AI
noun
Definition: The property of a logical formula (or set of constraints) being satisfiable, i.e., having at least one assignment of values that makes it true [Britannica ].
Example in context: “In addition to the purpose of determining the existence of failures (i.e., counterexamples to the satisfiability of desirable properties) in the deep learning model, statistical evaluation assesses the satisfiability of a property in a probabilistic way, by, e.g., aggregating sampling results.” [Huang et al. 2024]
Related terms: SAT, constraint satisfiability, satisfiable formula