AI & Non-monotonic Logic