Inference systems designed for agents