Solving logic program conflicts through strong and weak forgettings

There are no files associated with this record.

Title Solving logic program conflicts through strong and weak forgettings
Author Zhang, Yan; Foo, Norman; Wang, Kewen
Publication Title IJCAI-05 : Proceedings of the 19th International Joint Conference on Artificial Intelligence
Editor L. Kaelbling, A. Saffiotti
Year Published 2005
Place of publication USA
Publisher International Joint Conferences on Artificial Intelligence
Abstract We consider how to forget a set of atoms in a logic program. Intuitively, when a set of atoms is forgotten from a logic program, all atoms in the set should be eliminated from this program in some way, and other atoms related to them in the program might also be affected. We define notions of strong and weak forgettings in logic programs to capture such intuition and reveal their close connections to the notion of forgetting in classical propositional theories. Based on these notions, we then propose a framework for conflict solving in logic programs, which is genarl enough to represent many important conflict solving problems. We also study some essential semantic and computational properties in relation to strong and weak forgettings and conflict solving in our framework.
Peer Reviewed Yes
Published Yes
ISBN 0938075934
Conference name 19th International Joint Conference on Artificial Intelligence (IJCAI-2005)
Location Edinburgh
Date From 2005-07-30
Date To 2005-08-05
URI http://hdl.handle.net/10072/2700
Date Accessioned 2006-01-05
Date Available 2007-03-21T21:25:39Z
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

Brief Record

Griffith University copyright notice