Kuvittelepa vakuutusyhtiön AI-assistentti.

Asiakas kysyy, kuuluuko vesivahinko korvauksen piiriin. Malli lukee vakuutusehdot, löytää sopivan kohdan ja vastaa itsevarmasti: kyllä, korvataan.

Vastaus kuulostaa hyvältä. Se on kirjoitettu kohteliaasti, siinä on perustelu ja se näyttää asiantuntevalta. Ongelma on pieni mutta kallis: asiakkaan sopimuksessa on poikkeus, joka rajaa juuri tämän tilanteen ulos. Malli ei valehdellut tahallaan. Se teki sen, mihin kielimallit ovat hyviä. Se tuotti uskottavan vastauksen.

Yritys ei tarvitse tähän sujuvampaa kirjoittajaa. Se tarvitsee järjestelmän, joka pysähtyy, hakee oikean sopimuksen, soveltaa poikkeussääntöä, näyttää mihin päätös perustuu ja sanoo tarvittaessa: tietoa ei löydy.

Tähän tulee avuksi eräs potentiaalinen GPT-teknologian korvaaja: neuro-symbolinen AI.

Perusidea: intuitio kohtaa sääntökirjan

Neuro-symbolinen AI yhdistää kaksi erilaista tekoälyn tapaa toimia.

Neuro-osuus tarkoittaa koneoppimista: kielimalleja, kuvamalleja, graafineuroverkkoja ja muita neuroverkkoja. Ne tunnistavat hahmoja datasta. Ne lukevat tekstiä, tulkitsevat kysymyksiä, löytävät yhteyksiä ja käsittelevät epätäydellistä maailmaa.

Symbolinen osuus tarkoittaa eksplisiittisiä käsitteitä ja sääntöjä: logiikkaa, tietograafeja, ontologioita, sääntökoneita, kyselykieliä ja formaaleja todistimia. Niissä tieto kuvataan suhteina, joita voi tarkistaa.

Yksinkertainen vertaus:

Osa

Mitä tekee

Arkinen vertaus

Neuroverkko

Tunnistaa, tulkitsee ja ehdottaa

Nopea asiantuntija-avustaja

Symbolinen järjestelmä

Tarkistaa, rajaa ja päättelee

Sääntökirja, tilikartta ja tarkistuslista

Neuro-symbolinen AI

Yhdistää molemmat

Avustaja, jonka on pakko käyttää sääntökirjaa

Pelkkä neuroverkko osaa usein arvata hyvin. Pelkkä sääntöjärjestelmä on tarkka, mutta jäykkä. Neuro-symbolisen AI:n lupaus on yhdistää joustava tulkinta ja tarkistettava päättely.

Idea ei ole uusi. Symbolinen AI hallitsi tekoälyn alkuvaiheita: asiantuntijajärjestelmiä, logiikkaohjelmointia, sääntöjä ja hakualgoritmeja. Syväoppiminen vei huomion, koska se oppi datasta ilman käsin kirjoitettua sääntöviidakkoa.

Nyt heiluri palaa keskelle. Syväoppiminen onnistui niin hyvin, että sitä halutaan käyttää paikoissa, joissa pelkkä hyvä arvaus ei riitä.

Miksi aihe palaa juuri nyt?

Kielimallit tekivät tekoälystä käyttöliittymän. Ennen yrityksen tietoon pääsi raporttien, kojelautojen, hakujen ja SQL-kyselyiden kautta. Nyt ihmiset haluavat kysyä luonnollisella kielellä:

  • Miksi tämä asiakas on riskissä?

  • Saako tämän sopimuksen hyväksyä?

  • Mikä toimitusvaihtoehto on halvin ja sääntöjen mukainen?

  • Voiko tälle asiakkaalle luvata alennuksen?

Tässä kohtaa tavallinen chatbot alkaa olla väärä työkalu.

