Logics In Artificial Intelligence door