Logische methoden voor KI I