Yann Loyer

Title: Yann Loyer

Research Question: How can we provide an alternative and epistemic-based characterization of the stable model semantics, which is a dominant approach for managing negation in logic programming?

Methodology: The study proposes an alternative characterization of the stable model semantics, which does not rely on the classical management of negation and does not require any program transformation. It uses an algebraic approach based on monotone operators (under the knowledge order) over bilattices, which allows for the representation of incomplete and inconsistent information.

Results: The study shows that the stable model semantics can be defined entirely as an extension of the Kripke-Kleene semantics, which is a classical, two-valued logic. It also demonstrates that the closed world assumption, which is a key component of the stable model semantics, can be seen as an additional source of 'falsehood' to be added cumulatively to the Kripke-Kleene semantics.

Implications: This work contributes to a better understanding of the stable model semantics and its relationship with other semantic frameworks in logic programming. It also provides a foundation for further research in this area, potentially leading to more efficient and effective methods for managing negation and representing knowledge in logic programming.

Link to Article: https://arxiv.org/abs/0403002v1 Authors: arXiv ID: 0403002v1