Abstract:Nested answer set programming (NASP; Lifschitz et al., 1999) generalizes answer set programming (ASP) by admitting nested expressions in rule bodies and heads, and thus, NASP aims at exploiting program succinctness. Yet, although NASP expressiveness is undoubtedly superior to ASP one, the former's reasoning capabilities remain unexplored. This reality seems subsequent to the next existing wide-ranging gap: normal nested programs (NNPs) are not known, or in other words, the nested normal-disjunctive boundary is unidentified thus far. Such an unfavorable situation is yet antagonistic to that of ASP as its normal programs (NPs) have been vital for propelling ASP. We will fill such a gap by defining the NNPs, their semantics and their associated nested logical calculi. Besides, while the unique known way to compute nested programs is unfold them back, we propose to do so in their original form. Firstly, we give the syntax of NNPs. For that, we initially define the positive-Horn nested-expressions and then an NNP rule as one whose head (resp. body) is a positive-Horn (resp. general) nested-expression. Secondly, we set up the semantics of NNPs by lifting to the nesting level, classical NP notions including: answer set, minimal and least model, closedness, supported-ness, immediate consequence operator and program consistency. We besides show that NNP restricted to ASP coincides with NP. Thirdly, we introduce nested logical calculi, concretely, nested unit-resolution and nested hyper unit-resolution, proving that they recover unit-resolution and hyper unit-resolution in the ASP setting. We also show how both nested logical calculi allow to process the least model of not-free NNP programs. To end, we demonstrate that computing answer sets of (resp. not-free) NNP programs is (resp. P-complete) NP-complete.

Each normal logic program has a 2-valued Minimal Hypotheses semantics

Syntax and semantics of multi-adjoint normal logic programming

Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information

Reasoning with Higher-Order Abstract Syntax in a Logical Framework

Minimal Hypotheses: Extension-Based Semantics to Argumentation

On Pocrims and Hoops

On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head

Partial Semantics of Argumentation: Basic Properties and Empirical

An elementary belief function logic

A Complete Calculus for Possibilistic Logic Programming with Fuzzy Propositional Variables

Three-valued and four-valued approach to logic programming with negation

Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis

Possibility Semantics

Logic As Programming

Extended multi-adjoint logic programming

An Acceptance Semantics for Stable Modal Knowledge

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)

Leveraging LLMs for Hypothetical Deduction in Logical Inference: A Neuro-Symbolic Approach

A Novel Semantics for Belief, Knowledge and Psychological Alethic Modality

Normal Nested Answer Set Programs: Syntactics, Semantics and Logical Calculi

Axiomatizing the Logic of Ordinary Discourse