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 – Semantics

  • There are two main approaches to define the semantics of LP
      1. Model theoretic semantics
      2. Computional semanitcs
  • Model-theoretic semantics
    • Defines the meaning of a model in terms of its minimal Herbrand model
  • Computational semantics (proof theoretic semantics)
    • Define the semantics in terms of an evaluation strategy which describes how to compute a model
  • These two semantics are different in style, but agree on the minimal model
  • LP semantics is only equivalent to standard FOL semantics
    • Concerning ground entailment
    • As long as LP is not extended with negation

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.