LPForget: A System of Forgetting in Answer Set Programming | Zendy

Fu-Leung Cheng | Zendy; Thomas Eiter | Zendy; Nathan Robinson | Zendy; Abdul Sattar | Zendy; Kewen Wang | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

LPForget: A System of Forgetting in Answer Set Programming

Author(s) -

Fu-Leung Cheng,

Thomas Eiter,

Nathan Robinson,

Abdul Sattar,

Kewen Wang

Publication year - 2006

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

DOI - 10.1007/11941439_130

Subject(s) - forgetting , answer set programming , computer science , set (abstract data type) , semantics (computer science) , ontology , logic programming , programming language , preference , stable model semantics , artificial intelligence , theoretical computer science , operational semantics , mathematics , philosophy , statistics , epistemology , linguistics

A novel declarative approach of forgetting in answer set programming (ASP) has been proposed recently. In this paper we report a system prototype of forgetting in ASP, called LPForget. It consists of two modules: (1) Forgetting: computing the result of forgetting about certain literals in logic program under the answer set semantics; (2) CRS: application of forgetting in resolving conflict (or preference recovery) in multi-agent systems. The motivation for developing LPForget is to provide reasoning support for managing ontologies in rule-based ontology language as well as using the system for studying theoretic properties of forgetting.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research