CSCE 476/876, Spring 2015, Glossary 10

Assigned: Monday, April 6, 2015.
Due: Friday, April 13, 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. Binding list
  2. Constant symbol
  3. Definite clause
  4. Domain (of a model)
  5. Extended interpretation
  6. Factoring
  7. First-Order Logic
  8. Function
  9. Ground term
  10. Higher-Order Logic
  11. Intended interpretation
  12. Interpretation
  13. Property
  14. Relation
  15. Substitution
Berthe Y. Choueiry
choueiry@cse.unl.edu