From Black Box to Logic: Explaining Neural Networks with xDNN(ASP)

Share
From Black Box to Logic: Explaining Neural Networks with xDNN(ASP)

Deep neural networks are powerful—but often inscrutable. xDNN(ASP), a new method by Ly Ly Trieu and Tran Cao Son, turns a trained network into a human-readable set of logical rules using Answer Set Programming (a logic-based AI method).

Unlike many explainability tools that only highlight which inputs mattered for one prediction, xDNN(ASP) builds a global explanation: a logic program whose answers correspond to the network’s input–output behavior.

  • See which features consistently drive decisions.
  • Understand how hidden nodes influence outcomes.
  • Keep prediction accuracy high while revealing the model’s structure.
  • Use those insights to prune unnecessary hidden nodes and simplify the network.

Tested on synthetic datasets, the extracted rules closely match the original model’s predictions and provide actionable guidance for optimization.

Paper: xDNN(ASP): Explanation Generation System for Deep Neural Networks powered by Answer Set Programming — https://arxiv.org/abs/2601.03847v1

Paper: https://arxiv.org/abs/2601.03847v1

Register: https://www.AiFeta.com

AI ExplainableAI xAI DeepLearning MachineLearning LogicProgramming NeuralNetworks

Read more

Kielimallit tekevät vaatimuskysymyksiä eri tyyleillä – ja tyyli riippuu käyttötarkoituksesta

Kielimallit tekevät vaatimuskysymyksiä eri tyyleillä – ja tyyli riippuu käyttötarkoituksesta

Uusi vertailu näyttää, että tekoälyn tapa muotoilla järjestelmävaatimuksia luonnollisen kielen kysymyksiksi vaihtelee mallin ja aiheen mukaan. Siksi tärkeintä ei ole valita ”parasta” mallia, vaan tilanteeseen sopiva. Kuvitellaan tuttu kokous: pöydän ääressä yritetään päättää, mitä uuden tietojärjestelmän pitää pystyä tekemään. Syntyy lista kysymyksiä, joihin järjestelmän on osattava vastata. Esimerkiksi: ”Mitkä lääkkeet

By Kari Jaaskelainen
Julkaistu ajattelu voidaan jo purkaa tekoälyksi

Julkaistu ajattelu voidaan jo purkaa tekoälyksi

Kun tutkija jättää työpöytänsä, hänen äänensä ei välttämättä vaikene. Pelkistä julkaisuista voidaan jo rakentaa tekoäly, joka ohjaa väitöskirjaa, arvioi artikkeleita ja väittelee paneelissa – uskottavasti. Useimmat meistä ajattelevat tutkimusartikkeleita kirjastoiksi: hyllyriveiksi ajatuksia, joihin muut voivat palata. Uusi arXivissa julkaistu esityspaperi ehdottaa toisenlaista kuvaa. Julkaisut ovatkin rakennuspiirustuksia, joista voidaan koota tekijänsä ajattelutapa

By Kari Jaaskelainen
Konferenssien suunta ei ole pakko syntyä suljettujen ovien takana

Konferenssien suunta ei ole pakko syntyä suljettujen ovien takana

Moni tietää tunteen seminaarin päätteeksi: ohjelma oli kiinnostava, mutta kuka päätti, mistä puhuttiin ja mistä ei? Usein vastaus on pieni ohjelmakomitea, joka tekee valinnat ennakkoon. Yleisö kuuntelee, harva vaikuttaa. Eräässä tekoälyn yhteiskunnallisia vaikutuksia käsittelevässä kansainvälisessä konferenssissa kokeiltiin toisenlaista tapaa. Osallistujat eivät vain tulleet paikalle – he auttoivat muokkaamaan itse tilaisuuden suuntaa.

By Kari Jaaskelainen