Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12

TL;DR

This paper provides a historical survey of various informal semantics for logic programming under answer set semantics, aligning them with key AI paradigms like Answer Set Programming and ASP-Prolog.

Contribution

It offers a unified review and comparison of semantics across different periods, clarifying their evolution and relation to AI paradigms.

Findings

Historical semantics are systematically aligned with Answer Set Programming and ASP-Prolog.

The survey clarifies the evolution of informal semantics in logic programming.

It highlights the connections between semantics and AI knowledge representation paradigms.

Abstract

This note presents a historical survey of informal semantics that are associated with logic programming under answer set semantics. We review these in uniform terms and align them with two paradigms: Answer Set Programming and ASP-Prolog -- two prominent Knowledge Representation and Reasoning Paradigms in Artificial Intelligence. Under consideration in Theory and Practice of Logic Programming (TPLP).