![[Non-monotonic logic]]