Efficient Computation of Argumentation Semantics PDF Download

Author: Beishui Liao
Publisher: Academic Press
ISBN: 0124104517
Category : Computers
Languages : en
Pages : 149

View

Book Description
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 in intelligent systems. Its scope includes theoretical studies, design methods, and real-world implementations and applications. The series publishes titles in three core sub-topic areas: intelligent automation, intelligent transportation systems, and intelligent computing. The first book to cover new methods for computing static, dynamic, and partial argumentation systems Methods are applicable to development of systems and research areas in both AI and broader intelligent systems Provides the AI and IS community with insight into the critical field of efficient computation, with a focus on intelligent automation, intelligent transportation systems, and intelligent computing

Author: Hans van Ditmarsch
Publisher: Springer
ISBN: 3642241301
Category : Mathematics
Languages : en
Pages : 412

View

Book Description
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third International Workshop on Logic, Rationality, and Interaction, LORI 2011, held in Guangzhou, China, in October 2011. The 25 revised full papers presented together with 12 posters were carefully reviewed and selected from 52 submissions. Among the topics covered are semantic models for knowledge, for belief, and for uncertainty; dynamic logics of knowledge, information flow, and action; logical analysis of the structure of games; belief revision, belief merging; logics and preferences, compact preference representation; logics of intentions, plans, and goals; logics of probability and uncertainty; logical approaches to decision making and planning; argument systems and their role in interaction; norms, normative interaction, and normative multiagent systems; and logical and computational approaches to social choice.

Author: G.A. Kaminka
Publisher: IOS Press
ISBN: 1614996725
Category : Computers
Languages : en
Pages : 1860

View

Book Description
Artificial Intelligence continues to be one of the most exciting and fast-developing fields of computer science. This book presents the 177 long papers and 123 short papers accepted for ECAI 2016, the latest edition of the biennial European Conference on Artificial Intelligence, Europe’s premier venue for presenting scientific results in AI. The conference was held in The Hague, the Netherlands, from August 29 to September 2, 2016. ECAI 2016 also incorporated the conference on Prestigious Applications of Intelligent Systems (PAIS) 2016, and the Starting AI Researcher Symposium (STAIRS). The papers from PAIS are included in this volume; the papers from STAIRS are published in a separate volume in the Frontiers in Artificial Intelligence and Applications (FAIA) series. Organized by the European Association for Artificial Intelligence (EurAI) and the Benelux Association for Artificial Intelligence (BNVKI), the ECAI conference provides an opportunity for researchers to present and hear about the very best research in contemporary AI. This proceedings will be of interest to all those seeking an overview of the very latest innovations and developments in this field.

Author: B. Verheij
Publisher: IOS Press
ISBN: 1614991111
Category : Computers
Languages : en
Pages : 536

View

Book Description
The subject of argumentation has been studied since ancient times, but it has seen major innovations since the advent of the computer age. Software already exists which can create and evaluate arguments in high-stake situations, such as medical diagnosis and criminal investigation; formal systems can help us appreciate the role of the value judgments which underlie opposing positions; and it is even possible to enter into argumentative dialogues as if playing a computer game. This book presents the 28 full papers, 17 short papers and a number of system demonstrations, described in an extended abstract, from the 2012 biennial Computational Models of Argument (COMMA) conference, held in Vienna, Austria. Papers by the invited speakers Professor Trevor Bench-Capon, Professor Erik Krabbe and Professor Keith Stenning are also included. This year, for the first time, COMMA invited the submission of papers for an innovative applications track, and those which were accepted for presentation are included in this volume. Argumentation can be studied from many angles, including the artificial, natural and theoretical systems perspective. Presentations at the 2012 conference addressed the subject from these perspectives and many more.

Author: P. Baroni
Publisher: IOS Press
ISBN: 1614996865
Category : Computers
Languages : en
Pages : 496

View

Book Description
Research into computational models of argument is a rich interdisciplinary field involving the study of natural, artificial and theoretical argumentation and requiring openness to interactions with a variety of disciplines, ranging from philosophy and cognitive science to formal logic and graph theory. The ultimate aim is to support the development of computer-based systems able to engage in argumentation-related activities, either with human users or among themselves. This book presents the proceedings of the sixth biennial International Conference on Computational Models of Argument (COMMA 2016), held in Potsdam, Germany, on 12- 16 September. The aim of the COMMA conferences is to bring together researchers interested in computational models of argument and the representation of argumentation structures in natural language texts, with special attention to contributions concerning emerging trends and the development of new connections with other areas. The book contains the 25 full papers, 17 short papers and 10 demonstration abstracts presented at the conference, together with 3 invited talks. Subjects covered include abstract, bipolar and structured argumentation, quantitative approaches and their connections with formalisms like Bayesian networks and fuzzy logic, multi-agent scenarios, algorithms and solvers, and mining arguments in text, dialogue, and social media. The book provides an overview of current research and developments in the field of computational models of argument, and will be essential reading for all those with an interest in the field.

