Skip to content
This repository has been archived by the owner on Jul 22, 2019. It is now read-only.

Latest commit

 

History

History
88 lines (68 loc) · 3.1 KB

readme.md

File metadata and controls

88 lines (68 loc) · 3.1 KB

Web-based Argumentation

Test status: CircleCI

Extra short summary of this project:

  • Assumption-based Argumentation solver
  • Plus a web interface
  • Input: argumentation rules
  • Output: which argument is conflict-free, stable, complete, admissible, ideal, grounded.
  • FYP report: link.
  • How to setup this project for local development: link

Architecture

  • Static page served by Python Flask web-framework
  • Input parsed by Parser
  • Parser attempts to construct the ABA Framework, including
    • ABA Arguments
    • ABA Dispute Trees
  • Outputs the visualization of the arguments and dispute trees, including
    • semantics, elaborated in subsequent section

Parser

a, b, c |- d.

Rule

  • LHS contains zero or more space-separated symbols
  • RHS conrains exactly one symbol

Meaning

  • Symbols in LHS supports the RHS symbol, making a potential argument
  • If LHS is empty, then the potential argument is a ground truth
  • If the symbols contained in LHS are ground truths or assumptions or both, then the potential argument is an actual argument

Notes

  • If the sentence is potential argument, it will not be used in the dispute tree derivation
contrary(a, b).

Rule

  • a function containing two parameters, both accepting a symbol

Meaning

  • first symbol is a contrary of second symbol
  • first symbol is an assumption
assumption(x).

Rule

  • a function containing one parameter accepting a symbol

Meaning

  • explicitly state the parameter is an assumption

Argument semantics implemented

  • Conflict-free
  • Admissible
  • Complete
  • Grounded
  • Stable
  • Ideal

Testing

Using Python unittest framework, tests mainly sourced from examples presented at Craven, Toni "Argument Graphs and Assumption-Based Argumentation" (2016).

Notes

This work is based mainly on the book chapter authored by Dung, Kowalski, Toni titled "Assumption-based Argumentation" (2009).

requirements.txt contains libraries needed for setting up the project.

The following files are related to deployment in Microsoft Azure, please disregard them when evaluating the project:

  • ptvs_virtualenv_proxy.py
  • runtime.txt
  • web.config
  • wheelhouse/ujson-1.35-cp34-none-win32

Performance Testing

  • perf_memory_limitter.py is for limitting RAM usage, returning MemoryError if Python overshoot a certain amount of RAM usage
  • perf_test.py is the main file to test performance of this project.
  • perf_test_runonly.txt is the list of test cases used in perf_test.py
  • pert_test_proxdd.py is a wrapper to test the performance of proxdd, a Prolog program by Toni (2012).
  • perf_test_proxdd_setup.txt is the list of test cases used in pert_test_proxdd.py, essentially the same as perf_test_runonly.txt