Stable models of multi-valued formulas: Partial versus total functions

Michael Bartholomew, Joohyung Lee

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Scopus citations

Abstract

Recent extensions of the stable model semantics that allow intensional functions-functions that can be specified by logic programs using other functions and predicates-can be divided into two groups. One group defines a stable model in terms of minimality on the values of partial functions, and the other defines it in terms of uniqueness on the values of total functions. We show that, in the context of multi-valued formulas, these two different approaches can be reduced to each other, and further, each of them can be viewed in terms of propositional formulas under the stable model semantics. Based on these results, we present a prototype implementation of different versions of functional stable model semantics by using existing answer set solvers.

Original languageEnglish (US)
Title of host publication14th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2014
PublisherAAAI press
Pages583-586
Number of pages4
ISBN (Electronic)9781577356578
StatePublished - 2014
Event14th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2014 - Vienna, Austria
Duration: Jul 20 2014Jul 24 2014

Other

Other14th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2014
CountryAustria
CityVienna
Period7/20/147/24/14

ASJC Scopus subject areas

  • Software
  • Logic

Fingerprint Dive into the research topics of 'Stable models of multi-valued formulas: Partial versus total functions'. Together they form a unique fingerprint.

  • Cite this

    Bartholomew, M., & Lee, J. (2014). Stable models of multi-valued formulas: Partial versus total functions. In 14th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2014 (pp. 583-586). AAAI press.