Cargando…

Efficient computation of argumentation semantics /

Efficient Computation of Argumentation Semantics addresses argumentation semantics and systems, introducing readers to cutting-edge decomposition methods that drive increasingly efficient logic computation in AI and intelligent systems. Such complex and distributed systems are increasingly used in t...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Liao, Beishui
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Oxford : Academic Press, 2014.
Colección:Intelligent systems series.
Temas:
Acceso en línea:Texto completo (Requiere registro previo con correo institucional)

MARC

LEADER 00000cam a2200000 i 4500
001 OR_ocn867318947
003 OCoLC
005 20231017213018.0
006 m o d
007 cr cnu---unuuu
008 140104s2014 enk ob 001 0 eng d
040 |a EBLCP  |b eng  |e pn  |c EBLCP  |d OPELS  |d N$T  |d UMI  |d UIU  |d YDXCP  |d B24X7  |d COO  |d OCLCO  |d DEBBG  |d DEBSZ  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCF  |d CDX  |d OCLCQ  |d LIV  |d OCLCQ  |d MERUC  |d U3W  |d D6H  |d CEF  |d E7B  |d OCLCQ  |d UAB  |d AU@  |d LQU  |d OCLCQ  |d VLY  |d BRF  |d MM9  |d S2H  |d OCLCQ  |d OCLCO  |d OCLCQ 
019 |a 870677102  |a 874146856  |a 875632854  |a 1105173672  |a 1105566818  |a 1162234784 
020 |a 9780124104068  |q (electronic bk.) 
020 |a 0124104061  |q (electronic bk.) 
020 |a 9780124104518  |q (electronic bk.) 
020 |a 0124104517  |q (electronic bk.) 
020 |a 9781306346702  |q (MyiLibrary) 
020 |a 1306346703  |q (MyiLibrary) 
029 1 |a AU@  |b 000053308407 
029 1 |a CHBIS  |b 010295140 
029 1 |a CHNEW  |b 001011697 
029 1 |a CHVBK  |b 327777168 
029 1 |a DEBBG  |b BV041784121 
029 1 |a DEBBG  |b BV042309715 
029 1 |a DEBSZ  |b 404338402 
029 1 |a DEBSZ  |b 405353006 
029 1 |a DEBSZ  |b 431594554 
029 1 |a GBVCP  |b 775686905 
029 1 |a NLGGC  |b 373105649 
035 |a (OCoLC)867318947  |z (OCoLC)870677102  |z (OCoLC)874146856  |z (OCoLC)875632854  |z (OCoLC)1105173672  |z (OCoLC)1105566818  |z (OCoLC)1162234784 
037 |a CL0500000387  |b Safari Books Online 
050 4 |a P98  |b .E384 2014 
072 7 |a COM  |x 000000  |2 bisacsh 
082 0 4 |a 006.3/5 
084 |a SK 130  |2 rvk 
049 |a UAMI 
100 1 |a Liao, Beishui. 
245 1 0 |a Efficient computation of argumentation semantics /  |c Beishui Liao. 
260 |a Oxford :  |b Academic Press,  |c 2014. 
300 |a 1 online resource (149 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Intelligent systems series 
588 0 |a Print version record. 
505 0 |a Half Title; Editorial Page; Title Page; Copyright; Contents; Preface; 1 Introduction; 1.1 Background; 1.2 The Notion of Argumentation; 1.3 Motivations of this Book; 1.4 The Structure of this Book; References; 2 Semantics of Argumentation; 2.1 Introduction; 2.2 Abstract Argumentation Frameworks; 2.3 Argumentation Semantics; 2.3.1 Extension-based Approach; 2.3.1.1 Admissible Extension; 2.3.1.2 Complete Extension; 2.3.1.3 Grounded Extension and Preferred Extension; 2.3.1.4 Stable Extension and Semi-Stable Extension; 2.3.1.5 Ideal Extension and Eager Extension; 2.3.2 Labelling-based Approach. 
505 8 |a 2.3.2.1 Admissible Labelling2.3.2.2 Complete Labelling; 2.3.2.3 Grounded Labelling and Preferred Labelling; 2.3.2.4 Stable Labelling and Semi-Stable Labelling; 2.3.2.5 Ideal Labelling and Eager Labelling; 2.3.3 Relations Between the Two Approaches; 2.3.4 Relations Between Different Semantics; 2.3.5 Status of Arguments; 2.4 Conclusions; References; 3 Existing Approaches for Computing Argumentation Semantics; 3.1 Introduction; 3.2 Approaches Based on Answer Set Programming; 3.2.1 Answer Set Programming; 3.2.1.1 Syntax; 3.2.1.2 Answer Set Semantics; 3.2.2 ASP for Argumentation. 
505 8 |a 3.3 Labelling-Based Algorithms3.3.1 The Computation of Grounded Labellings; 3.3.2 The Computation of Preferred Labellings; 3.3.2.1 Generating Admissible Labellings; 3.3.2.2 Generating Preferred Labellings; 3.4 Conclusions; References; 4 Sub-Frameworks and Local Semantics; 4.1 Introduction; 4.2 Notion of Sub-Frameworks; 4.2.1 Informal Idea; 4.2.2 Formal Definition; 4.2.3 Dependence Relation Between Different Sub-Frameworks; 4.3 Semantics of Sub-Frameworks; 4.3.1 Labellings of a Conditioned Sub-Framework; 4.3.2 Extensions of a Conditioned Sub-Framework. 
505 8 |a 4.4 Computation of the Semantics of a Sub-Framework4.5 Conclusions; References; 5 Relations between Global Semantics and Local Semantics; 5.1 Introduction; 5.2 Mapping Global Semantics to Local Semantics; 5.3 Mapping Local Semantics to Global Semantics; 5.3.1 Combining Extensions of Two Unconditioned Sub-Frameworks; 5.3.2 Combining Extensions of a Conditioned Sub-Framework and Those of an Unconditioned Sub-Framework; 5.3.3 Combining Labellings of Two Conditioned Sub-Frameworks; 5.4 Conclusions; References; 6 An Approach for Static Argumentation Frameworks; 6.1 Introduction. 
505 8 |a 6.2 Decomposing an Argumentation Framework: A Layered Approach6.2.1 Strongly Connected Components of an Argumentation Framework; 6.2.2 A Decomposition Approach Based on SCCs; 6.3 An Incremental Approach to Compute Argumentation Semantics; 6.3.1 The Computation of Layer i (); 6.3.1.1 Constructing Partially Labelled Sub-Frameworks in Layer i (); 6.3.1.2 Computing the Labellings of Each Sub-Framework in Layer i (); 6.3.1.3 Horizontally Combining the Labellings of Layer i (); 6.3.1.4 Vertically Combining the Labellings of Layers from 0 to i (). 
520 |a Efficient Computation of Argumentation Semantics addresses argumentation semantics and systems, introducing readers to cutting-edge decomposition methods that drive increasingly efficient logic computation in AI and intelligent systems. Such complex and distributed systems are increasingly used in the automation and transportation systems field, and particularly autonomous systems, as well as more generic intelligent computation research. The Series in Intelligent Systems publishes titles that cover state-of-the-art knowledge and the latest advances in research and development. 
504 |a Includes bibliographical references and index. 
546 |a English. 
590 |a O'Reilly  |b O'Reilly Online Learning: Academic/Public Library Edition 
650 0 |a Semantic computing. 
650 0 |a Artificial intelligence. 
650 2 |a Artificial Intelligence 
650 6 |a Informatique sémantique. 
650 6 |a Intelligence artificielle. 
650 7 |a artificial intelligence.  |2 aat 
650 7 |a COMPUTERS  |x General.  |2 bisacsh 
650 7 |a Artificial intelligence.  |2 fast  |0 (OCoLC)fst00817247 
650 7 |a Semantic computing.  |2 fast  |0 (OCoLC)fst01748947 
776 0 8 |i Print version:  |a Liao, Beishui.  |t Efficient Computation of Argumentation Semantics.  |d Burlington : Elsevier Science, ©2014  |z 9780124104068 
830 0 |a Intelligent systems series. 
856 4 0 |u https://learning.oreilly.com/library/view/~/9780124104068/?ar  |z Texto completo (Requiere registro previo con correo institucional) 
936 |a BATCHLOAD 
938 |a Books 24x7  |b B247  |n bks00062221 
938 |a Coutts Information Services  |b COUT  |n 27358895 
938 |a EBL - Ebook Library  |b EBLB  |n EBL1585239 
938 |a ebrary  |b EBRY  |n ebr10826676 
938 |a EBSCOhost  |b EBSC  |n 516204 
938 |a YBP Library Services  |b YANK  |n 11562463 
994 |a 92  |b IZTAP