GoConqr has a new look! Let us know what you think.

Sign up free

Flashcards

Artificial intelligence - Inference in First-Order Logic

Wojciech Gryncze English 17 cards

Universal Instantiation

Cards in this deck (17)

  1. 1Universal InstantiationUniversal Instantiation
  2. 2Existential instantiationExistential instantiation
  3. 3Reduction to Propositional LogicReduction to Propositional Logic
  4. 4Reduction (technical issues)Reduction (technical issues)
  5. 5UnificationUnification
  6. 6Most General UnifierMost General Unifier
  7. 7Inference with Definite ClausesInference with Definite Clauses
  8. 8Analysis of FC algorithmAnalysis of FC algorithm
  9. 9Backward ChainingBackward Chaining
  10. 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
  11. 11ComparisonComparison
  12. 12Conversion to Conjunctive Normal FormConversion to Conjunctive Normal Form
  13. 13Conversion to Conjunctive Normal Form (1)Conversion to Conjunctive Normal Form (1)
  14. 14Conversion to Conjunctive Normal Form (2)Conversion to Conjunctive Normal Form (2)
  15. 15Conversion to Conjunctive Normal Form (3)Conversion to Conjunctive Normal Form (3)
  16. 16Conversion to Conjunctive Normal Form (4)Conversion to Conjunctive Normal Form (4)
  17. 17—

Information

Description
Flashcards on Artificial intelligence - Inference in First-Order Logic, created by Wojciech Gryncze on 11/01/2016.
Views
3
Rating

Feedback

What is it about?

What do you think of the new look?

How do you like it?