Efficient computation of argumentation semantics:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam [u.a.]
Academic Press
2014
|
| Ausgabe: | 1. ed |
| Schriftenreihe: | Intelligent systems series
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 137 S. |
| ISBN: | 9780124104068 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV041795171 | ||
| 003 | DE-604 | ||
| 005 | 20140522 | ||
| 007 | t | ||
| 008 | 140414s2014 |||| 00||| eng d | ||
| 020 | |a 9780124104068 |c print |9 978-0-12-410406-8 | ||
| 035 | |a (OCoLC)880991631 | ||
| 035 | |a (DE-599)BVBBV041795171 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Liao, Beishui |e Verfasser |0 (DE-588)1051261309 |4 aut | |
| 245 | 1 | 0 | |a Efficient computation of argumentation semantics |c Beishui Liao |
| 250 | |a 1. ed | ||
| 264 | 1 | |a Amsterdam [u.a.] |b Academic Press |c 2014 | |
| 300 | |a X, 137 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Intelligent systems series | |
| 650 | 0 | 7 | |a Berechnungstheorie |0 (DE-588)4005581-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Semantik |0 (DE-588)4122144-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Argumentation |0 (DE-588)4002899-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Argumentation |0 (DE-588)4002899-9 |D s |
| 689 | 0 | 1 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
| 689 | 0 | 2 | |a Berechnungstheorie |0 (DE-588)4005581-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-0-12-410451-8 |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027240705&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027240705 | ||
Datensatz im Suchindex
| _version_ | 1804152113835540480 |
|---|---|
| adam_text | Contents
Preface
..............................................................................................................ix
Chapter
1:
Introduction
........................................................................................1
1.1 Background
.............................................................................................................1
1.2
The Notion of Argumentation
.................................................................................2
1.3
Motivations of this Book
........................................................................................4
1.4
The Structure of this Book
......................................................................................6
References
.............................................................................................................7
Chapter
2:
Semantics of Argumentation
.................................................................9
2.1
Introduction
.............................................................................................................9
2.2
Abstract Argumentation Frameworks
...................................................................10
2.3
Argumentation Semantics
.....................................................................................10
2.3.1
Extension-based Approach
...............................................................................11
2.3.2
Label ling-based Approach
...............................................................................17
2.3.3
Relations Between the Two Approaches
..........................................................21
2.3.4
Relations Between Different Semantics
..........................................................22
2.3.5
Status of Arguments
.........................................................................................22
2.4
Conclusions
...........................................................................................................23
References
...........................................................................................................24
Chapter
3:
Existing Approaches for Computing Argumentation Semantics
................25
3.1
Introduction
...........................................................................................................25
3.2
Approaches Based on Answer Set Programming
.................................................26
3.2.1
Answer Set Programming
................................................................................26
3.2.2
ASP for Argumentation
....................................................................................27
3.3
Labelling-Based Algorithms
.................................................................................30
3.3.1
The Computation of Grounded Labellings
......................................................30
3.3.2
The Computation of Preferred Labellings
.......................................................30
3.4
Conclusions
...........................................................................................................34
References
...........................................................................................................34
Chapter
4:
Sub-Frameworks and Local Semantics
..................................................35
4.1
Introduction
...........................................................................................................35
4.2
Notion of Sub-Frameworks
..................................................................................36
v
.
Contents
4.2.1 Informal
Idea
....................................................................................................
36
4.2.2
Formal Definition
.............................................................................................
^
4.2.3
Dependence Relation Between Different Sub-Frameworks
............................38
4.3
Semantics of Sub-Frameworks
.............................................................................39
4.3.1
Labellings of a Conditioned Sub-Framework
..................................................39
4.3.2
Extensions of a Conditioned Sub-Framework
.................................................42
4.4
Computation of the Semantics of a Sub-Framework
............................................45
4.5
Conclusions
...........................................................................................................48
References
...........................................................................................................49
Chapter
5:
Relations between Global Semantics and Local Semantics
......................57
5.1
Introduction
...........................................................................................................51
5.2
Mapping Global Semantics to Local Semantics
...................................................52
5.3
Mapping Local Semantics to Global Semantics
...................................................56
5.3.1
Combining Extensions of Two Unconditioned Sub-Frameworks
....................57
5.3.2
Combining Extensions of a Conditioned Sub-Framework and Those
of an Unconditioned Sub-Framework
..............................................................59
5.3.3
Combining Labellings of Two Conditioned Sub-Framework
s
........................65
5.4
Conclusions
...........................................................................................................68
References
...........................................................................................................68
Chapter
6:
An Approach for Static Argumentation Frameworks
..............................69
6.1
Introduction
...........................................................................................................69
6.2
Decomposing an Argumentation Framework: A Layered Approach
....................71
6.2.1
Strongly Connected Components of an Argumentation Framework
...............71
6.2.2
A Decomposition Approach Based on SCCs
...................................................72
6.3
An Incremental Approach to Compute Argumentation Semantics
.......................77
6.3.1
The Computation of Layer
¿(0 <
і
<
¡max)
...................................................77
6.3.2
Soundness and Completeness of Semantic Combination
................................80
6.3.3
An Illustrating Example
...................................................................................80
6.4
Empirical Evaluation
............................................................................................84
6.5
Conclusions
.......................................................................... 91
References
..................................................................... 93
Chapter
7:
An Approach for Dynamic Argumentation Frameworks
.........................95
7.1
Introduction
................................................................... 95
7.2
The Changing of an Argumentation Framework
..................................................98
7.3
The Division of an Updated Argumentation Framework
......................................99
7.4
Computing the Semantics of an Updated Argumentation
Framework Based on the Division
......................................................
Ю5
7.5
An Illustrating Example
............................................................... .........
Ю6
7.6
Conclusions
............................................................ ........
References
.............................................................
vi
Contents
Chapter
8: An
Approach for Partial Semantics of Argumentation
..........................113
8.
1 Introduction
.........................................................................................................
1
13
8.2
The Definition of Partial Semantics of Argumentation
......................................115
8.3
Basic Properties of Partial Semantics of Argumentation
....................................118
8.3.1
Monotonicity of Partial Semantics
.................................................................119
8.3.2
Extensibility of Partial Semantics
..................................................................119
8.3.3
Combinability of Partial Semantics
...............................................................122
8.4
Empirical Investigation
.......................................................................................123
8.5
Conclusions
.........................................................................................................128
References
.........................................................................................................128
ChapterS: Conclusions and Future Work
...........................................................131
9.
1 Conclusion
..........................................................................................................
131
9.2
Future Work
........................................................................................................132
References
.........................................................................................................133
Index
..............................................................................................................135
VII
|
| any_adam_object | 1 |
| author | Liao, Beishui |
| author_GND | (DE-588)1051261309 |
| author_facet | Liao, Beishui |
| author_role | aut |
| author_sort | Liao, Beishui |
| author_variant | b l bl |
| building | Verbundindex |
| bvnumber | BV041795171 |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)880991631 (DE-599)BVBBV041795171 |
| discipline | Mathematik |
| edition | 1. ed |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01588nam a2200397zc 4500</leader><controlfield tag="001">BV041795171</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140522 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">140414s2014 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780124104068</subfield><subfield code="c">print</subfield><subfield code="9">978-0-12-410406-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)880991631</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041795171</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Liao, Beishui</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1051261309</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Efficient computation of argumentation semantics</subfield><subfield code="c">Beishui Liao</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. ed</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">Academic Press</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 137 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Intelligent systems series</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Argumentation</subfield><subfield code="0">(DE-588)4002899-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Argumentation</subfield><subfield code="0">(DE-588)4002899-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-0-12-410451-8</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027240705&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027240705</subfield></datafield></record></collection> |
| id | DE-604.BV041795171 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:05:33Z |
| institution | BVB |
| isbn | 9780124104068 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027240705 |
| oclc_num | 880991631 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG |
| owner_facet | DE-473 DE-BY-UBG |
| physical | X, 137 S. |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Academic Press |
| record_format | marc |
| series2 | Intelligent systems series |
| spelling | Liao, Beishui Verfasser (DE-588)1051261309 aut Efficient computation of argumentation semantics Beishui Liao 1. ed Amsterdam [u.a.] Academic Press 2014 X, 137 S. txt rdacontent n rdamedia nc rdacarrier Intelligent systems series Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf Formale Semantik (DE-588)4122144-8 gnd rswk-swf Argumentation (DE-588)4002899-9 gnd rswk-swf Argumentation (DE-588)4002899-9 s Formale Semantik (DE-588)4122144-8 s Berechnungstheorie (DE-588)4005581-4 s DE-604 Erscheint auch als Online-Ausgabe 978-0-12-410451-8 Digitalisierung UB Bamberg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027240705&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Liao, Beishui Efficient computation of argumentation semantics Berechnungstheorie (DE-588)4005581-4 gnd Formale Semantik (DE-588)4122144-8 gnd Argumentation (DE-588)4002899-9 gnd |
| subject_GND | (DE-588)4005581-4 (DE-588)4122144-8 (DE-588)4002899-9 |
| title | Efficient computation of argumentation semantics |
| title_auth | Efficient computation of argumentation semantics |
| title_exact_search | Efficient computation of argumentation semantics |
| title_full | Efficient computation of argumentation semantics Beishui Liao |
| title_fullStr | Efficient computation of argumentation semantics Beishui Liao |
| title_full_unstemmed | Efficient computation of argumentation semantics Beishui Liao |
| title_short | Efficient computation of argumentation semantics |
| title_sort | efficient computation of argumentation semantics |
| topic | Berechnungstheorie (DE-588)4005581-4 gnd Formale Semantik (DE-588)4122144-8 gnd Argumentation (DE-588)4002899-9 gnd |
| topic_facet | Berechnungstheorie Formale Semantik Argumentation |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027240705&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT liaobeishui efficientcomputationofargumentationsemantics |