A functional view of strong negation in answer set programming

Michael Bartholomew, Joohyung Lee

Research output: Contribution to conferencePaper

Abstract

The distinction between strong negation and default negation has been useful in answer set programming. We present an alternative account of strong negation, which lets us view strong negation in terms of the functional stable model semantics by Bartholomew and Lee. More specifically, we show that, under complete interpretations, minimizing both positive and negative literals in the traditional answer set semantics is essentially the same as ensuring the uniqueness of Boolean function values under the functional stable model semantics. The same account lets us view Lifschitz’s two-valued logic programs as a special case of the functional stable model semantics. In addition, we show how non-Boolean intensional functions can be eliminated in favor of Boolean intensional functions, and furthermore can be represented using strong negation, which provides a way to compute the functional stable model semantics using existing ASP solvers. We also note that similar results hold with the functional stable model semantics by Cabalar.

Original languageEnglish (US)
Pages49-64
Number of pages16
StatePublished - Jan 1 2013
Event6th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2013, co-located with the 29th International Conference on Logic Programming, ICLP 2013 - Istanbul, Turkey
Duration: Aug 25 2013 → …

Conference

Conference6th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2013, co-located with the 29th International Conference on Logic Programming, ICLP 2013
CountryTurkey
CityIstanbul
Period8/25/13 → …

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computational Theory and Mathematics
  • Hardware and Architecture
  • Software
  • Artificial Intelligence

Fingerprint Dive into the research topics of 'A functional view of strong negation in answer set programming'. Together they form a unique fingerprint.

  • Cite this

    Bartholomew, M., & Lee, J. (2013). A functional view of strong negation in answer set programming. 49-64. Paper presented at 6th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2013, co-located with the 29th International Conference on Logic Programming, ICLP 2013, Istanbul, Turkey.