Գրեք սա: Logics in artificial intelligence :