Author: Peter Van Emde Boas
Publisher: Springer
ISBN: 3540246185
Category : Computers
Languages : en
Pages : 398

View

Book Description
This book constitutes the refereed proceedings of the 30th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2004, held in Mern, Czech Republic, in January 2004. The volume presents 10 invited lectures and 22 full papers selected from 136 submissions. Among the topics covered are computer science theory, programming theory, database systems, information systems, cognitive technologies and Web technologies.

Author: P. van Emde Boas
Publisher: Springer Science & Business Media
ISBN: 3540207791
Category : Computers
Languages : en
Pages : 398

View

Book Description
This book constitutes the refereed proceedings of the 30th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2004, held in Merín, Czech Republic, in January 2004. The volume presents 10 invited lectures and 22 full papers selected from 136 submissions. Among the topics covered are computer science theory, programming theory, database systems, information systems, cognitive technologies and Web technologies.

Author: Alfredo Cuzzocrea
Publisher: Springer Nature
ISBN: 3030276295
Category : Computers
Languages : en
Pages : 407

View

Book Description
This book constitutes the refereed proceedings of the 13th International Conference on Flexible Query Answering Systems, FQAS 2019, held in Amantea, Italy, in July 2019. The 27 full papers and 10 short papers presented were carefully reviewed and selected from 43 submissions. The papers present emerging research trends with a special focus on flexible querying and analytics for smart cities and smart societies in the age of big data. They are organized in the following topical sections: flexible database management and querying; ontologies and knowledge bases; social networks and social media; argumentation-based query answering; data mining and knowledge discovery; advanced flexible query answering methodologies and techniques; flexible query answering methods and techniques; flexible intelligent information-oriented and network-oriented approaches; big data veracity and soft computing; flexibility in tools; and systems and miscellanea.

Author: H. Prakken
Publisher: IOS Press
ISBN: 1643681079
Category : Computers
Languages : en
Pages : 498

View

Book Description
The investigation of computational models of argument is a rich and fascinating interdisciplinary research field with two ultimate aims: the theoretical goal of understanding argumentation as a cognitive phenomenon by modeling it in computer programs, and the practical goal of supporting the development of computer-based systems able to engage in argumentation-related activities with human users or among themselves. The biennial International Conferences on Computational Models of Argument (COMMA) provide a dedicated forum for the presentation and discussion of the latest advancements in the field, and cover both basic research and innovative applications. This book presents the proceedings of COMMA 2020. Due to the Covid-19 pandemic, COMMA 2020 was held as an online event on the originally scheduled dates of 8 -11 September 2020, organised by the University of Perugia, Italy. The book includes 28 full papers and 13 short papers selected from a total of 78 submissions, the abstracts of 3 invited talks and 13 demonstration abstracts. The interdisciplinary nature of the field is reflected, and contributions cover both theory and practice. Theoretical contributions include new formal models, the study of formal or computational properties of models, designs for implemented systems and experimental research. Practical papers include applications to medicine, law and criminal investigation, chatbots and online product reviews. The argument-mining trend from previous COMMA’s is continued, while an emerging trend this year is the use of argumentation for explainable AI. The book provided an overview of the latest work on computational models of argument, and will be of interest to all those working in the field.

Author: F. Toni
Publisher: IOS Press
ISBN: 1643683071
Category : Computers
Languages : en
Pages : 400

View

Book Description
Argumentation has traditionally been studied across a number of fields, notably philosophy, cognitive science, linguistics and jurisprudence. The study of computational models of argumentation is a more recent endeavor, bringing together researchers from traditional fields and computer science and engineering within a rich, interdisciplinary matrix. Computational models of argumentation have been identified and used since the 1980s, and more recently an important role for argumentation in leading to principled decisions has emerged in several settings. This book presents the proceedings of COMMA 2022 the 9th International Conference on Computational Models of Argument, held in Cardiff, Wales, United Kingdom, during 14 - 16 September 2022. The book contains 27 regular papers and 16 demo papers from a total of 75 submissions, as well as 3 invited talks from Prof Paul Dunne (University of Liverpool), Prof Iryna Gurevych (TU Darmstadt), and Prof Antonis Kakas (University of Cyprus), which reflect the diverse nature of the field. Papers are a mix of theoretical and practical contributions; theoretical contributions include new formal models, the study of formal or computational properties of models, design for implemented systems and experimental research; practical papers include applications to law, machine learning and explainability. Abstract and structured accounts of argumentation are covered, as are relations between different accounts. Many papers focus on the evaluation of arguments or their conclusions given a body of arguments, with a continuation of a recent trend to study gradual or probabilistic notions of evaluation. The book offers an overview of recent and current research and will be of interest to all those working with computational models of argumentation.