We present a generalization of Dung’s theory of argumentation enabling to take account for some additional constraints on the admissible sets of arguments, expressed as a propositional formula over the set of arguments. We point out several semantics for such constrained argumentation frameworks, and compare the corresponding inference relations w.r.t. cautiousness. We show that our setting enc...

The nature and extent of human rationality is an issue of ongoing debate. In the last two decades, this debate has been enlivened by the development and application of new theoretical frameworks. These include Bayesian notions of adjusting and using uncertain beliefs in an inductive manner as well as deductive probability-based logics as normative guidelines against which to weigh human judgmen...

Although reasoning about what is the case has been the historic focus of logic, reasoning about what should be done is an equally important capacity for an intelligent agent. Reasoning about what to do in a given situation termed practical reasoning in the philosophical literature has important differences from reasoning about what is the case. The acceptability of an argument for an action tur...

This paper reports on the development of a catalogue of frameworks for protocol implementation. Frameworks are software structures developed for a specific application domain, which can be re-used in the implementation of various different concrete systems in this domain. By using frameworks we aim at increasing the effectiveness of the protocol implementation process. We assume that whenever p...

Argumentation The purpose of argument is to change the nature of truth. Frank Herbert – Children of Dune Argumentation is a field of research particulary interesting for the Artificial Intelligence community. It concerns the ability, for an agent (a human being, a machine, a piece of software,. . . ), to understand a topic, to reason about it, taking into account every (possibly contradictory) ...

Abstract argument frameworks have been used for various applications within multi-agent systems, including reasoning and negotiation. Different argument frameworks make use of different inter-argument relations and semantics to identify some subset of arguments as coherent, yet there is no easy way to map between these frameworks; most commonly, this is done manually according to human intuitio...

EAI (Enterprise Application Integration) is defined as the set of plans, methods and tools aimed at modernizing, consolidating, integrating and coordinating information systems within an enterprise. An EAI Framework (EAIF) is presented to provide sound and unified definitions of the modeling elements involved in the EAI approach. The goal of this work is to compare EAIF with other widely accept...

promising technology for reifying proven software designs and implementations in order to reduce the cost and improve the quality of software. A framework is a reusable, “semi-complete’’ application that can be specialized to produce custom applications [7, 10]. In contrast to earlier OO reuse techniques based on class libraries, frameworks are targeted for particular business units (such as da...

We introduce a derivative of Dung’s seminal abstract argumentation frameworks (afs) through which distinctive features both of Dung’s semantics and so-called “value-based” argumentation frameworks (vafs) may be captured. These frameworks, which we describe as uniform afs, thereby recognise that, in some circumstances, arguments may be deemed acceptable, not only as a consequence of subjective v...