Chapter 2. Inductive definitions
Concepts
- Axiom Inference Rule
- Judgment Assertion Judgment Form Judgment Form Instance S
- Inductive Definition Judgment Form
- Axiom Rule Proper Rule
- Rule Scheme Inference Rule Metavariable
- Judgment Judgment Form
- Derivation Derivation Tree
- Derivation Forward Chaining Backward Chaining Bottom Up
- Forward Chaining Backward Chaining
- Forward Chaining Search Backward Chaining Search
1 / 2
Content
No content yet.