A theory of forgetting in logic programming

File Size Format
29564_1.pdf 163Kb Adobe PDF View
Title A theory of forgetting in logic programming
Author Wang, Kewen; Sattar, Abdul; Su, Kaile
Publication Title Proceedings of the 20th National Conference on Artificial Intelligence (AAAI-2005)
Editor Manuela M. Veloso, Subbarao Kambhampati
Year Published 2005
Place of publication AAAI
Publisher AAAI Press
Abstract The study of forgetting for reasoning has attracted considerable attention in AI. However, much of the work on forgetting, and other related approaches such as independence, irrelevance and novelty, has been restricted to the classical logics. This paper describes a detailed theoretical investigation of the notion of forgetting in the context of logic programming. We first provide a semantic definition of forgetting under the answer sets for extended logic programs. We then discuss the desirable properties and some motivating examples. An important result of this study is an algorithm for computing the result of forgetting in a logic program. Furthermore, we present a modified version of the algorithm and show that the time complexity of the new algorithm is polynomial with respect to the size of the given logic program if the size of certain rules is fixed. We show how the proposed theory of forgetting can be used to characterize the logic program updates.
Peer Reviewed Yes
Published Yes
Publisher URI http://www.aaai.org/Press/Proceedings/aaai05.php
Copyright Statement Copyright 2005 AAAI Press. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. Use hypertext link for access to conference website.
ISBN 157735236X
Conference name 20th National Conference on Artificial Intelligence (AAAI-2005)
Location Pitsburgh
Date From 2005-07-09
Date To 2005-07-13
URI http://hdl.handle.net/10072/2699
Date Accessioned 2006-01-05
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Engineering and Information Technology
Subject Other Artificial Intelligence
Publication Type Conference Publications (Full Written Paper - Refereed)
Publication Type Code e1

Show simple item record

Griffith University copyright notice