OpenAI on kuvannut GPT-4:n yhteydessä hallusinaatiot todelliseksi ongelmaksi. o1-järjestelmäkortti näyttää, että reasoning-mallit vähentävät virheitä joissakin testeissä, mutta eivät poista niitä. SimpleQA-arvioinnissa o1:n hallusinaatioaste oli 0,44, kun GPT-4o:n luku oli 0,61. Parempi, kyllä. Säädellyn prosessin perustaksi se kaipaa silti tarkistusta. Olen kirjoittanut aiemmin erikseen siitä, miten AI-vastausten luotettavuutta kannattaa arvioida.

Tutkimuspuolellakin liike näkyy. Vuoden 2025 systemaattinen katsaus seuloi 1 428 neuro-symbolista AI:ta käsittelevää paperia ja löysi niistä 167 varsinaista tutkimusta vuosilta 2020-2024. Ala ei ole LLM:ien kaltainen valtavirta, mutta mikään kuriositeetti se ei enää ole.

Reasoning-mallit, kuten OpenAI:n o-sarja ja DeepSeek-R1, parantavat kielimallien kykyä pysähtyä, miettiä ja korjata itseään. Se on tärkeä kehityssuunta, jota avasin tarkemmin reasoning-vallankumousta käsittelevässä jutussa.

Mutta reasoning-malli ei ole sama asia kuin formaali todistus, sääntökone tai yrityksen tietomalli. Se voi kirjoittaa paremman päättelyketjun. Se ei silti välttämättä pysty sanomaan: "Tätä sopimuspykälää sovellettiin, tämä tieto haettiin tästä järjestelmästä, ja koska tieto puuttuu, päätöstä ei tehdä."

Yrityksissä juuri tuo ratkaisee.

Tärkein ajatus on tämä: LLM:n pitäisi olla käyttöliittymä totuuden lähteeseen, ei totuuden lähde.

Janne Ikola

Haluatko henkilökohtaista AI-sparria? Haluatko oppia miten saat AI:sta omassa työssäsi enemmän irti?

Nappaa AI-Sanomien perustajan, Janne Ikolan, tarjoama 2h AI-sparrisessio hintaan 470 € (sis. ALV). 100 % rahat takaisin -takuu jos olet tyytymätön palvelun laatuun.

Olen järjestänyt henkilökohtaisia AI-sparrauksia jo kolmen vuoden ajan ja asiakkaiden palaute on ollut 10/10. Yrittäjät, toimitusjohtajat, tietotyöläiset, tai vaikkapa työnhakijat, ovat saaneet 10x hyödyn tehokkaasta AI-sparrauksesta. Monen kanssa yhteistä sparria on jatkettu jo 3 vuoden ajan kuukausittain.

Osta itsellesi tai tiimiläisillesi ensimmäinen kerta alta 👇

Sama esimerkki neljällä eri tavalla

Palataan vakuutusyhtiöön.

Asiakas kysyy, korvataanko vahinko. Eri AI-arkkitehtuurit käsittelevät kysymystä eri tavalla.

Lähestymistapa

Mitä tapahtuu vakuutusesimerkissä

Riskikohta

Tavallinen LLM

Malli lukee kysymyksen ja vastaa opetusdatansa sekä kontekstin perusteella

Vastaus voi olla uskottava mutta väärä

RAG

Malli hakee vakuutusehdoista sopivia dokumenttikohtia ja vastaa niiden avulla

Haku voi löytää oikean kohdan mutta ohittaa asiakkaan poikkeuksen

GraphRAG

Järjestelmä hyödyntää suhteita: asiakas, sopimus, vahinkotyyppi, poikkeus, tuote

Graafin rakentaminen ja ylläpito vaatii työtä

Neuro-symbolinen AI

LLM tulkitsee kysymyksen, sääntökerros tarkistaa ehdot ja tietograafi näyttää suhteet

Toimii vain, jos säännöt ja tieto on mallinnettu oikein

Tavallinen RAG oli iso käytännön parannus kielimallien faktuaalisuuteen. Malli ei vastaa pelkän muistinsa pohjalta, vaan hakee ensin dokumentteja. Se toimii monessa arjen tietotyössä hyvin.

Mutta dokumentit eivät ole sama asia kuin tieto.

