CSCE 476/876, Spring 2004, Glossary 10

Assigned:  Wed, April 14, 2004.
Due:  Monday April 19, 2004.
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. Atomic sentences
  3. Backward chaining
  4. Biconditional
  5. Body (of a Horn clause)
  6. Complementary literals
  7. Conjunctive normal form
  8. Data driven
  9. Deduction theorem
  10. Definite clauses
  11. Factoring
  12. Fixed point
  13. Forward chaining
  14. Goal-directed reasoning
  15. Head (of a Horn clause)
  16. Horn clauses
  17. k-CNF
  18. Literal
  19. Logical connectives
  20. Logical equivalence
  21. Modus ponens
  22. Monotonicity (of inference)
  23. Premise
  24. Propositional logic
  25. Proposition symbol
  26. Reduction ad absurdum
  27. Refutation completeness
  28. Resolution
  29. Resolution closure
  30. Satisfiability
  31. Tautology
  32. Truth table
  33. Unit clause
  34. Validity
Berthe Y. Choueiry
choueiry@cse.unl.edu