Karteikarten
Artificial intelligence - Inference in First-Order Logic
Karten in diesem Stapel (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—
Informationen
- Beschreibung
- Karteikarten am Artificial intelligence - Inference in First-Order Logic, erstellt von Wojciech Gryncze am 11/01/2016.
- Erstellt von
- Wojciech Gryncze
- Aufrufe
- 3
- Bewertung