Stable Models for Infinitary Formulas with Extensional Atoms
Logic in Computer Science
2016-08-05 v1 Artificial Intelligence
Abstract
The definition of stable models for propositional formulas with infinite conjunctions and disjunctions can be used to describe the semantics of answer set programming languages. In this note, we enhance that definition by introducing a distinction between intensional and extensional atoms. The symmetric splitting theorem for first-order formulas is then extended to infinitary formulas and used to reason about infinitary definitions. This note is under consideration for publication in Theory and Practice of Logic Programming.
Cite
@article{arxiv.1608.01603,
title = {Stable Models for Infinitary Formulas with Extensional Atoms},
author = {Amelia Harrison and Vladimir Lifschitz},
journal= {arXiv preprint arXiv:1608.01603},
year = {2016}
}
Comments
Paper presented at the 32nd International Conference on Logic Programming (ICLP 2016), New York City, USA, 16-21 October 2016, 15 pages, LaTeX, 3 PDF figures