Article
Semantics for Conditional Literals via the SM Operator
Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning
(2022)
Abstract
Conditional literals are an expressive Answer Set Programming language construct supported by the solver Clingo. Their semantics are currently defined by a translation to infinitary propositional logic, however, we develop an alternative characterization with the SM operator which does not rely on grounding. This allows us to reason about the behavior of a broad class of clingo programs/encodings containing conditional literals, without referring to a particular input/instance of an encoding. We formalize the intuition that conditional literals behave as nested implications, and prove the equivalence of our semantics to those implemented by Clingo.
Disciplines
Publication Date
2022
Citation Information
Zachary Hansen and Yuliya Lierler. "Semantics for Conditional Literals via the SM Operator" Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (2022) Available at: http://works.bepress.com/yuliya_lierler/118/