Contruint una intel·ligència artificial fiable amb mètodes de lògica formal i raonament automatitzat.