Goal Theory Based on Defeasible Logic

Traditional goal theory adopts Kripkean possible world semantics based normal modal logic to describe goal operator, which has monotonic trait. This paper argues that goal has non-monotonic nature; therefore, defeasible logic is imported to build goal theory. Case study shows that the novel goal theory can solve logic omniscience ideally.