Dynamics, Uncertainty and Reasoning: The Second Chinese Conference on Logic and Argumentation

, & (eds.)
Singapore: Springer Singapore (2019)
  Copy   BIBTEX

Abstract

This volume collects selected papers presented at the Second Chinese Conference on Logic and Argumentation in 2018 held in Hangzhou, China. The papers presented reflect recent advances in logic and argumentation, as well as the connections between the two, and also include invited papers contributed by leading experts in these fields. The book covers a wide variety of topics related to dynamics, uncertainty and reasoning. It continues discussions on the interplay between logic and argumentation which has a long history from Aristotle’s ancient logic to very recent formal argumentation in AI.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9789811377907   9789811377914   9811377936   9811377901

DOI

10.1007/978-981-13-7791-4
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments

We utilize higher order automated deduction technologies for the logical analysis of natural-language arguments. Our approach, termed computational hermeneutics, is grounded on recent progress in the area of automated theorem proving for classical and nonclassical higher order logics, and it integra... see more

Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change

We provide a logical analysis of Dung’s abstract argumentation frameworks and their dynamics. We express attack relation and argument status by means of propositional variables and define acceptability criteria by formulas of propositional logic, which enables us to formulate the standard reasoning ... see more

Soft Presuppositions as Scalar Implicatures in Signaling Games

In this paper, I will discuss why soft presuppositions behave differently from hard presuppositions: the former are easily defeasible and project nonuniformly in quantificational sentences. I assume that soft triggers should be associated with alternatives, and thus share many similarities with scal... see more

A Road to Ultrafilter Extensions

We propose a uniform method of constructing ultrafilter extensions from canonical models, which is based on the similarity between ultrafilters and maximal consistent sets. This method can help us understand why the known ultrafilter extensions of models for normal modal logics and for classical mod... see more

Open Reading and Free Choice Permission: A Perspective in Substructural Logics

This paper proposes a new solution to the well-known Free Choice Permission Paradoxes , combining ideas from substructural logics and non-monotonic reasoning. Free choice permission is intuitively understood as “if it is permitted to do \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{... see more

Updating Argumentation Frameworks for Enforcing Extensions

There are mainly two research directions for the dynamic of argumentation: revision and enforcement. The former studies how the semantics of an argumentation framework changes when the framework is updated, while the later studies how to enforce a given status of arguments by updating the argumentat... see more

Local Expansion Invariant Operators in Argumentation Semantics

We study invariant local expansion operators for conflict-free and admissible sets in Abstract Argumentation Frameworks . Such operators are directly applied on AFs, and are invariant with respect to a chosen ‘semantics’ . Accordingly, we derive a definition of robustness for AFs in terms of the num... see more

A Dynamic Approach for Combining Abstract Argumentation Semantics

Abstract argumentation semantics provide a direct relation from an argumentation framework to corresponding sets of acceptable arguments, or equivalently to labeling functions. Instead, we study stepwise update relations on argumentation frameworks whose fixpoints represent the labeling functions on... see more

Structural Analysis of Extension-Based Argumentation Semantics with Joint Acceptability

Dung’s abstract argumentation provides us with a general framework to deal with argumentation. For extension-based semantics, the central issue is how to determine the extensions w.r.t. various semantics. Motivated by the acceptability and reinstatement criterion, we propose the notions of J-accepta... see more

Similar books and articles

Argumentation, Education and Reasoning.Robert Binkley - 1995 - Informal Logic 17 (2).
Logic and argumentation.Thomas Ågotnes, Beishui Liao & Yì N. Wáng - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):163-164.
Symbolic and Quantitative Approaches to Reasoning and Uncertainty European Conference, Ecsqaru '95, Fribourg, Switzerland, July 3-5, 1995 : Proceedings'.Christine Froidevaux & Juerg Kohlas - 1995 - Springer.
Symbolic and Quantitative Approaches to Reasoning and Uncertainty European Conference Ecsqaru '93, Granada, Spain, November 8-10, 1993 : Proceedings'.Michael Clarke & Rudolf Kruse - 1993 - Springer Verlag.
Argumentation Proceedings of the Conference on Argumentation 1986.F. H. van Eemeren - 1987
Rational argumentation under uncertainty.Niki Pfeifer - 2007 - In G. Kreuzbauer, N. Gratzl & E. Hiebl (eds.), Persuasion Und Wissenschaft: Aktuelle Fragestellungen von Rhetorik Und Argumentationstheorie. Lit. pp. 181--191.
Argumentation: approaches to theory formation: containing the contributions to the Groningen Conference on the Theory of Argumentation, October 1978.Else Margarete Barth & J. L. Martens (eds.) - 1982 - Amsterdam: Benjamins.
Universal Reasoning, Rational Argumentation and Human-Machine Interaction.Benzmüller Christoph - 2017
Abstract argumentation.Robert A. Kowalski & Francesca Toni - 1996 - Artificial Intelligence and Law 4 (3-4):275-296.
Meta-Reasoning in Making Moral Decisions Under Normative Uncertainty.Tomasz Żuradzki - 2016 - In Dima Mohammed & Marcin Lewiński (eds.), Argumentation and Reasoned Action. College Publications. pp. 1093-1104.
Considering the roles of values in practical reasoning argumentation evaluation.Michael D. Baumtrog - 2013 - Virtues of Argumentation. Proceedings of the 10th International Conference of the Ontario Society for the Study of Argumentation (OSSA).
Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples.Henri Prade, Markus Knauff, Igor Douven & Gabriele Kern-Isberner - 2017 - Minds and Machines 27 (1):37-77.
The Inference of Chinese Logic.Qing-Tian Cui - 2003 - Philosophy and Culture 30 (12):51-68.
Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples.Tarek R. Besold, Artur D’Avila Garcez, Keith Stenning, Leendert van der Torre & Michiel van Lambalgen - 2017 - Minds and Machines 27 (1):37-77.
Informalizing Formal Logic.Antonis Kakas - 2019 - Informal Logic 39 (2):169-204.

Analytics

Added to PP
2020-02-01

Downloads
7 (#1,310,999)

6 months
5 (#526,961)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Beishui Liao
Zhejiang University
Yi Nicholas Wang
Zhejiang University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references