A key benefit of symbolic (rule-based) artificial intelligence (AI) is its formal rigor, which comes at the cost of formal modeling effort and computational expensive reasoning. Differently, subsymbolic (datadriven) AI approaches usually outperform rigorous ones in performance but might lead to unsound results. Intersymbolic AI is an emerging field in AI that aims to combine symbolic and subsymbolic AI approaches, exploiting the benefits from both worlds. The scope of the ISoLA 2025 track on "Formal Methods for Intersymbolic AI" is to gather researchers and practitioners from formal methods and (sub)symbolic AI to establish the boundaries of intersymbolic AI and to investigate and clarify the role of formal methods therein.
Formal methods for intersymbolic AI
ter Beek M. H.;
2025
Abstract
A key benefit of symbolic (rule-based) artificial intelligence (AI) is its formal rigor, which comes at the cost of formal modeling effort and computational expensive reasoning. Differently, subsymbolic (datadriven) AI approaches usually outperform rigorous ones in performance but might lead to unsound results. Intersymbolic AI is an emerging field in AI that aims to combine symbolic and subsymbolic AI approaches, exploiting the benefits from both worlds. The scope of the ISoLA 2025 track on "Formal Methods for Intersymbolic AI" is to gather researchers and practitioners from formal methods and (sub)symbolic AI to establish the boundaries of intersymbolic AI and to investigate and clarify the role of formal methods therein.| File | Dimensione | Formato | |
|---|---|---|---|
|
AISoLA25.pdf
accesso aperto
Descrizione: Formal Methods for Intersymbolic AI
Tipologia:
Versione Editoriale (PDF)
Licenza:
Creative commons
Dimensione
73.95 kB
Formato
Adobe PDF
|
73.95 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
