Anfonwch hwn fel neges destun: Logics in artificial intelligence :