https://github.com/aig-hagen/taas-fargo

A direct solver for abstract argumentation problems, also for approximate reasoning.
https://github.com/aig-hagen/taas-fargo

Last synced: about 2 months ago
JSON representation

A direct solver for abstract argumentation problems, also for approximate reasoning.

• Host: GitHub
• URL: https://github.com/aig-hagen/taas-fargo
• Owner: aig-hagen
• License: gpl-3.0
• Created: 2022-11-25T11:06:22.000Z (about 2 years ago)
• Default Branch: main
• Last Pushed: 2024-06-19T06:43:24.000Z (7 months ago)
• Last Synced: 2024-06-19T14:26:04.448Z (7 months ago)
• Language: C++
• Size: 84 KB
• Stars: 0
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# taas-fargo

Matthias Thimm ([email protected])

taas-fargo is a direct solver for abstract argumentation problems and written

in C++.

In order to compile taas-fargo do

```

    make

```

taas-fargo uses a ICCMA23-compliant command line interface, see also

https://iccma2023.github.io/rules.html.

taas-fargo implements the problems [DC-CO,DC-PR,SE-GR,EE-GR,SE-CO,DS-CO] for

correct reasoning and [DC-CO,DC-PR,DC-ST,DC-SST,DC-STG,DC-ID,DS-CO,DS-PR,DS-ST,DS-SST,DS-STG,DS-ID,DS-GR,DC-GR] for

approximative reasoning. For example, to decide

credulous acceptance of an argument wrt. preferred semantics of an AAF in

ICCMA23 format use

```

  taas-fargo -p DC-PR -fo i23 -f  -a 

```

For using the approximative version taas-fargo-limited, use the taas-fargo-limited.sh shell skript via, e.g.

```

  taas-fargo-limited.sh -p DC-PR -fo i23 -f  -a 

```