CSCE 476/876, Spring 2015, Glossary 9

Assigned: Monday, March 30, 2015.
Due:   Monday, April 6, 2015.
Note: Glossaries are optional but help you improve your grade. For word definition, do not limit yourself to AIMA. Check the reference books in the library and on-line resources.
  1. And-elimination
  2. Assertion
  3. Arity (of a relation or a function)
  4. Atomic sentences
  5. Axiom
  6. Backward chaining
  7. Biconditional
  8. Horn clause:
  9. Complementary literals
  10. Compositionality
  11. Conjunctive normal form
  12. Data driven
  13. Deduction theorem
  14. Fixed point
  15. Forward chaining
  16. Goal-directed reasoning
  17. k-CNF
  18. Literal
  19. Logical connectives
  20. Logical equivalence
  21. Modus ponens
  22. Monotonicity (of inference)
  23. Predicate symbol
  24. Premise
  25. Propositional logic
  26. Proposition symbol
  27. Reduction ad absurdum
  28. Refutation completeness
  29. Resolution
  30. Resolution closure
  31. Satisfiability
  32. Tautology
  33. Term
  34. Theorem
  35. Truth table
  36. Unit clause
  37. Validity
Berthe Y. Choueiry
choueiry@cse.unl.edu