Forgetting for Defeasible Logic

Grigoris Antoniou; Thomas Eiter; Kewen Wang

doi:10.1007/978-3-642-28717-6_9

Forgetting for Defeasible Logic

Grigoris Antoniou, Thomas Eiter, Kewen Wang

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

5 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 language	English
Title of host publication	Logic for Programming, Artificial Intelligence, and Reasoning
Subtitle of host publication	18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
Editors	Nikolaj Bjørner, Andrei Voronkov
Place of Publication	Berlin
Publisher	Springer-Verlag Berlin Heidelberg
Pages	77-91
Number of pages	15
Volume	7180 LNCS
ISBN (Electronic)	9783642287176
ISBN (Print)	9783642287169
DOIs	https://doi.org/10.1007/978-3-642-28717-6_9
Publication status	Published - 24 Feb 2012
Event	18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - Merida, Venezuela, Bolivarian Republic of Duration: 11 Mar 2012 → 15 Mar 2012 Conference number: 18

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer-Verlag Berlin Heidelberg
Volume	7180 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Abbreviated title	LPAR-18
Country/Territory	Venezuela, Bolivarian Republic of
City	Merida
Period	11/03/12 → 15/03/12

Access to Document

10.1007/978-3-642-28717-6_9Licence: Unspecified

Cite this

Antoniou, G., Eiter, T., & Wang, K. (2012). Forgetting for Defeasible Logic. In N. Bjørner, & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings (Vol. 7180 LNCS, pp. 77-91). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7180 LNCS). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-642-28717-6_9

Antoniou, Grigoris ; Eiter, Thomas ; Wang, Kewen. / Forgetting for Defeasible Logic. Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings. editor / Nikolaj Bjørner ; Andrei Voronkov. Vol. 7180 LNCS Berlin : Springer-Verlag Berlin Heidelberg, 2012. pp. 77-91 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{aa8e1d1a9f8c4b3c9ed3e846cf4fcd5a,

title = "Forgetting for Defeasible Logic",

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.",

keywords = "Proof Theory, Strict Rule, Default Theory, Redundant Part, Defeasible Reasoning",

author = "Grigoris Antoniou and Thomas Eiter and Kewen Wang",

year = "2012",

month = feb,

day = "24",

doi = "10.1007/978-3-642-28717-6_9",

language = "English",

isbn = "9783642287169",

volume = "7180 LNCS",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag Berlin Heidelberg",

pages = "77--91",

editor = "Nikolaj Bj{\o}rner and Andrei Voronkov",

booktitle = "Logic for Programming, Artificial Intelligence, and Reasoning",

address = "Germany",

note = "18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18 ; Conference date: 11-03-2012 Through 15-03-2012",

}

Antoniou, G, Eiter, T & Wang, K 2012, Forgetting for Defeasible Logic. in N Bjørner & A Voronkov (eds), Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings. vol. 7180 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7180 LNCS, Springer-Verlag Berlin Heidelberg, Berlin, pp. 77-91, 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Merida, Venezuela, Bolivarian Republic of, 11/03/12. https://doi.org/10.1007/978-3-642-28717-6_9

Forgetting for Defeasible Logic. / Antoniou, Grigoris; Eiter, Thomas; Wang, Kewen.

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings. ed. / Nikolaj Bjørner; Andrei Voronkov. Vol. 7180 LNCS Berlin : Springer-Verlag Berlin Heidelberg, 2012. p. 77-91 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7180 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Forgetting for Defeasible Logic

AU - Antoniou, Grigoris

AU - Eiter, Thomas

AU - Wang, Kewen

N1 - Conference code: 18

PY - 2012/2/24

Y1 - 2012/2/24

N2 - 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.

AB - 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.

KW - Proof Theory

KW - Strict Rule

KW - Default Theory

KW - Redundant Part

KW - Defeasible Reasoning

UR - http://www.scopus.com/inward/record.url?scp=84863380926&partnerID=8YFLogxK

UR - https://www.springer.com/gp/book/9783642287169

U2 - 10.1007/978-3-642-28717-6_9

DO - 10.1007/978-3-642-28717-6_9

M3 - Conference contribution

AN - SCOPUS:84863380926

SN - 9783642287169

VL - 7180 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 77

EP - 91

BT - Logic for Programming, Artificial Intelligence, and Reasoning

A2 - Bjørner, Nikolaj

A2 - Voronkov, Andrei

PB - Springer-Verlag Berlin Heidelberg

CY - Berlin

T2 - 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning

Y2 - 11 March 2012 through 15 March 2012

ER -

Antoniou G, Eiter T, Wang K. Forgetting for Defeasible Logic. In Bjørner N, Voronkov A, editors, Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings. Vol. 7180 LNCS. Berlin: Springer-Verlag Berlin Heidelberg. 2012. p. 77-91. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-28717-6_9

Forgetting for Defeasible Logic

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this