CSCE 476/876, Spring 2010, Glossary 10
Assigned: Monday, April 5, 2010.
Due:
Monday, April 12, 2010.
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