CSCE 476/876, Spring 2005, Glossary 9

Assigned:  Wednesday, April 6, 2005.
Due:  Monday April 11, 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. Background knowledge
  2. Completeness (of inference)
  3. Compositional (languages)
  4. Epistemological level
  5. Entailment
  6. Grounding
  7. Inference
  8. Knowledge base
  9. Knowledge representation language
  10. Model
  11. Model checking
  12. Proof
  13. Semantics (of a logic)
  14. Sentence
  15. Soundness (of inference)
  16. Syntax (of a logic)
  17. Validity (of a logical sentence)
Berthe Y. Choueiry
choueiry@cse.unl.edu