We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.AI

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Artificial Intelligence

Title: Constraint Monotonicity, Epistemic Splitting and Foundedness Could in General Be Too Strong in Answer Set Programming

Abstract: Recently, the notions of subjective constraint monotonicity, epistemic splitting, and foundedness have been introduced for epistemic logic programs, with the aim to use them as main criteria respectively intuitions to compare different answer set semantics proposed in the literature on how they comply with these intuitions. In this note, we consider these three notions and demonstrate on some examples that they may be too strong in general and may exclude some desired answer sets respectively world views. In conclusion, these properties should not be regarded as mandatory properties that every answer set semantics must satisfy in general.
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
Cite as: arXiv:2010.00191 [cs.AI]
  (or arXiv:2010.00191v2 [cs.AI] for this version)

Submission history

From: Yi-Dong Shen [view email]
[v1] Thu, 1 Oct 2020 04:03:11 GMT (12kb)
[v2] Sat, 7 Nov 2020 11:16:07 GMT (26kb)

Link back to: arXiv, form interface, contact.