Nonmonotonic Logic

1. Monoton olmayan mantık

2. Tekdüze olmayan mantık