English
Related papers

Related papers: Value Based Argumentation Frameworks

200 papers

In this paper we introduce a novel semantics, called defense semantics, for Dung's abstract argumentation frameworks in terms of a notion of (partial) defence, which is a triple encoding that one argument is (partially) defended by another…

Artificial Intelligence · Computer Science 2023-11-23 Beishui Liao , Leendert van der Torre

We make three contributions. First, we formulate a discussion-graph semantics for first-order logic with equality, enabling reasoning about discussion and argumentation in AI more generally than before. This addresses the current lack of a…

Artificial Intelligence · Computer Science 2025-11-14 Ryuta Arisaka

A Timed Argumentation Framework (TAF) is a formalism where arguments are only valid for consideration in a given period of time, called availability intervals, which are defined for every individual argument. The original proposal is based…

Artificial Intelligence · Computer Science 2019-03-06 Maximiliano C. D. Budán , Maria Laura Cobo , Diego C. Martinez , Guillermo R. Simari

In Dung-style abstract argumentation, various semantics capture notions of acceptability of arguments. The admissibility semantics capture the notion that an argument can be consistently defended from any potential counterargument. Weak…

Artificial Intelligence · Computer Science 2026-05-05 Uri Andrews , Luca San Mauro , John Spoerl

Argumentation is the process of constructing arguments about propositions, and the assignment of statements of confidence to those propositions based on the nature and relative strength of their supporting arguments. The process is modelled…

Artificial Intelligence · Computer Science 2013-03-08 John Fox , Paul J. Krause , Morten Elvang-Gøransson

Online debate forums provide users a platform to express their opinions on controversial topics while being exposed to opinions from diverse set of viewpoints. Existing work in Natural Language Processing (NLP) has shown that linguistic…

Computation and Language · Computer Science 2020-10-08 Jialu Li , Esin Durmus , Claire Cardie

Arguments are a fundamental aspect of human reasoning, in which claims are supported, challenged, and weighed against one another. We present an end-to-end large language model (LLM)-based system for reconstructing arguments from natural…

Computation and Language · Computer Science 2026-05-20 Paulo Pirozelli , Victor Hugo Nascimento Rocha , Fabio G. Cozman , Douglas Aldred

Relation extraction is an important task in knowledge acquisition and text understanding. Existing works mainly focus on improving relation extraction by extracting effective features or designing reasonable model structures. However, few…

Computation and Language · Computer Science 2021-04-08 Jiayang Cheng , Haiyun Jiang , Deqing Yang , Yanghua Xiao

Many-valued logics in general, and fuzzy logics in particular, usually focus on a notion of consequence based on preservation of full truth, typical represented by the value 1 in the semantics given the real unit interval [0,1]. In a recent…

Logic · Mathematics 2025-10-08 Guillermo Badia , Ronald Fagin , Carles Noguera

We use the theory of defaults and their meaning of [GS16] to develop (the outline of a) new theory of argumentation.

Logic · Mathematics 2016-12-20 Karl Schlechta

Justification theory is a unifying framework for semantics of non-monotonic logics. It is built on the notion of a justification, which intuitively is a graph that explains the truth value of certain facts in a structure. Knowledge…

Logic in Computer Science · Computer Science 2019-05-16 Simon Marynissen

This paper introduces context algebras and demonstrates their application to combining logical and vector-based representations of meaning. Other approaches to this problem attempt to reproduce aspects of logical semantics within new…

Computation and Language · Computer Science 2011-11-08 Daoud Clarke

Argumentation frameworks, consisting of arguments and an attack relation representing conflicts, are fundamental for formally studying reasoning under conflicting information. We use methods from mathematical logic, specifically…

Artificial Intelligence · Computer Science 2025-12-01 Uri Andrews , Luca San Mauro

We consider multi-agent argumentation, where each agent's view of the arguments is encoded as an argumentation framework (AF). Then we study deliberative processes than can occur on this basis. We think of a deliberative process as taking…

Logic in Computer Science · Computer Science 2014-08-08 Truls Pedersen , Sjur Dyrkolbotn

We introduce a novel conceptual Case Frame model that represents the content of cases involving statutory interpretation within civil law frameworks, accompanied by an associated argument scheme enriched with critical questions. By…

Symbolic Computation · Computer Science 2024-11-12 Michal Araszkiewicz

Precedential constraint is one foundation of case-based reasoning in AI and Law. It generally assumes that the underlying set of precedents must be consistent. To relax this assumption, a generalized notion of the reason model has been…

Artificial Intelligence · Computer Science 2025-10-23 Wachara Fungwacharakorn , Gauvain Bourgne , Ken Satoh

Dialectical frameworks are a unifying model of formal argumentation, where argumentative relations between arguments are represented by assigning acceptance conditions to atomic arguments. Their generality allow them to cover a number of…

Artificial Intelligence · Computer Science 2024-07-03 Jesse Heyninck , Matthias Knorr , João Leite

The recent Control Argumentation Framework (CAF) is a generalization of Dung's Argumentation Framework which handles argumentation dynamics under uncertainty; especially it can be used to model the behavior of an agent which can anticipate…

Artificial Intelligence · Computer Science 2020-09-11 Jean-Guy Mailly

Argumentation is a central subarea of Artificial Intelligence (AI) for modeling and reasoning about arguments. The semantics of abstract argumentation frameworks (AFs) is given by sets of arguments (extensions) and conditions on the…

Artificial Intelligence · Computer Science 2025-05-19 Johannes Fichte , Nicolas Fröhlich , Markus Hecher , Victor Lagerkvist , Yasir Mahmood , Arne Meier , Jonathan Persson

Gradual argumentation is a field of symbolic AI which is attracting attention for its ability to support transparent and contestable AI systems. It is considered a useful tool in domains such as decision-making, recommendation, debate…

Artificial Intelligence · Computer Science 2026-05-15 Aniol Civit , Antonio Rago , Antonio Andriella , Guillem Alenyà , Francesca Toni
‹ Prev 1 4 5 6 7 8 10 Next ›