Tekoäly (engl. ``Artificial Intelligence''
) on monirönsyinen ja muuttuva tutkimusala, jolle
on vaikea antaa aivan täsmällistä määritelmää. Yksi aika osuva on:
Tekoälytutkimuksen tavoitteena on saada tietokoneet suoriutumaan tehtävistä, joiden ratkaiseminen toistaiseksi vaatii älykkyyttä.
Pragmaattinen ``insinöörinäkemys'' alasta voisi olla, että sen tavoitteena on yksinkertaisesti kehittää entistä korkeamman tason ohjelmistotekniikkaa. Tämän näkökulman korostamiseksi käytetään tekoälypohjaisesta ohjelmistotekniikasta usein termiä tietämystekniikka (engl. ``Knowledge Engineering''). Historiallisesti onkin ollut niin, että tekoälyyn kuuluviksi katsotut tutkimusalat ovat muuttuneet tavanomaiseksi tietotekniikaksi sitä mukaa kun ne on saatu hallintaan: ohjelmointikielten kääntäjätekniikka oli tekoälyä 1950- ja 1960-luvuilla, logiikkaohjelmointi (Prolog) ja ns.\ symbolialgebra 1970-luvulla, hahmontunnistus ja ns. neurolaskenta 1980-luvulla jne. 1990-luvun saavutus voisi olla vaikkapa šakin ja muiden täsmällisesti määriteltyjen pelien siirtäminen tekoälytutkimuksesta tavanomaisen tietotekniikan puolelle.