CSCE 476/876, Spring 2016, Glossary 8

Assigned:  Monday, Mar 14, 2016.
Due:   Monday, Mar 28, 2016.
Note: Glossaries are optional but help you improve your grade. Clearly acknowledge your sources (textbook, slides, etc.) or no credit will be given. You are not allowed to cut and paste from any source.
  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