Semantica
У Лема много хороших рассказов про ИИ.

Кстати, он упоминал, что спустя годы из всего цикла о Пирксе, больше всего ему нравятся "Ананке" и "Терминус".