Yrityksen todellinen tieto on usein suhteissa. Asiakas omistaa sopimuksen. Sopimus kuuluu tuoteryhmään. Tuoteryhmällä on poikkeussääntö. Poikkeussääntö koskee vain tiettyä vahinkotyyppiä. Tietty päätös vaatii hyväksynnän. Tavallinen dokumenttihaku löytää ehkä yhden osan tästä ketjusta. Tietograafi voi kuvata koko ketjun.

GraphRAG vie RAGia tähän suuntaan. Se rakentaa dokumenteista graafimaisen esityksen ja hyödyntää entiteettien välisiä suhteita haussa. Microsoftin GraphRAG-projekti kuvaa tekniikkaa yhdistelmänä tekstin erottelua, verkostoanalyysiä, LLM-promptausta ja yhteenvetoa.

Neljä tapaa rakentaa neuro-symbolinen järjestelmä

Neuro-symbolinen AI on kattotermi. Sama sana voi tarkoittaa hyvinkin eri ratkaisuja.

Käytännössä vastaan tulee neljä mallia.

Malli

Selitys

Esimerkki

Malli ehdottaa, sääntö tarkistaa

LLM tuottaa luonnoksen tai formaalin esityksen, symbolinen moottori tarkistaa

Matematiikan todistaminen Leanilla

Sääntö tuottaa dataa, malli oppii

Symbolinen järjestelmä luo esimerkkejä, joilla neuroverkkoa opetetaan

AlphaGeometryn synteettinen geometriadata

Logiikka ohjaa oppimista

Loogiset väitteet ovat osa mallin oppimistavoitetta

Logic Tensor Networks ja LTNtorch

LLM toimii käyttöliittymänä tietoon

Malli tulkitsee kysymyksen, mutta tieto ja säännöt tulevat graafista tai sääntökoneesta

GraphRAG, tietograafit, SPARQL-kyselyt

Neljäs malli on yrityksille tärkein. Se on vähemmän futuristinen kuin matematiikkaolympialaisten tehtäviä ratkova tekoäly, mutta paljon lähempänä arkea.

Yrityksessä neuro-symbolinen AI voi tarkoittaa tätä:

  1. Käsitteet mallinnetaan tietograafiksi.

  2. Dokumentit, tietokannat ja prosessit liitetään siihen.

  3. Liiketoimintasäännöt tehdään koneellisesti luettaviksi.

  4. LLM toimii käyttöliittymänä.

  5. Järjestelmä hakee, tarkistaa ja jättää päättelyjäljen.

Tämä kuulostaa enemmän data-arkkitehtuurilta kuin tekoälyhypeltä. Hyvä niin.

AlphaGeometry: hetki jolloin teoria muuttui näytöksi

Vahvin julkinen neuro-symbolisen AI:n näyttö löytyy matematiikasta.

Google DeepMindin AlphaGeometry ratkaisi 25 kolmestakymmenestä olympiatason geometriatehtävästä. Aiempi paras menetelmä ratkaisi 10. Nature-artikkelin mukaan ihmisen IMO-kultamitalistin keskimääräinen taso oli 25,9 tehtävää samassa asetelmassa.

Tässä kohtaa neuro-symbolinen AI lakkaa olemasta pelkkä tutkimuslupaus.

AlphaGeometry ei toiminut pelkkänä isona kielimallina. Se yhdisti neuroverkon ja symbolisen deduktiomoottorin. Neuroverkko ehdotti geometrian apukonstruktioita. Symbolinen moottori teki tarkistettavat päätelmät.

Tulos syntyi työnjaosta. Neuroverkko toi luovuuden ja ehdotukset. Symbolinen järjestelmä toi oikeellisuuden.

DeepMind jatkoi samalla suunnalla AlphaProofin ja AlphaGeometry 2:n kanssa. Vuoden 2024 kansainvälisessä matematiikkaolympiadissa järjestelmät ratkaisivat yhdessä neljä kuudesta tehtävästä ja saivat 28 pistettä neljästäkymmenestäkahdesta. Se vastasi hopeamitalitasoa. AlphaProof käytti Lean-formaalikieltä, jossa todistukset voidaan tarkistaa.

