TY - GEN
T1 - Stable models of multi-valued formulas
T2 - 14th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2014
AU - Bartholomew, Michael
AU - Lee, Joohyung
N1 - Publisher Copyright:
Copyright © 2014, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.
PY - 2014
Y1 - 2014
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84952367659&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84952367659&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84952367659
T3 - Proc. Int. Workshop Tempor. Represent. Reason.
SP - 583
EP - 586
BT - 14th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2014
PB - AAAI press
Y2 - 20 July 2014 through 24 July 2014
ER -