On a Convex Logic Fragment for Learning and Reasoning

09/18/2018
by   Francesco Giannini, et al.
0

In this paper we introduce the convex fragment of Łukasiewicz Logic and discuss its possible applications in different learning schemes. Indeed, the provided theoretical results are highly general, because they can be exploited in any learning framework involving logical constraints. The method is of particular interest since the fragment guarantees to deal with convex constraints, which are shown to be equivalent to a set of linear constraints. Within this framework, we are able to formulate learning with kernel machines as well as collective classification as a quadratic programming problem.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/31/2019

Conditions for Unnecessary Logical Constraints in Kernel Machines

A main property of support vector machines consists in the fact that onl...
research
09/09/2022

Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic

This paper presents an extension of Defeasible Deontic Logic to deal wit...
research
10/23/2019

Knowledge of Uncertain Worlds: Programming with Logical Constraints

Programming with logic for sophisticated applications must deal with rec...
research
09/30/2011

Properties and Applications of Programs with Monotone and Convex Constraints

We study properties of programs with monotone and convex constraints. We...
research
12/10/2021

Logical Boltzmann Machines

The idea of representing symbolic knowledge in connectionist systems has...
research
12/10/2012

Soft Constraint Logic Programming for Electric Vehicle Travel Optimization

Soft Constraint Logic Programming is a natural and flexible declarative ...
research
05/26/2020

Hard Shape-Constrained Kernel Machines

Shape constraints (such as non-negativity, monotonicity, convexity) play...

Please sign up or login with your details

Forgot password? Click here to reset