NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
The Friendly Argument Notation (FAN)This document defines and explains through examples the Friendly Argument Notation (FAN). FAN builds on previous work investigating text-based ways to express arguments [2, 3]. Its primary intended use is for creating and evaluating arguments about safety-critical systems, especially the types of arguments common within safety and assurance cases [4], but nothing in its design constrains its use to that domain. Compared to existing notations commonly used within this domain (for example [6]), FAN corresponds more closely to traditional argument concepts (for example [1]), allows greater flexibility in expression, provides for including counter-arguments, and requires less knowledge of computer-science-specific concepts. Only time and use will determine how beneficial these differences are in practice. This paper concentrates on showing how FAN looks to someone who is using it manually to develop or assess arguments. A later document will concentrate on providing the information necessary for software tools to be created for FAN.
Document ID
20205002931
Document Type
Technical Memorandum (TM)
Authors
C. Michael Holloway (Langley Research Center Hampton, Virginia, United States)
Date Acquired
May 29, 2020
Publication Date
June 17, 2020
Subject Category
Computer Systems
Funding Number(s)
WBS: 340428.02.10.07.01
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Technical Review
External Peer Committee
Keywords
arugment
reasoning
conclusion
premise
defeater

Available Downloads

NameType NASA-TM-2020-5002931.pdf STI