Think like a human: the present and future of logic for trustworthy rational robots