Symbolic AI - Quantified Boolean Formulas in Logic

1234567891011121314
Across
  1. 3. To make practical use of a method or technique.
  2. 5. Foundational definitions or assumptions introduced before main results.
  3. 8. A relationship showing how one variable’s value is influenced by another.
  4. 11. A logical operator such as “for all” or “there exists.”
  5. 12. To compute or determine the value of an expression or formula.
  6. 14. The ability to achieve a result with minimal computational resources.
Down
  1. 1. A rectangular array often used to represent structured data or logical relations.
  2. 2. To extend a result or concept to a broader class of cases.
  3. 4. A specific mapping of truth values to variables in a Boolean formula.
  4. 6. The process of representing information in a specific formal structure.
  5. 7. To stand for or symbolize an object, concept, or logical structure.
  6. 9. Free from error; precise and correct in detail.
  7. 10. To confirm that a method or result is correct and consistent.
  8. 13. To reduce complexity while preserving essential structure.