Skip to content

Instantly share code, notes, and snippets.

@hashlash

hashlash/README.md

Created June 7, 2020 16:44
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save hashlash/cd2892dfd2b7e14e3c0b073499cdd1f0 to your computer and use it in GitHub Desktop.
Save hashlash/cd2892dfd2b7e14e3c0b073499cdd1f0 to your computer and use it in GitHub Desktop.
Download ZIP
Logic Programming
Raw
README.md

Logic Programming

The Problem of Normal Logic Program

It use negation (unlike definite logic program) which make the logical entailment not hold.

  • Program Completion (Clark, 1978): change rule's implication to bi-implication

  • Stable Model Semantic (Gelfond and Lifschitz, 1988): remove negative literals (either the whole rule, or just the literal in the body)

  • Well-Founded Semantic (Van Gelder, 1991): use three-valued logic (true, false, and unkown)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment