Computational Models of Argument

Computational Models of Argument
Author: H. Prakken
Publisher: IOS Press
Total Pages: 498
Release: 2020-09-25
Genre: Computers
ISBN: 1643681079

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.

Complexity of Infinite-Domain Constraint Satisfaction

Complexity of Infinite-Domain Constraint Satisfaction
Author: Manuel Bodirsky
Publisher: Cambridge University Press
Total Pages: 537
Release: 2021-06-10
Genre: Computers
ISBN: 1107042844

Introduces the universal-algebraic approach to classifying the computational complexity of constraint satisfaction problems.

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Author: Eugenio G. Omodeo
Publisher: Springer
Total Pages: 454
Release: 2017-01-27
Genre: Philosophy
ISBN: 3319418424

This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Davis’ work and set it in a contemporary context. They analyse, discuss and develop many of the ideas and concepts that Davis put forward, including such issues as contemporary satisfiability solvers, essential unification, quantum computing and generalisations of Hilbert’s tenth problem. The book starts out with a scientific autobiography by Davis, and ends with his responses to comments included in the contributions. In addition, it includes two previously unpublished original historical papers in which Davis and Putnam investigate the decidable and the undecidable side of Logic, as well as a full bibliography of Davis’ work. As a whole, this book shows how Davis’ scientific work lies at the intersection of computability, theoretical computer science, foundations of mathematics, and philosophy, and draws its unifying vision from his deep involvement in Logic.

Logic in High Definition

Logic in High Definition
Author: Alessandro Giordani
Publisher: Springer Nature
Total Pages: 245
Release: 2020-11-19
Genre: Philosophy
ISBN: 3030534871

This volume clusters together issues centered upon the variety of types of intensional semantics. Consisting of 10 contributions, the volume is based on papers presented at the Trends in Logic 2019 conference. The various chapters introduce readers to the topic, or apply new types of logical semantics to elucidate subtleties of logical systems and natural language semantics. The book introduces hyperintentional systems that aim at solving some open philosophical problems. Specifically, the first three studies focus on relating semantics, while the following ones discuss fundamental issues related to hyper-intensional semantics or develop hyper-intensional frameworks to address issues in modal, epistemic, deontic and action logic. Authors in this volume present original results on logical systems but also extend beyond this by offering philosophical considerations on the topic as well. This volume will appeal to students and researchers in the field of logic.

Graham Priest on Dialetheism and Paraconsistency

Graham Priest on Dialetheism and Paraconsistency
Author: Can Başkent
Publisher: Springer Nature
Total Pages: 698
Release: 2020-01-01
Genre: Philosophy
ISBN: 3030253651

This book presents the state of the art in the fields of formal logic pioneered by Graham Priest. It includes advanced technical work on the model and proof theories of paraconsistent logic, in contributions from top scholars in the field. Graham Priest’s research has had a considerable influence on the field of philosophical logic, especially with respect to the themes of dialetheism—the thesis that there exist true but inconsistent sentences—and paraconsistency—an account of deduction in which contradictory premises do not entail the truth of arbitrary sentences. Priest’s work has regularly challenged researchers to reappraise many assumptions about rationality, ontology, and truth. This book collects original research by some of the most esteemed scholars working in philosophical logic, whose contributions explore and appraise Priest’s work on logical approaches to problems in philosophy, linguistics, computation, and mathematics. They provide fresh analyses, critiques, and applications of Priest’s work and attest to its continued relevance and topicality. The book also includes Priest’s responses to the contributors, providing a further layer to the development of these themes .

Archaeology of Logic

Archaeology of Logic
Author: Andrew Schumann
Publisher: CRC Press
Total Pages: 440
Release: 2023-04-27
Genre: Science
ISBN: 100087107X

