CSCE 476/876, Spring 2004, Glossary 9
Assigned: Friday, April 9, 2004.
Due:
Monday April 12, 2004.
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
- 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