CSCE 476/876, Fall 2019, Glossary 8
Assigned: Monday, Nov 4, 2019.
Due:
Monday, Nov 11, 2019.
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.
- Background knowledge
- Completeness (of inference)
- Compositional (languages)
- Epistemological level
- Entailment
- Grounding
- Inference
- Knowledge base
- Knowledge representation language
- Model (in general)
- Model in propositional logic
- Model checking
- Proof
- Semantics (of a logic)
- Sentence
- Soundness (of inference)
- Syntax (of a logic)
- Validity (of a logical sentence)
Berthe Y. Choueiry
choueiry@cse.unl.edu