The question arises whether logic was given to us by God or whether it is the result of human evolution. I believe that at least the modus ponens rule ( A and if A then B implies B) is inherent in humans, but probably many other modern systems (e.g., resource logic, non - monotonic logic etc.) are the result of humans adapating to the environment. It is therefore of interest to study and compare the way logic is used in ancient cultures as well as the way logic is going to be used in our 21st century. This welcome book studies and compares the way formation of logic in three cultures: Ancient Greek (4th century B.C.), Judaic (1st century B.C. – 1st century A.D.) and Indo-Buddhist (2nd century A.D.) The book notes that logic became especially popular during the period of late antiquity in countries covered by the international trade of the Silk Road. This study makes a valuable contribution to the history of logic and to the very understanding of the origions and nature of logical thinking. -Prof. Dov Gabbay, King's College London, UK Andrew Schumann in his book demonsrates that logic step-by-step arose in different places and cultural circles. He argues that if we apply a structural-genealogical method, as well as turn to various sources, particularly, religious, philosophical, linguistic, etc., then we can obtain a more general and more adequate picture of emengence and development of logic. This book is a new and very valuable contribution to the history of logic as a manifestation of the human mind. - Prof. Jan Wolenski, Jagiellonian University, Poland The author of the Archaeology of Logic defends the claim, calling it "logic is aftter all", which sees logical competence as a practical skill that people began to learn in antiquity, as soom as they realized that avoiding cognitive biases in their reasoning would make their daily activities more successful. The in-depth reading of the book with its diving into the comparative quotations in the long dead or hardly known to most of us languages like Sumerian-Akkadian, Aramatic, Hebrew and etc, will be rewarded by the response that the logical competence is diverse and it can be trained, despite the inevitabilitiy of the reasoning fallacies; and that critical discussions and agaonal character of the social lide are the necessary tools for that. - Prof. Elena Lisanyuk

Logic, Language, Information, and Computation

Logic, Language, Information, and Computation
Author: Lawrence S. Moss
Publisher: Springer
Total Pages: 342
Release: 2018-06-26
Genre: Mathematics
ISBN: 3662576694

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Logic, Language, Information and Communication, WoLLIC 2018, held inBogota, Colombia, in July 2018. The 16 full papers together with 3 short papers and 3 invited talks presented were fully reviewed and selected from 30 submissions. The vision for the conference is to provide an annual forum which is large enough to provide meaningful interactions between logic and the sciences related to information and computation.

Linking Game-Theoretical Approaches with Constructive Type Theory

Linking Game-Theoretical Approaches with Constructive Type Theory
Author: Nicolas Clerbout
Publisher: Springer
Total Pages: 118
Release: 2015-07-08
Genre: Philosophy
ISBN: 3319190636

This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. As the work’s subtitle expresses, the authors will build this link by means of the dialogical approach to logic. One important aspect of the present study is that the authors restrict themselves to the logically valid fragment of Constructive Type Theory (CTT). The reason is that, once that fragment is achieved the result can be extended to cover the whole CTT system. The first chapters in the brief offer overviews on the two frameworks discussed in the book with an emphasis on the dialogical framework. The third chapter demonstrates the left-to-right direction of the equivalence result. This is followed by a chapter that demonstrates the use of the algorithm in showing how to transform a specific winning strategy into a CCT-demonstration of the axiom of choice. The fifth chapter develops the algorithm from CTT-demonstrations to dialogical strategies. This brief concludes by introducing elements of discussion which are to be developed in subsequent work.

Computational Argumentation: a Foundation for Human-centric AI

Computational Argumentation: a Foundation for Human-centric AI
Author: Antonis Kakas
Publisher: Frontiers Media SA
Total Pages: 176
Release: 2024-11-19
Genre: Science
ISBN: 2832556876

Human-centric AI aims at designing and developing systems that operate along with humans in a cognitively-compatible and synergetic way. Such systems are required to exhibit human-like cognitive abilities and intelligence, either at the general level of the human population or at some specialized level of expertise in a specific field. In either case, human-centric AI systems exist as (expert) companions or peers of their human users that would operate alongside them to support and enhance their capabilities.

Essays on Argumentation in Antiquity

Essays on Argumentation in Antiquity
Author: Joseph Andrew Bjelde
Publisher: Springer Nature
Total Pages: 277
Release: 2021-07-12
Genre: Philosophy
ISBN: 3030708179

This book provides a collection of essays representing the state of the art in the research into argumentation in classical antiquity. It contains essays from leading and up and coming scholars on figures as diverse as Parmenides, Gorgias, Seneca, and Classical Chinese "wandering persuaders." The book includes contributions from specialists in the history of philosophy as well as specialists in contemporary argumentation theory, and stimulates the dialogue between scholars studying issues relating to argumentation theory in ancient philosophy and contemporary argumentation theorists. Furthermore, the book sets the direction for research into argumentation in antiquity by encouraging an engagement with a broader range of historical figures, and closer collaboration between contemporary concerns and the history of philosophy.