Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Logic Programming - Reasoning Tasks

  • The typical reasoning task for LP systems is query answering
    • Ground queries, i.e. ?- loves(Mary, Joe)
    • Non-ground query, i.e. ?- loves(Mary, x)

  • Non-ground queries can be reduced to a series of ground queries
    • ?- loves(Mary, x)
    • Replace x by every possible value

  • In Logic Programming ground queries are equivalent to entailment of facts
    • Answering ?- loves(Mary, Joe) w.r.t. a knowledge base A is equivalent to checking

      A ⊧ loves(Mary, Joe)


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.