CSCE 476/876, Spring 2010, Glossary 8

Assigned:  Monday, March 22, 2010.
Due:   Monday, March 29, 2010.
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 (in general)
  11. Model in propositional logic
  12. Model checking
  13. Proof
  14. Semantics (of a logic)
  15. Sentence
  16. Soundness (of inference)
  17. Syntax (of a logic)
  18. Validity (of a logical sentence)
Berthe Y. Choueiry
choueiry@cse.unl.edu