CSCE 476/876, Spring 2005, Glossary 10

Assigned:  Wed, April 20, 2005.
Due:  Wed, April 27, 2005.
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. Body (of a Horn clause)
  9. Complementary literals
  10. Compositionality
  11. Conjunctive normal form
  12. Constant symbol
  13. Data driven
  14. Deduction theorem
  15. Definite clause
  16. Domain (of a model)
  17. Extended interpretation
  18. Factoring
  19. First-Order Logic
  20. Fixed point
  21. Forward chaining
  22. Function
  23. Goal-directed reasoning
  24. Ground term
  25. Head (of a Horn clause)
  26. Higher-Order Logic
  27. Horn clauses
  28. Intended interpretation
  29. Interpretation
  30. k-CNF
  31. Literal
  32. Logical connectives
  33. Logical equivalence
  34. Modus ponens
  35. Monotonicity (of inference)
  36. Predicate symbol
  37. Premise
  38. Property
  39. Propositional logic
  40. Proposition symbol
  41. Reduction ad absurdum
  42. Refutation completeness
  43. Relation
  44. Resolution
  45. Resolution closure
  46. Satisfiability
  47. Substitution
  48. Tautology
  49. Term
  50. Theorem
  51. Truth table
  52. Unit clause
  53. Validity
Berthe Y. Choueiry
choueiry@cse.unl.edu