Flashcards
Artificial intelligence - Inference in First-Order Logic
Cards in this deck (17)
- 1Universal Instantiation
- 2Existential instantiation
- 3Reduction to Propositional Logic
- 4Reduction (technical issues)
- 5Unification
- 6Most General Unifier
- 7Inference with Definite Clauses
- 8Analysis of FC algorithm
- 9Backward Chaining
- 10Forward Chaining• Fina all rules with satisfied premises
• Add their conclusions to know facts
• Repeat until query is answered or no no new data are added - 11Comparison
- 12Conversion to Conjunctive Normal Form
- 13Conversion to Conjunctive Normal Form (1)
- 14Conversion to Conjunctive Normal Form (2)
- 15Conversion to Conjunctive Normal Form (3)
- 16Conversion to Conjunctive Normal Form (4)
- 17—
Information
- Description
- Flashcards on Artificial intelligence - Inference in First-Order Logic, created by Wojciech Gryncze on 11/01/2016.
- Created by
- Wojciech Gryncze
- Views
- 3
- Rating