Recursive Rules with Aggregation: A Simple Unified Semantics

07/26/2020
by   Yanhong A. Liu, et al.
0

Complex reasoning problems are most clearly and easily specified using logical rules, especially recursive rules with aggregation such as counts and sums for practical applications. Unfortunately, the meaning of such rules has been a significant challenge, leading to many different conflicting semantics. This paper describes a unified semantics for recursive rules with aggregation, extending the unified founded semantics and constraint semantics for recursive rules with negation. The key idea is to support simple expression of the different assumptions underlying different semantics, and orthogonally interpret aggregation operations straightforwardly using their simple usual meaning.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/20/2016

Founded Semantics and Constraint Semantics of Logic Rules

This paper describes a simple new semantics for logic rules, founded sem...
research
10/23/2019

Knowledge of Uncertain Worlds: Programming with Logical Constraints

Programming with logic for sophisticated applications must deal with rec...
research
08/06/1999

Extending the Stable Model Semantics with More Expressive Rules

The rules associated with propositional logic programs and the stable mo...
research
07/29/2021

Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality

This paper discusses proof-theoretic semantics, the project of specifyin...
research
07/18/2017

Fixpoint Semantics and Optimization of Recursive Datalog Programs with Aggregates

A very desirable Datalog extension investigated by many researchers in t...
research
09/17/2021

Fixpoint Semantics for Recursive SHACL

SHACL is a W3C-proposed language for expressing structural constraints o...
research
08/08/2018

Coaxioms: flexible coinductive definitions by inference systems

We introduce a generalized notion of inference system to support more fl...

Please sign up or login with your details

Forgot password? Click here to reset