A formal characterization of the outcomes of rule-based argumentation systems (SUM 2013)

International audienceRule-based argumentation systems are developed for reasoning about defeasible information. As a major feature, their logical language distinguishes between strict rules and defeasible ones. This paper presents the first study on the outcomes of such systems under various semantics such as naive, stable, preferred, ideal and grounded. For each of these semantics, it characterizes both the extensions and the set of plausible inferences drawn by these systems under a few intuitive postulates

A structured argumentation framework for detaching conditional obligations

We present a general formal argumentation system for dealing with the detachment of conditional obligations. Given a set of facts, constraints, and conditional obligations, we answer the question whether an unconditional obligation is detachable by considering reasons for and against its detachment. For the evaluation of arguments in favor of detaching obligations we use a Dung-style argumentation-theoretical semantics. We illustrate the modularity of the general framework by considering some extensions, and we compare the framework to some related approaches from the literature.Comment: This is our submission to DEON 2016, including the technical appendi

A Labelling Framework for Probabilistic Argumentation

The combination of argumentation and probability paves the way to new accounts of qualitative and quantitative uncertainty, thereby offering new theoretical and applicative opportunities. Due to a variety of interests, probabilistic argumentation is approached in the literature with different frameworks, pertaining to structured and abstract argumentation, and with respect to diverse types of uncertainty, in particular the uncertainty on the credibility of the premises, the uncertainty about which arguments to consider, and the uncertainty on the acceptance status of arguments or statements. Towards a general framework for probabilistic argumentation, we investigate a labelling-oriented framework encompassing a basic setting for rule-based argumentation and its (semi-) abstract account, along with diverse types of uncertainty. Our framework provides a systematic treatment of various kinds of uncertainty and of their relationships and allows us to back or question assertions from the literature

Civil Procedure as a Critical Discussion

This Article develops a model for analyzing legal dispute resolution systems as systems for argumentation. Our model meshes two theories of argument conceived centuries apart: contemporary argumentation theory and classical stasis theory. In this Article, we apply the model to the Federal Rules of Civil Procedure as a proof of concept. Specifically, the model analyzes how the Federal Rules of Civil Procedure function as a staged argumentative critical discussion designed to permit judge and jury to rationally resolve litigants’ differences in a reasonable manner. At a high level, this critical discussion has three phases: a confrontation, an (extended) opening, and a concluding phase. Those phases are the umbrella under which discrete argumentation phases occur at points we call stases. Whenever litigants seek a ruling or judgment, they reach a stasis—a stopping or standing point for arguing procedural points of disagreement. During these stases, the parties make arguments that fall into predictable “commonplace” argument types. Taken together, these stock argument types form a taxonomy of arguments for all civil cases. Our claim that the Federal Rules of Civil Procedure function as a system for argumentation is novel, as is our claim that civil cases breed a taxonomy of argument types. These claims also mark the beginning of a broader project. Starting here with the Federal Rules of Civil Procedure, we embark on a journey that we expect to follow for several years (and which we hope other scholars will join), exploring our model’s application across dispute resolution systems and using it to make normative claims about those systems. From a birds-eye view, this Article also represents a short modern trek in a much longer journey begun by advocates in city states in and near Greece nearly 2500 years ago

Hilbert Space Quantum Mechanics is Contextual (Reply to R. B. Griffiths)

In a recent paper Griffiths [38] has argued, based on the consistent histories interpretation, that Hilbert space quantum mechanics (QM) is noncontextual. According to Griffiths the problem of contextuality disappears if the apparatus is "designed and operated by a competent experimentalist" and we accept the Single Framework Rule (SFR). We will argue from a representational realist stance that the conclusion is incorrect due to the misleading understanding provided by Griffiths to the meaning of quantum contextuality and its relation to physical reality and measurements. We will discuss how the quite general incomprehension of contextuality has its origin in the "objective-subjective omelette" created by Heisenberg and Bohr. We will argue that in order to unscramble the omelette we need to disentangle, firstly, representational realism from naive realism, secondly, ontology from epistemology, and thirdly, the different interpretational problems of QM. In this respect, we will analyze what should be considered as Meaningful Physical Statements (MPS) within a theory and will argue that Counterfactual Reasoning (CR) -considered by Griffiths as "tricky"- must be accepted as a necessary condition for any representational realist interpretation of QM. Finally we discuss what should be considered as a problem (and what not) in QM from a representational realist perspective.Comment: arXiv admin note: substantial text overlap with arXiv:1502.0531

Economics of the Firm and Economic Growth. An hybrid theoretical framework of analysis

The characterization of individual firms is an essential step toward the study of the behaviour of industries and other more aggregated units of economics, and so to the analysis of economic growth processes. Hence, the main goal of this study is to achieve a critical discussion around the conceptualisation of the firm and its role in the dynamical process of economic growth. The approach to the main topic starts with the construction of a theoretical matrix of the economics of the firm, opening with the two major traditions of institutionalist thought in economics, and evolving then towards some considerations around the contractual and the evolutionary approaches. Another important theoretical stream that deals with organizations in economic and sociological terms also appears, the population ecology approach. After this overview, it is developed a cross-exam of distinct theoretical perspectives and the identification of possible flaws of the neoclassical theory. This confrontation, which goes throughout many imperative and controversial issues within economics such as the nature of the firm and the cognitive capacities of economic agents, results in a systematisation about the impact of this discussion on economic growth. The conclusions appear as crucial to develop further research aiming the construction of economic growth models based on a microeconomics that is closer to the reality of firms.Firm; Economic Growth; Institutionalism; Evolutionary theory; Contractual Theory; Ecology Population Theory.

Thirty years of Artificial Intelligence and Law:the second decade

The first issue of Artificial Intelligence and Law journal was published in 1992. This paper provides commentaries on nine significant papers drawn from the Journal’s second decade. Four of the papers relate to reasoning with legal cases, introducing contextual considerations, predicting outcomes on the basis of natural language descriptions of the cases, comparing different ways of representing cases, and formalising precedential reasoning. One introduces a method of analysing arguments that was to become very widely used in AI and Law, namely argumentation schemes. Two relate to ontologies for the representation of legal concepts and two take advantage of the increasing availability of legal corpora in this decade, to automate document summarisation and for the mining of arguments