A Pertinence Logic Characterization of Stable Models (Preliminary Report)

Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning

Volume

Papers from the 2001 AAAI Spring Symposium

Contents

On the line of Here-and-There logic by D. Pearce, this work introduces a semantics based on Pertinence Logic for the Stable Models semantics of Logic Programs proposed by M. Gelfond and V. Lifschitz. This semantics is useful for the strong equivalence of programs. Pertinence Logic is a causal formalism suitable for action descriptions, thus this characterization contributes to the relationship between the two major non-monotonic areas, namely, Logic Programming and Reasoning about Actions.