Tästä ei pidä tehdä liian suurta yleistystä. Geometria on neuro-symboliselle AI:lle poikkeuksellisen hyvä ympäristö: säännöt ovat tarkkoja ja oikea vastaus voidaan todistaa. Yrityksen strategia, lääkärin päätöksenteko tai juridiikka on sotkuisempaa. Käsitteet muuttuvat, lähteet ovat ristiriitaisia ja oikeellisuus ei aina ole yksi formaali totuus.

Perusoppi silti kantaa. Neuro-symbolinen AI toimii parhaiten, kun ongelmassa on selkeä formaali ydin.

Yrittäjän AI-kehotepankki: +130 kehotetta (Toukokuu 2026)
Yrittäjän AI-kehotepankki: +130 kehotetta (Toukokuu 2026)
Lopeta arpominen ja ala hyödyntämään tekoälyä oikeasti. 130+ valmista kehotepohjaa suomalaiselle yrittäjälle - markkinointiin, myyntiin, talouteen, rekrytointiin ja johtamiseen. Kopioi, muokkaa, kä...
€87.00 eur

Missä tästä on oikeasti hyötyä?

Neuro-symbolinen AI sopii huonosti tehtäviin, joissa riittää sujuva teksti. Sähköpostin luonnostelu, blogi-idean kehittely, käännökset ja tiivistelmät eivät kaipaa raskasta sääntökerrosta.

Se sopii tehtäviin, joissa väärä vastaus maksaa.

Alue

Miksi neuro-symbolinen sopii

Matematiikka ja todistaminen

Ratkaisu voidaan tarkistaa formaalisti

Robotiikka

LLM voi suunnitella, mutta toiminnan pitää noudattaa fyysisiä ja tehtäväkohtaisia sääntöjä

Lääkekehitys

Pelkkä ennuste ei riitä, tarvitaan biologisesti mielekäs perusteluketju

Kyberturva

Hälytyksiä pitää luokitella, selittää ja yhdistää sääntöihin

Finanssi ja compliance

Päätösten pitää olla jäljitettäviä ja sääntöjen mukaisia

Yritysten tietotyö

Tieto on suhteissa, käsitteissä, prosesseissa ja poikkeuksissa

Robotiikassa tutkijat ovat kokeilleet GPT-3:n ja PDDL-suunnittelun yhdistelmää. Frontiers in Neurorobotics -paperissa Teriyaki-kehys ratkaisi 95,5 prosenttia testitehtävistä valituissa domaineissa ja lyhensi suunnitelmia perinteiseen symboliseen suunnittelijaan verrattuna. Kirjoittajat kuvasivat työtä proof of concept -tasoiseksi, mikä on tässä vahvuus. Rajaus on aika selvä.

Lääkekehityksessä Nature Communications -paperi käytti knowledge graph -pohjaista päättelyä lääkerepositionoinnin perusteluketjujen tuottamiseen. Tutkimuksessa automaattinen suodatus vähensi tuotettujen polkujen määrää 85 prosenttia kystisessä fibroosissa ja 95 prosenttia Parkinsonin taudissa. Tutkija ei tarvitse pelkkää listaa mahdollisista lääkeaihioista. Hän tarvitsee reitin, joka kertoo miksi yhteys voisi olla biologisesti mielekäs.

Kyberturvassa Logic Tensor Network -pohjaisia malleja on kokeiltu hyökkäysten tunnistuksessa. Idea on yhdistää luokittelu ja loogiset selitykset. Tähän kannattaa suhtautua varovaisesti, koska osa aineistoista on vanhoja. Silti suunta on oikea: turvallisuustiimi tarvitsee perusteluita, ei pelkkää "malli sanoo punainen" -hälytystä.

Suurin riski: termi muuttuu markkinointisumuksi

Neuro-symbolinen AI kuulostaa juuri sopivan painavalta. Se lupaa ratkaista hallusinaatiot, lisätä selitettävyyttä ja tuoda tekoälyyn järjen. Tässä kohtaa hälytyskellojen kannattaa soida.

Termi on liian mielestäni lavea.

Yhdessä päässä ovat muodolliset tutkimuskehykset kuten DeepProbLog, Logic Tensor Networks ja Scallop. Niissä neuroverkko ja logiikka on aidosti yhdistetty osaksi samaa päättely- tai oppimisjärjestelmää.

