Forgetting for Defeasible Logic

Grigoris Antoniou, Thomas Eiter, Kewen Wang

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

3 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationLogic for Programming, Artificial Intelligence, and Reasoning
Subtitle of host publication18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
EditorsNikolaj Bjørner, Andrei Voronkov
Place of PublicationBerlin
PublisherSpringer-Verlag Berlin Heidelberg
Pages77-91
Number of pages15
Volume7180 LNCS
ISBN (Electronic)9783642287176
ISBN (Print)9783642287169
DOIs
Publication statusPublished - 24 Feb 2012
Event18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - Merida, Venezuela, Bolivarian Republic of
Duration: 11 Mar 201215 Mar 2012
Conference number: 18

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer-Verlag Berlin Heidelberg
Volume7180 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Abbreviated titleLPAR-18
CountryVenezuela, Bolivarian Republic of
CityMerida
Period11/03/1215/03/12

Fingerprint

Dive into the research topics of 'Forgetting for Defeasible Logic'. Together they form a unique fingerprint.

Cite this