CSCE 476/876, Spring 2009, Glossary 10
Assigned: Monday, April 13, 2009.
Due:
Monday, April 20, 2009.
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.
- Binding list
- Constant symbol
- Definite clause
- Domain (of a model)
- Extended interpretation
- Factoring
- First-Order Logic
- Function
- Ground term
- Higher-Order Logic
- Intended interpretation
- Interpretation
- Property
- Relation
- Substitution
Berthe Y. Choueiry
choueiry@cse.unl.edu