Toisessa päässä ovat tuotteet, joissa LLM hakee tietoa tietograafista ja kirjoittaa vastauksen. Se voi olla käytännössä hyödyllistä. Se ei silti automaattisesti tarkoita, että järjestelmä olisi syvällisesti neuro-symbolinen.

Ostajan tai käyttäjän kysymys ei pitäisi olla: "Onko tämä neuro-symbolista AI:ta?"

Paremmat kysymykset ovat:

  1. Mikä osa vastauksesta tulee mallilta ja mikä tarkistettavasta tietolähteestä?

  2. Onko järjestelmässä eksplisiittinen tietomalli, sääntökerros tai todistin?

  3. Mitä järjestelmä tekee, kun tietoa ei löydy?

  4. Näkyykö päättelyjälki ihmiselle?

  5. Kuka omistaa ja päivittää säännöt, graafin ja ontologian?

  6. Miten ratkaisu pärjää tavalliseen RAGiin verrattuna?

Erityisen varovainen kannattaa olla selitettävyyden kanssa. Symbolinen päättelypolku ei automaattisesti tarkoita hyvää selitystä. MARS-tutkimus lääkekehityksessä osoitti, että neuro-symbolinen malli voi oppia oikopolkuja tietograafin rakenteesta. Se voi siis näyttää antavan sääntöpolun, vaikka taustalla oleva syy on tilastollinen vinouma.

Selitys ei ole sama asia kuin totuus.

Neuro-symbolinen AI auttaa vain, jos symbolinen osa todella rajoittaa, tarkistaa tai todistaa. Jos se on koriste, ongelma siirtyy uuteen pakettiin.

Mitä suomalaisen yrityksen kannattaa tehdä asian suhteen?

Neuro-symbolista AI:ta ei tarvitse aloittaa tutkimuslaboratoriosta. Aloita pienestä kohdasta, jossa nykyinen AI-agentti olisi liian vapaa.

1. Etsi päätökset, joissa väärä vastaus maksaa

Hyviä kohteita ovat sopimukset, hinnoittelu, poikkeusluvat, compliance, tukipyyntöjen eskalointi, vakuutusehdot, riskiluokitus ja toimituslupaukset. Sähköpostiluonnokset voi jättää rauhaan.

2. Kirjoita säännöt näkyviin

Jos sääntöä ei pysty kirjoittamaan ihmisen luettavaksi, sitä on vaikea pakottaa koneelle. Aloita päätöstaulukosta. Millä ehdoilla päätös on kyllä, ei tai vaatii ihmisen?

3. Rakenna pieni tietograafi

Ota 20-50 käsitettä: asiakkaat, tuotteet, sopimustyypit, prosessivaiheet, riskiluokat ja poikkeukset. Kuvaa niiden suhteet. Työkaluksi riittää alkuun taulukko, Neo4j, RDFLib tai muu kevyt graafityökalu.

4. Pakota malli hakemaan ennen vastaamista

Anna LLM:lle tehtävä, jossa se saa vastata vain graafin, dokumentin tai sääntötaulukon perusteella. Jos tieto puuttuu, vastaus on "en tiedä". Tämä yksi sääntö muuttaa järjestelmän luonteen.

5. Vertaa tavalliseen RAGiin

Älä rakenna neuro-symbolista järjestelmää siksi, että termi kuulostaa hienolta. Testaa se tavallista RAGia vastaan. Vähenevätkö virheet? Paraneeko jäljitettävyys? Löytyvätkö poikkeukset paremmin? Ymmärtääkö ihminen päättelyjäljen?

Mihin suuntaan tämä vie?

Generatiivisen AI:n ensimmäinen aalto oli käyttöliittymäaalto. ChatGPT teki tekoälystä keskusteltavan. Claude, Gemini ja muut tekivät siitä työkalun kirjoittamiseen, koodaamiseen ja analyysiin.

Seuraava aalto on hallinnan aalto.

