CSCE 476/876, Spring 2009, Glossary 9
Assigned: Monday, April 6, 2009.
Due:
Monday, April 13, 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.
- And-elimination
- Assertion
- Arity (of a relation or a function)
- Atomic sentences
- Axiom
- Backward chaining
- Biconditional
- Horn clause:
- Body (of a Horn clause)
- Head (of a Horn clause)
- Horn clauses
- Complementary literals
- Compositionality
- Conjunctive normal form
- Data driven
- Deduction theorem
- Fixed point
- Forward chaining
- Goal-directed reasoning
- k-CNF
- Literal
- Logical connectives
- Logical equivalence
- Modus ponens
- Monotonicity (of inference)
- Predicate symbol
- Premise
- Propositional logic
- Proposition symbol
- Reduction ad absurdum
- Refutation completeness
- Resolution
- Resolution closure
- Satisfiability
- Tautology
- Term
- Theorem
- Truth table
- Unit clause
- Validity
Berthe Y. Choueiry
choueiry@cse.unl.edu