Introducing equational semantics for argumentation networks

Dov M. Gabbay

doi:10.1007/978-3-642-22152-1_2

Introducing equational semantics for argumentation networks

Dov M. Gabbay

Department of Computer Science

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

20 Scopus citations

Abstract

This paper provides equational semantics for Dung's argumentation networks. The network nodes get numerical values in [0,1], and are supposed to satisfy certain equations. The solutions to these equations correspond to the "extensions" of the network. This approach is very general and includes the Caminada labelling as a special case, as well as many other so-called network extensions, support systems, higher level attacks, Boolean networks, dependence on time, etc, etc. The equational approach has its conceptual roots in the 19th century following the algebraic equational approach to logic by George Boole, Louis Couturat and Ernst Schroeder.

Original language	English
Title of host publication	Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 11th European Conference, ECSQARU 2011, Proceedings
Pages	19-35
Number of pages	17
DOIs	https://doi.org/10.1007/978-3-642-22152-1_2
State	Published - 2011
Event	11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2011 - Belfast, United Kingdom Duration: 29 Jun 2011 → 1 Jul 2011

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6717 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2011
Country/Territory	United Kingdom
City	Belfast
Period	29/06/11 → 1/07/11

Access to Document

10.1007/978-3-642-22152-1_2

Cite this

Gabbay, D. M. (2011). Introducing equational semantics for argumentation networks. In Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 11th European Conference, ECSQARU 2011, Proceedings (pp. 19-35). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6717 LNAI). https://doi.org/10.1007/978-3-642-22152-1_2

@inproceedings{54020c3708834603b88ecdf6af6f7432,

title = "Introducing equational semantics for argumentation networks",

abstract = "This paper provides equational semantics for Dung's argumentation networks. The network nodes get numerical values in [0,1], and are supposed to satisfy certain equations. The solutions to these equations correspond to the {"}extensions{"} of the network. This approach is very general and includes the Caminada labelling as a special case, as well as many other so-called network extensions, support systems, higher level attacks, Boolean networks, dependence on time, etc, etc. The equational approach has its conceptual roots in the 19th century following the algebraic equational approach to logic by George Boole, Louis Couturat and Ernst Schroeder.",

author = "Gabbay, {Dov M.}",

year = "2011",

doi = "10.1007/978-3-642-22152-1_2",

language = "אנגלית",

isbn = "9783642221514",

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

pages = "19--35",

booktitle = "Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 11th European Conference, ECSQARU 2011, Proceedings",

note = "11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2011 ; Conference date: 29-06-2011 Through 01-07-2011",

}

Gabbay, DM 2011, Introducing equational semantics for argumentation networks. in Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 11th European Conference, ECSQARU 2011, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6717 LNAI, pp. 19-35, 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2011, Belfast, United Kingdom, 29/06/11. https://doi.org/10.1007/978-3-642-22152-1_2

Introducing equational semantics for argumentation networks. / Gabbay, Dov M.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 11th European Conference, ECSQARU 2011, Proceedings. 2011. p. 19-35 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6717 LNAI).

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

TY - GEN

T1 - Introducing equational semantics for argumentation networks

AU - Gabbay, Dov M.

PY - 2011

Y1 - 2011

N2 - This paper provides equational semantics for Dung's argumentation networks. The network nodes get numerical values in [0,1], and are supposed to satisfy certain equations. The solutions to these equations correspond to the "extensions" of the network. This approach is very general and includes the Caminada labelling as a special case, as well as many other so-called network extensions, support systems, higher level attacks, Boolean networks, dependence on time, etc, etc. The equational approach has its conceptual roots in the 19th century following the algebraic equational approach to logic by George Boole, Louis Couturat and Ernst Schroeder.

AB - This paper provides equational semantics for Dung's argumentation networks. The network nodes get numerical values in [0,1], and are supposed to satisfy certain equations. The solutions to these equations correspond to the "extensions" of the network. This approach is very general and includes the Caminada labelling as a special case, as well as many other so-called network extensions, support systems, higher level attacks, Boolean networks, dependence on time, etc, etc. The equational approach has its conceptual roots in the 19th century following the algebraic equational approach to logic by George Boole, Louis Couturat and Ernst Schroeder.

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

U2 - 10.1007/978-3-642-22152-1_2

DO - 10.1007/978-3-642-22152-1_2

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

SN - 9783642221514

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

SP - 19

EP - 35

BT - Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 11th European Conference, ECSQARU 2011, Proceedings

T2 - 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2011

Y2 - 29 June 2011 through 1 July 2011

ER -

Gabbay DM. Introducing equational semantics for argumentation networks. In Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 11th European Conference, ECSQARU 2011, Proceedings. 2011. p. 19-35. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-22152-1_2

Introducing equational semantics for argumentation networks

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this