Yritykset eivät enää kysy vain, osaako malli vastata. Ne kysyvät:

  • Mihin tieto perustuu?

  • Voiko päätöksen auditoida?

  • Noudattaako järjestelmä sääntöjä?

  • Mitä tapahtuu, kun tieto puuttuu?

  • Kuka vastaa, jos malli toimii väärin?

Näihin kysymyksiin ei vastata pelkällä isommalla mallilla.

Suurin malli ei aina ole paras järjestelmä. Paras järjestelmä voi olla pienempi malli, hyvä tietograafi, selkeä sääntökerros, kunnolliset testit ja käyttöliittymä, joka osaa kysyä oikeat asiat.

Janne Ikola

Tämä on neuro-symbolisen AI:n todellinen merkitys. Se muistuttaa, että tekoäly ei ole vain mallin sisäinen kyvykkyys. Se on kokonainen järjestelmä: data, säännöt, työkalut, rajaukset, tarkistukset ja vastuu.

GPT tarvitsee sääntökirjan, koska yrityksen maailma on täynnä sääntöjä, poikkeuksia ja suhteita, joita hyväkään kielimalli ei saa keksiä päästään.

Kun tekoäly siirtyy mukavasta assistentista vastuulliseksi järjestelmäksi, neuro-symbolinen AI muuttuu teoriasta arkkitehtuuriksi.

Lähteet

  1. Artur d'Avila Garcez ja Luis C. Lamb, "Neurosymbolic AI: The 3rd Wave", 2020 - arxiv.org

  2. Brandon C. Colelough ja William Regli, "Neuro-Symbolic AI in 2024: A Systematic Review", 2025 - arxiv.org

  3. Zishen Wan et al., "Towards Cognitive AI Systems: a Survey and Prospective on Neuro-Symbolic AI", 2024 - arxiv.org

  4. Henry Kautz, "The third AI summer: AAAI Robert S. Engelmore Memorial Lecture", 2022 - doi.org

  5. Gary Marcus, "The Next Decade in AI: Four Steps Towards Robust Artificial Intelligence", 2020 - arxiv.org

  6. Lauren Nicole DeLong, Ramon Fernández Mir ja Jacques D. Fleuriot, "Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey", 2024 - arxiv.org

  7. Robin Manhaeve et al., "DeepProbLog: Neural Probabilistic Logic Programming", 2018 - papers.nips.cc

  8. Ziyang Li, Jiani Huang ja Mayur Naik, "Scallop: A Language for Neurosymbolic Programming", 2023 - arxiv.org

  9. Trieu H. Trinh et al., "Solving olympiad geometry without human demonstrations", Nature, 2024 - nature.com

  10. Google DeepMind, "AI achieves silver-medal standard solving International Mathematical Olympiad problems", 2024 - deepmind.google

  11. OpenAI, "GPT-4", 2023 - openai.com

  12. OpenAI, "OpenAI o1 System Card", 2024 - openai.com

  13. DeepSeek-AI, "DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning", 2025 - arxiv.org

  14. Microsoft Research, "Project GraphRAG", 2024-2025 - microsoft.com

  15. Boci Peng et al., "Graph Retrieval-Augmented Generation: A Survey", 2024 - arxiv.org

  16. Alessio Capitanelli ja Fulvio Mastrogiovanni, "A framework for neurosymbolic robot action planning using large language models", 2024 - frontiersin.org

  17. Saatviga Sudhahar et al., "An experimentally validated approach to automated biological evidence generation in drug discovery using knowledge graphs", 2024 - nature.com

  18. Lauren Nicole DeLong et al., "MARS: A neurosymbolic approach for interpretable drug discovery", 2025 - arxiv.org

Haluatko sparrailla AI:sta etäkahvitellen?

Tekoäly voi olla voimakas työkalu, ja näiden aloittelijaystävällisten vaihtoehtojen avulla voit hyödyntää sitä omissa projekteissasi – olipa kyseessä sisällöntuotanto, ohjelmointi, markkinointi tai oppiminen.

Jos kaipaat koulutusta tekoäly-työkalujen käyttöön, nappaa tästä sitoumukseton etäkahvitteluaika ja jutellaan tarpeistasi 👇

Reply

Avatar

or to participate

Keep Reading