tekoälyn logiikka