Based on a recently proposed framework of learning from constraints using kernel-based representations, in this brief, we naturally extend its application to the case of inferences on new constraints. We give examples for polynomials and first-order logic by showing how new constraints can be checked on the basis of given premises and data samples. Interestingly, this gives rise to a perceptual logic scheme in which the inference mechanisms do not rely only on formal schemes, but also on the data probability distribution. It is claimed that when using a properly relaxed computational checking approach, the complementary role of data samples makes it possible to break the complexity barriers of related formal checking mechanisms.

Gori, M., Melacci, S. (2013). Constraint Verification With Kernel Machines. IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, 24(5), 825-831 [10.1109/TNNLS.2013.2241787].

Constraint Verification With Kernel Machines

GORI, MARCO;MELACCI, STEFANO
2013-01-01

Abstract

Based on a recently proposed framework of learning from constraints using kernel-based representations, in this brief, we naturally extend its application to the case of inferences on new constraints. We give examples for polynomials and first-order logic by showing how new constraints can be checked on the basis of given premises and data samples. Interestingly, this gives rise to a perceptual logic scheme in which the inference mechanisms do not rely only on formal schemes, but also on the data probability distribution. It is claimed that when using a properly relaxed computational checking approach, the complementary role of data samples makes it possible to break the complexity barriers of related formal checking mechanisms.
2013
Gori, M., Melacci, S. (2013). Constraint Verification With Kernel Machines. IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, 24(5), 825-831 [10.1109/TNNLS.2013.2241787].
File in questo prodotto:
File Dimensione Formato  
melacci3_TNNLS2013.pdf

non disponibili

Tipologia: PDF editoriale
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 900.1 kB
Formato Adobe PDF
900.1 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11365/47150