LPMLN is a probabilistic extension of answer set programs with the weight
scheme adapted from Markov Logic. We study the concept of strong equivalence in
LPMLN, which is a useful mathematical tool for simplifying a part of an LPMLN
program without looking at the rest of it. We show that the verification of
strong equivalence in LPMLN can be reduced to equivalence checking in classical
logic via a reduct and choice rules as well as to equivalence checking under
the "soft" logic of here-and-there. The result allows us to leverage an answer
set solver for LPMLN strong equivalence checking. The study also suggests us a
few reformulations of the LPMLN semantics using choice rules, the logic of
here-and-there, and classical logic.

more |
pdf
| html
None.

SciFi:
Strong Equivalence for LPMLN Programs. https://t.co/i47bBeQfzF

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 0

Unqiue Words: 0

By incorporating the methods of Answer Set Programming (ASP) and Markov Logic
Networks (MLN), LPMLN becomes a powerful tool for non-monotonic, inconsistent
and uncertain knowledge representation and reasoning. To facilitate the
applications and extend the understandings of LPMLN, we investigate the strong
equivalences between LPMLN programs in this paper, which is regarded as an
important property in the field of logic programming. In the field of ASP, two
programs P and Q are strongly equivalent, iff for any ASP program R, the
programs P and Q extended by R have the same stable models. In other words, an
ASP program can be replaced by one of its strong equivalent without considering
its context, which helps us to simplify logic programs, enhance inference
engines, construct human-friendly knowledge bases etc. Since LPMLN is a
combination of ASP and MLN, the notions of strong equivalences in LPMLN is
quite different from that in ASP. Firstly, we present the notions of p-strong
and w-strong equivalences between LPMLN programs....

more |
pdf
| html
None.

arxivml:
"On the Strong Equivalences of LPMLN Programs",
Bin Wang, Jun Shen, Shutao Zhang, Zhizheng Zhang
https://t.co/MjMdEvGgh4

SciFi:
On the Strong Equivalences of LPMLN Programs. https://t.co/PtO2NrSiqB

arxiv_cslo:
On the Strong Equivalences of LPMLN Programs https://t.co/F9Wg4NnZP5

jaye316:
RT @SciFi: On the Strong Equivalences of LPMLN Programs. https://t.co/PtO2NrSiqB

jpt401:
RT @arxiv_cslo: On the Strong Equivalences of LPMLN Programs https://t.co/F9Wg4NnZP5

None.

None.

Sample Sizes : None.

Authors: 4

Total Words: 6579

Unqiue Words: 1443

In the past, the semantic issues raised by the non-monotonic nature of
aggregates often prevented their use in the recursive statements of logic
programs and deductive databases. However, the recently introduced notion of
Pre-mappability (PreM) has shown that, in key applications of interest,
aggregates can be used in recursion to optimize the perfect-model semantics of
aggregate-stratified programs. Therefore we can preserve the declarative formal
semantics of such programs while achieving a highly efficient operational
semantics that is conducive to scalable implementations on parallel and
distributed platforms. In this paper, we show that with PreM, a wide spectrum
of classical algorithms of practical interest, ranging from graph analytics and
dynamic programming based optimization problems to data mining and machine
learning applications can be concisely expressed in declarative languages by
using aggregates in recursion. Our examples are also used to show that PreM can
be checked using simple techniques and templatized...

more |
pdf
| html
None.

arxivml:
"BigData Applications from Graph Analytics to Machine Learning by Aggregates in Recursion",
Ariyam Das, Youfu Li, J…
https://t.co/Gs3s2zMZlN

Memoirs:
BigData Applications from Graph Analytics to Machine Learning by Aggregates in Recursion. https://t.co/d0zIkEuiP8

arxiv_cslo:
BigData Applications from Graph Analytics to Machine Learning by Aggregates in Recursion https://t.co/fru35jgSDy

chidambara09:
RT @arxiv_cslo: BigData Applications from Graph Analytics to Machine Learning by Aggregates in Recursion https://t.co/fru35jgSDy

