Tag: first order logic in artificial intelligence