OlliG
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
 Model theoretic semantics
 Computional semanitcs
 Modeltheoretic 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
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.