Strong equivalence for LP^MLN programs

05/18/2019
by   Man Luo, et al.
0

Strong equivalence is a well-studied and important concept in answer set programming (ASP). LP^MLN is a probabilistic extension of answer set programs with the weight scheme adapted from Markov Logic. Because of the semantic differences, strong equivalence for ASP does not simply carry over to LP^MLN. I study the concept of strong equivalence in LP^MLN with the goal of extending strong equivalence to LP^MLN programs. My study shows that the verification of strong equivalence in LP^MLN can be reduced to equivalence checking in classical logic plus weight consideration.The result allows us to leverage an answer set solver for checking strong equivalence in LP^MLN. Furthermore, this study also suggests us a few reformulations of the LP^MLN semantics using choice rules, logic of here and there, and the second-order logic. I will present my work result of strong equivalence for LP^MLN and talk about my next steps for research: one is approximately strong equivalence, and another is the integration of fuzzy logic with neural network.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/18/2019

Strong Equivalence for LPMLN Programs

LPMLN is a probabilistic extension of answer set programs with the weigh...
research
06/23/2022

plingo: A system for probabilistic reasoning in clingo based on lpmln

We present plingo, an extension of the ASP system clingo with various pr...
research
09/09/2019

On the Strong Equivalences for LPMLN Programs

LPMLN is a powerful knowledge representation and reasoning tool that com...
research
07/09/2002

Alternative Characterizations for Strong Equivalence of Logic Programs

In this work we present additional results related to the property of st...
research
08/06/2021

Here and There with Arithmetic

In the theory of answer set programming, two groups of rules are called ...
research
12/04/2011

Strong Equivalence of Qualitative Optimization Problems

We introduce the framework of qualitative optimization problems (or, sim...
research
10/29/2022

Linear Programs with Conjunctive Database Queries

In this paper, we study the problem of optimizing a linear program whose...

Please sign up or login with your details

Forgot password? Click here to reset