On the Semantics of Gringo

12/20/2013
by   Amelia Harrison, et al.
0

Input languages of answer set solvers are based on the mathematically simple concept of a stable model. But many useful constructs available in these languages, including local variables, conditional literals, and aggregates, cannot be easily explained in terms of stable models in the sense of the original definition of this concept and its straightforward generalizations. Manuals written by designers of answer set solvers usually explain such constructs using examples and informal comments that appeal to the user's intuition, without references to any precise semantics. We propose to approach the problem of defining the semantics of gringo programs by translating them into the language of infinitary propositional formulas. This semantics allows us to study equivalent transformations of gringo programs using natural deduction in infinitary propositional logic.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/19/2017

Computing LPMLN Using ASP and MLN Solvers

LPMLN is a recent addition to probabilistic logic programming languages....
research
05/03/2011

Transition Systems for Model Generators - A Unifying Approach

A fundamental task for propositional logic is to compute models of propo...
research
08/04/2016

Stable Models for Infinitary Formulas with Extensional Atoms

The definition of stable models for propositional formulas with infinite...
research
01/16/2014

First-Order Stable Model Semantics and First-Order Loop Formulas

Lin and Zhaos theorem on loop formulas states that in the propositional ...
research
12/20/2013

A Functional View of Strong Negation in Answer Set Programming

The distinction between strong negation and default negation has been us...
research
02/15/2002

Nonmonotonic Logics and Semantics

Tarski gave a general semantics for deductive reasoning: a formula a may...
research
12/17/2010

Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case

Interpolation is an important property of classical and many non classic...

Please sign up or login with your details

Forgot password? Click here to reset