论文信息 - DAMN: Defeasible Reasoning Tool for Multi-Agent Reasoning

DAMN: Defeasible Reasoning Tool for Multi-Agent Reasoning

This demonstration paper introduces DAMN: a defeasible reasoning platform available on the web. It is geared towards decision making where each agent has its own knowledge base that can be combined with other agents to detect and visualize conflicts and potentially solve them using a semantics. It allows the use of different defeasible reasoning semantics (ambiguity blocking/propagating with or without team defeat) and integrates agent collaboration and visualization features.

Abdelraouf Hecham | Madalina Croitoru | Pierre Bisquert

[1] Henry Prakken,et al. An abstract framework for argumentation with structured arguments , 2010, Argument Comput..

[2] Guillermo Ricardo Simari,et al. Defeasible logic programming: an argumentative approach , 2003, Theory and Practice of Logic Programming.

[3] Jean-François Baget,et al. Graal: A Toolkit for Query Answering with Existential Rules , 2015, RuleML.

[4] Ho Pun Lam,et al. On the Derivability of Defeasible Logic , 2012 .

[5] Abdelraouf Hecham,et al. On a Flexible Representation for Defeasible Reasoning Variants , 2018, AAMAS.

[6] Donald Nute,et al. Defeasible Reasoning: A Philosophical Analysis in Prolog , 1988 .

[7] Michael Kifer,et al. Defeasibility in answer set programs with defaults and argumentation rules , 2015, Semantic Web.

[8] Abdelraouf Hecham,et al. Argumentation-Based Defeasible Reasoning For Existential Rules , 2017, AAMAS.

[9] Michael J. Maher,et al. A Family of Defeasible Reasoning Logics and its Implementation , 2000, ECAI.