On the Interaction Between Logic and Preference in Structured Argumentation

2018 ◽  
pp. 35-50
Author(s):  
Anthony P. Young ◽  
Sanjay Modgil ◽  
Odinaldo Rodrigues
Keyword(s):  
Structured Argumentation

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.

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

Assurance Case for I&C Systems Safety and Security Assessment

2020 ◽  
pp. 302-322
Author(s):  
Vladimir Sklyar ◽  
Vyacheslav S. Kharchenko
Keyword(s):  
Life Cycle ◽  
Software Tools ◽  
Security Assessment ◽  
Coverage Criteria ◽  
Life Cycle Stages ◽  
Structured Argumentation ◽  
Assurance Case

Two existing notations for the assurance case (claim, argument and evidence [CAE] and goal structuring notation [GSN]) are considered. Supporting software tools for development of the assurance case are considered. Some ways for improvement and modification are proposed for both assurance case notations (CAE and GSN). For CAE, the authors obtained annex with acceptance and coverage criteria as well as an algorithm of the assurance case update through life cycle stages. For GSN, they improve structured argumentation with support of structured text using. Recommendations for using the assurance case notations and tools for I&C systems are formulated.

Designing and implementing virtual enactive role-play and structured argumentation: promises and pitfalls

2009 ◽  
Vol 22 (5) ◽  
pp. 381-408 ◽  
Author(s):  
Caroline Mei Lin Ho ◽  
Natasha Anne Rappa ◽  
Yam San Chee
Keyword(s):  
Role Play ◽  
Structured Argumentation

scholarly journals An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework

2020 ◽  
Author(s):  
Tuomo Lehtonen ◽  
Johannes P. Wallner ◽  
Matti Järvisalo
Keyword(s):  
Answer Set Programming ◽  
Research Direction ◽  
Programming Approach ◽  
Computational Techniques ◽  
Major Research ◽  
Structured Argumentation ◽  
Algorithmic Techniques ◽  
Argumentative Reasoning ◽  
Significant Size ◽  
Answer Set

A major research direction in AI argumentation is the study and development of practical computational techniques for reasoning in different argumentation formalisms. Compared to abstract argumentation, developing algorithmic techniques for different structured argumentation formalisms, such as assumption-based argumentation and the general ASPIC+ framework, is more challenging. At present, there is a lack of efficient approaches to reasoning in ASPIC+. We develop a direct declarative approach based on answer set programming (ASP) to reasoning in an instantiation of the ASPIC+ framework. We establish formal foundations for direct declarative encodings for reasoning in ASPIC+ without preferences for several central argumentation semantics, and detail ASP encodings of semantics for which reasoning about acceptance is NP-hard in ASPIC+. Empirically, the ASP approach scales up to frameworks of significant size, thereby answering the current lack of practical computational approaches to reasoning in ASPIC+ and providing a promising base for capturing further generalizations within ASPIC+.

Sign in / Sign up

Export Citation Format

Share Document