Argumentation is a well-established technique in the area of Artificial Intelligence, used to range a wide range of phenomena, from legal reasoning to medical applications to bioinformatics to grid computing. Argumentation systems are logic-based systems that can be deployed for these applications.
This project aims at realising one such argumentation system, given in
Dialectic proof procedures for assumption-based, admissible argumentation
for supporting the decision making process of agents and negotiation of resources amongst agents. Such system could be fruitfully used in all applications that are characterised by resource negotiation.
The system should be equipped with a user-friendly gui to aid usability.
Its implementation could be realised in any language,
Prolog would have advantages as the argumentation system given in the paper
could be very easily realised in it.