Eki Laitila is a Finnish systems scientist, software researcher and pioneer of logic programming with more than four decades of experience in Prolog and symbolic AI.
His doctoral research developed an atomistic approach to program comprehension, connecting grammars, cognition, Turing-machine principles and executable software models. This work has since expanded from understanding programs to understanding systems, theories and systemic change. Eki is the creator of GoodReason and presented its Geometry of Thinking framework at the ISSS Conference in Cyprus in 2026.
From Good Old-Fashioned AI to GoodReason
Good Old-Fashioned AI lit the spark.
Prolog gave the thought a language.
The atomistic model opened code from within.
AI turned the model into dialogue,
and dialogue into shared inquiry.
When symbols find their systems,
systems learn from one another,
and knowledge finds a common direction,
GoodReason begins.
Suomeksi hyvän tekoälyn tarina
GoodReason on yli neljän vuosikymmenen symbolisen mallintamisen, ohjelmistotutkimuksen ja systeemiajattelun kehityskaaren nykyinen synteesi. Sen juuret ulottuvat 1980-luvun symboliseen tekoälyyn, Turbo Prologiin, logiikkaohjelmointiin ja ajatukseen siitä, että monimutkaisia ilmiöitä voidaan tehdä ymmärrettäviksi täsmällisten symbolisten rakenteiden avulla.
Väitöstutkimuksessa tämä ajatus kehittyi atomiseksi ohjelmien ymmärtämisen menetelmäksi. Myöhemmin tutkimuskohde laajeni koodista systeemeihin, teorioihin ja ihmisen ajatteluun. Nykyiset tekoälyt mahdollistavat seuraavan vaiheen: teoriat voidaan mallintaa systeemeinä, niiden vahvuuksia ja rajoituksia voidaan vertailla ja niiden tietämystä voidaan yhdistää yhteisiksi muutosmalleiksi.
GoodReason kokoaa tämän kehityksen avoimeksi metametodologiaksi. Sen α–Ω-koordinaatisto, kehät 1–7, ajattelun geometria ja SuperJSON muodostavat yhteisen semanttisen tilan ihmisen, tekoälyjen ja tulevien tutkimusyhteisöjen yhteistyölle. Kehityskaaren viimeinen vaihe on samalla uusi alku: julkaiseminen, käyttö ja palaute avaavat jatkuvasti uusia tutkimuskohteita, sovelluksia ja systeemisiä kysymyksiä.
Good Old-Fashioned AI sytytti kipinän.
Prolog antoi ajatukselle kielen.
Atominen malli avasi koodin sisältä päin.
Tekoäly muutti mallin dialogiksi
ja dialogin yhteiseksi tutkimukseksi.
Kun symbolit löytävät systeeminsä,
systeemit oppivat toisiltaan
ja tieto löytää yhteisen suunnan,
syntyy GoodReason.
Kehittäjät ja edistäjät:
- Prologin ja mallien kehittäjät: symbolinen paradigma, teoriat ja julkaistut mallit;
- Eki Laitila: Prologista atomiseen malliin, systeemien ymmärtämiseen ja GoodReasoniin;
- nykyiset AI-järjestelmät: mallinnus, dokumentointi, vertailu ja synteesi;
- Ville Laitila ja muut yhteistyökumppanit: mallien arviointi, visualisointi ja sovelluskokeet;
- ISSS, GitHub ja tulevat yhteisöt: validointi, käyttö, jakelu ja jatkokehitys.