A Pertinence Logic Characterization of Stable Models (Preliminary Report)

Ramón P. Otero

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.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.