None.

None.

Sample Sizes : None.

Authors: 5

Total Words: 0

Unqiue Words: 0

In this paper we present web-liver, a rule-based system for decision support
in the medical domain, focusing on its application in a liver transplantation
unit for implementing policies for donor-patient matching. The rule-based
system is built on top of an interpreter for logic programs with partial
functions, called lppf, that extends the paradigm of Answer Set Programming
(ASP) adding two main features: (1) the inclusion of partial functions and (2)
the computation of causal explanations for the obtained solutions. The final
goal of web-liver is assisting the medical experts in the design of new
donor-patient matching policies that take into account not only the patient
severity but also the transplantation utility. As an example, we illustrate the
tool behaviour with a set of rules that implement the utility index called
SOFT.

more |
pdf
| html
None.

arxivml:
"A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation",
Felicidad Aguado, Pedro Caba…
https://t.co/u1j4HQhtFq

SciFi:
A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation. https://t.co/cy3OjVpFv4

arxiv_cslo:
A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation https://t.co/h7M3AWhEP2

None.

None.

Sample Sizes : None.

Authors: 6

Total Words: 0

Unqiue Words: 0

Delivering effective data analytics is of crucial importance to the
interpretation of the multitude of biological datasets currently generated by
an ever increasing number of high throughput techniques. Logic programming has
much to offer in this area. Here, we detail advances that highlight two of the
strengths of logical formalisms in developing data analytic solutions in
biological settings: access to large relational databases and building
analytical pipelines collecting graph information from multiple sources. We
present significant advances on the bio_db package which serves biological
databases as Prolog facts that can be served either by in-memory loading or via
database backends. These advances include modularising the underlying
architecture and the incorporation of datasets from a second organism (mouse).
In addition, we introduce a number of data analytics tools that operate on
these datasets and are bundled in the analysis package: bio_analytics. Emphasis
in both packages is on ease of installation and use. We...

more |
pdf
| html
None.

BigDataBatman:
Advances in Batman Bio Analytics https://t.co/kCibBz1D2g

BioPapers:
Advances in Big Data Bio Analytics. https://t.co/Vhag4QDr4j

arxiv_cslo:
Advances in Big Data Bio Analytics https://t.co/8NUPRu0bEt

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 0

Unqiue Words: 0

Formal learning theory formalizes the process of inferring a general result
from examples, as in the case of inferring grammars from sentences when
learning a language. Although empirical evidence suggests that children can
learn a language without responding to the correction of linguistic mistakes,
the importance of Teacher in many other paradigms is significant. Instead of
focusing only on learner(s), this work develops a general framework---the
supervised learning game (SLG)---to investigate the interaction between Teacher
and Learner. In particular, our proposal highlights several interesting
features of the agents: on the one hand,Learner may make mistakes in the
learning process, and she may also ignore the potential relation between
different hypotheses; on the other hand, Teacher is able to correct Learner's
mistakes, eliminate potential mistakes and point out the facts ignored by
Learner. To reason about strategies in this game, we develop a modal logic of
supervised learning (SLL). Broadly, this work takes a small step...

more |
pdf
| html
None.

BrundageBot:
On the Right Path: A Modal Logic for Supervised Learning. Alexandru Baltag, Dazhu Li, and Mina Young Pedersen https://t.co/k25AFqb0Md

arxiv_cslo:
On the Right Path: A Modal Logic for Supervised Learning https://t.co/nwro9jza2D

None.

None.

Sample Sizes : None.

Authors: 3

Total Words: 0

Unqiue Words: 0

