On Strategic Argument Selection in Structured Argumentation Systems

2011 ◽  
pp. 286-305 ◽  
Author(s):  
Matthias Thimm ◽  
Alejandro J. García
Keyword(s):  
Structured Argumentation ◽  
Argumentation Systems

scholarly journals Relevance in Structured Argumentation

2018 ◽  
Author(s):  
AnneMarie Borg ◽  
Christian Straßer
Keyword(s):  
Irrelevant Information ◽  
Argumentation Theory ◽  
Relevance Logic ◽  
Consequence Relations ◽  
Consequence Relation ◽  
Relevance Criteria ◽  
Structured Argumentation ◽  
Semantic Relevance ◽  
The Given ◽  
Argumentation Systems

We study properties related to relevance in non-monotonic consequence relations obtained by systems of structured argumentation. Relevance desiderata concern the robustness of a consequence relation under the addition of irrelevant information. For an account of what (ir)relevance amounts to we use syntactic and semantic considerations. Syntactic criteria have been proposed in the domain of relevance logic and were recently used in argumentation theory under the names of non-interference and crash-resistance. The basic idea is that the conclusions of a given argumentative theory should be robust under adding information that shares no propositional variables with the original database. Some semantic relevance criteria are known from non-monotonic logic. For instance, cautious monotony states that if we obtain certain conclusions from an argumentation theory, we may expect to still obtain the same conclusions if we add some of them to the given database. In this paper we investigate properties of structured argumentation systems that warrant relevance desiderata.

scholarly journals Security assurance cases—state of the art of an emerging approach

2021 ◽  
Vol 26 (4) ◽  
Author(s):  
Mazen Mohamad ◽  
Jan-Philipp Steghöfer ◽  
Riccardo Scandariato
Keyword(s):  
State Of The Art ◽  
Tool Support ◽  
Security Assurance ◽  
The Past ◽  
Depth Analysis ◽  
Structured Argumentation ◽  
Security Properties ◽  
Standards And Regulations ◽  
Assurance Cases ◽  
Security Standards

AbstractSecurity Assurance Cases (SAC) are a form of structured argumentation used to reason about the security properties of a system. After the successful adoption of assurance cases for safety, SAC are getting significant traction in recent years, especially in safety-critical industries (e.g., automotive), where there is an increasing pressure to be compliant with several security standards and regulations. Accordingly, research in the field of SAC has flourished in the past decade, with different approaches being investigated. In an effort to systematize this active field of research, we conducted a systematic literature review (SLR) of the existing academic studies on SAC. Our review resulted in an in-depth analysis and comparison of 51 papers. Our results indicate that, while there are numerous papers discussing the importance of SAC and their usage scenarios, the literature is still immature with respect to concrete support for practitioners on how to build and maintain a SAC. More importantly, even though some methodologies are available, their validation and tool support is still lacking.

Hybrid argumentation systems for structured news reports

2001 ◽  
Vol 16 (4) ◽  
pp. 295-329 ◽  
Author(s):  
ANTHONY HUNTER
Keyword(s):  
Knowledge Management ◽  
Decision Support ◽  
Hybrid Systems ◽  
Real World ◽  
Hybrid Approach ◽  
Graphical Notation ◽  
The Real ◽  
News Reports ◽  
Further Development ◽  
Argumentation Systems

Numerous argumentation systems have been proposed in the literature. Yet there often appears to be a shortfall between proposed systems and possible applications. In other words, there seems to be a need for further development of proposals for argumentation systems before they can be used widely in decision-support or knowledge management. I believe that this shortfall can be bridged by taking a hybrid approach. Whilst formal foundations are vital, systems that incorporate some of the practical ideas found in some of the informal approaches may make the resulting hybrid systems more useful. In informal approaches, there is often an emphasis on using graphical notation with symbols that relate more closely to the real-world concepts to be modelled. There may also be the incorporation of an argument ontology oriented to the user domain. Furthermore, in informal approaches there can be greater consideration of how users interact with the models, such as allowing users to edit arguments and to weight influences on graphs representing arguments. In this paper, I discuss some of the features of argumentation, review some key formal argumentation systems, identify some of the strengths and weaknesses of these formal proposals and finally consider some ways to develop formal proposals to give hybrid argumentation systems. To focus my discussions, I will consider some applications, in particular an application in analysing structured news reports.

A structured argumentation system with backing and undercutting

2016 ◽  
Vol 49 ◽  
pp. 149-166 ◽  
Author(s):  
Andrea Cohen ◽  
Alejandro J. García ◽  
Guillermo R. Simari
Keyword(s):  
Argumentation System ◽  
Structured Argumentation

Template-Based Structured Argumentation

2008 ◽  
pp. 307-333 ◽  
Author(s):  
John Lowrance ◽  
Ian Harrison ◽  
Andres Rodriguez ◽  
Eric Yeh ◽  
Tom Boyce ◽  
...  
Keyword(s):  
Structured Argumentation

scholarly journals A. Tarskiego kryterium monotoniczności operatora konsekwencji w międzykulturowych badaniach systemów wniskowań

2016 ◽  
pp. 37-50
Author(s):  
Sławomir Sikora
Keyword(s):  
Comparative Analysis ◽  
Research Methodology ◽  
Comparative Research ◽  
Logical Consequence ◽  
Consequence Operator ◽  
Philosophical Argumentation ◽  
Argumentation Systems

In this article I refer to the issue of comparative research methodology and methods of philosophical argumentation systems with different cultural areas. In relation to that shown by A. Tarski logical consequence operator, will establish criteria for the comparative analysis of systems inferences different cultural areas of the property based on the operator monotonic consequences.

Bipolar abstract argumentation systems

2009 ◽  
pp. 65-84 ◽  
Author(s):  
Claudette Cayrol ◽  
Marie-Christine Lagasquie-Schiex
Keyword(s):  
Abstract Argumentation ◽  
Argumentation Systems
Sign in / Sign up

Export Citation Format

Share Document