2,579 research outputs found
Strategic Argumentation is NP-Complete
In this paper we study the complexity of strategic argumentation for dialogue
games. A dialogue game is a 2-player game where the parties play arguments. We
show how to model dialogue games in a skeptical, non-monotonic formalism, and
we show that the problem of deciding what move (set of rules) to play at each
turn is an NP-complete problem
Demo: Making Plans Scrutable with Argumentation and Natural Language Generation.
Peer reviewedPublisher PD
A Framework for Combining Defeasible Argumentation with Labeled Deduction
In the last years, there has been an increasing demand of a variety of
logical systems, prompted mostly by applications of logic in AI and other
related areas. Labeled Deductive Systems (LDS) were developed as a flexible
methodology to formalize such a kind of complex logical systems. Defeasible
argumentation has proven to be a successful approach to formalizing commonsense
reasoning, encompassing many other alternative formalisms for defeasible
reasoning. Argument-based frameworks share some common notions (such as the
concept of argument, defeater, etc.) along with a number of particular features
which make it difficult to compare them with each other from a logical
viewpoint. This paper introduces LDSar, a LDS for defeasible argumentation in
which many important issues concerning defeasible argumentation are captured
within a unified logical framework. We also discuss some logical properties and
extensions that emerge from the proposed framework.Comment: 15 pages, presented at CMSRA Workshop 2003. Buenos Aires, Argentin
Dealing with Qualitative and Quantitative Features in Legal Domains
In this work, we enrich a formalism for argumentation by including a formal
characterization of features related to the knowledge, in order to capture
proper reasoning in legal domains. We add meta-data information to the
arguments in the form of labels representing quantitative and qualitative data
about them. These labels are propagated through an argumentative graph
according to the relations of support, conflict, and aggregation between
arguments.Comment: arXiv admin note: text overlap with arXiv:1903.0186
- …