A system with sporadic errors (SSE) is a controller which produces high
quality output but it may occasionally violate a critical requirement REQ(I,O).
A run-time enforcement shield is a controller which takes (I,O) (coming from
SSE) as its input, and it produces a corrected output O' which guarantees the
invariance of requirement REQ(I,O'). Moreover, the output sequence O' must
deviate from O "as little as possible" to maintain the quality. In this paper,
we give a method for logical specification of shields using formulas of logic
Quantified Discrete Duration Calculus (QDDC). The specification consists of a
correctness requirement REQ as well as a hard deviation constraint HDC which
must both be mandatorily and invariantly satisfied by the shield. Moreover, we
also use quantitative optimization to give a shield which minimizes the
expected value of cumulative deviation in an H-optimal fashion. We show how
tool DCSynth implementing soft requirement guided synthesis can be used for
automatic synthesis of shields from a given...

more |
pdf
| html
None.

DO:
Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields. https://t.co/LApHKS0bb7

arxiv_cslo:
Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields https://t.co/gKNyOo8fOh

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 0

Unqiue Words: 0

A naive way to solve the model-checking problem of the mu-calculus uses
fixpoint iteration. Traditionally however mu-calculus model-checking is solved
by a reduction in linear time to a parity game, which is then solved using one
of the many algorithms for parity games. We now consider a method of solving
parity games by means of a naive fixpoint iteration. Several fixpoint
algorithms for parity games have been proposed in the literature. In this work,
we introduce an algorithm that relies on the notion of a distraction. The idea
is that this offers a novel perspective for understanding parity games. We then
show that this algorithm is in fact identical to two earlier published fixpoint
algorithms for parity games and thus that these earlier algorithms are the
same. Furthermore, we modify our algorithm to only partially recompute deeper
fixpoints after updating a higher set and show that this modification enables a
simple method to obtain winning strategies. We show that the resulting
algorithm is simple to implement and offers...

more |
pdf
| html
None.

arxiv_cslo:
Simple Fixpoint Iteration To Solve Parity Games https://t.co/T7abYieJm2

Oink, an implementation of modern parity game solvers

None.

Sample Sizes : None.

Authors: 2

Total Words: 9037

Unqiue Words: 1960

Thom Fr\"uhwirth presented a short, elegant and efficient Prolog program for
the n queens problem. However the program may be seen as rather tricky and one
may be not convinced about its correctness. This paper explains the program in
a declarative way, and provides a proof of its correctness and completeness.

more |
pdf
| html
None.

Jose_A_Alonso:
On correctness of an n queens program. ~ W. Drabent. https://t.co/Jlqe0BNq4C #Prolog #LogicProgramming

arxiv_cslo:
On correctness of an n queens program https://t.co/qs2EEOnccC

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 5361

Unqiue Words: 1214

This paper presents a library of commonsense knowledge, RestKB, developed in
modular action language ALM and containing background knowledge relevant to the
understanding of restaurant narratives, including stories that describe
exceptions to the normal unfolding of such scenarios. We highlight features
that KR languages must possess in order to be able to express pertinent
knowledge, and expand action language ALM as needed. We show that encoding the
knowledge base in ALM facilitates its piecewise construction and testing, and
improves the generality and quality of the captured information, in comparison
to an initial ASP encoding. The knowledge base was used in a system for
reasoning about stereotypical activities, evaluated on the restaurant domain.

more |
pdf
| html
arxiv_cslo:
RestKB: A Library of Commonsense Knowledge about Dining at a Restaurant https://t.co/ZnC6YGtpeO

jpt401:
RT @arxiv_cslo: RestKB: A Library of Commonsense Knowledge about Dining at a Restaurant https://t.co/ZnC6YGtpeO

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 7057

Unqiue Words: 2197

Assert is a website where the best academic papers on arXiv (computer science, math, physics), bioRxiv (biology), BITSS (reproducibility), EarthArXiv (earth science), engrXiv (engineering), LawArXiv (law), PsyArXiv (psychology), SocArXiv (social science), and SportRxiv (sport research) bubble to the top each day.

Papers are scored (in real-time) based on how verifiable they are (as determined by their Github repos) and how interesting they are (based on Twitter).

To see top papers, follow us on twitter @assertpub_ (arXiv), @assert_pub (bioRxiv), and @assertpub_dev (everything else).

To see beautiful figures extracted from papers, follow us on Instagram.

*Tracking 192,914 papers.*

Sort results based on if they are interesting or reproducible.

Interesting

Reproducible