Forgetting for Defeasible Logic

Antoniou, Grigoris, Eiter, Thomas and Wang, Kewen (2012) Forgetting for Defeasible Logic. In: Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes on Computer Science, 7180 . Springer, pp. 77-91. ISBN 9783642287169

PDF - Accepted Version Restricted to Repository staff only Download (165kB)

Abstract

The concept of forgetting has received significant interest in artificial intelligence recently. Informally, given a knowledge base, we may wish to forget about (or discard) some redundant parts (such as atoms, predicates, concepts, etc) but still preserve the consequences for certain forms of reasoning. In nonmonotonic reasoning, so far forgetting has been studied only in the context of extension based approaches, mainly answer-set programming. In this paper forgetting is studied in the context of defeasible logic, which is a simple, efficient and sceptical nonmonotonic reasoning approach.

Item control for Repository Staff only: