In this paper, we introduce the convex fragment of Łukasiewicz logic and discuss its possible applications in different learning schemes. 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.
On a Convex Logic Fragment for Learning and Reasoning
Giannini, Francesco
;Gori, Marco;
2019
Abstract
In this paper, we introduce the convex fragment of Łukasiewicz logic and discuss its possible applications in different learning schemes. 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.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
TFS - On a convex logic fragment for learning and reasoning.pdf
accesso aperto
Tipologia:
Published version
Licenza:
Solo Lettura
Dimensione
345.18 kB
Formato
Adobe PDF
|
345.18 kB | Adobe PDF |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.