IID Relaxation by Logical Expressivity: A Research Agenda for Fitting Logics to Neurosymbolic Requirements.

Maarten C. Stol Alessandra Mileo

Published in: CoRR (2024)

Keyphrases

inference rules
functional requirements
user requirements
computational properties
least squares
expressive power
modal logic
objective function
logical framework
curve fitting
truth values
fitting method