Flashcards
Artificial intelligence - Inference in First-Order Logic
Flashcards do conjunto (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—
Informações
- Descrição
- FlashCards sobre Artificial intelligence - Inference in First-Order Logic, criado por Wojciech Gryncze em 11-01-2016.
- Criado por
- Wojciech Gryncze
- Visualizações
- 3
- Avaliação