CSCE 476/876, Spring 2015, Glossary 8
Assigned: Monday, Mar 16, 2015.
Due:
Monday, Mar 30, 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.
- 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