Pareto Optimality and Strategy Proofness in Group Argument Evaluation (Extended Version)

An inconsistent knowledge base can be abstracted as a set of arguments and a defeat relation among them. There can be more than one consistent way to evaluate such an argumentation graph. Collective argument evaluation is the problem of aggregating the opinions of multiple agents on how a given set of arguments should be evaluated. It is crucial not only to ensure that the outcome is logically consistent, but also satisfies measures of social optimality and immunity to strategic manipulation. This is because agents have their individual preferences about what the outcome ought to be. In the current paper, we analyze three previously introduced argument-based aggregation operators with respect to Pareto optimality and strategy proofness under different general classes of agent preferences. We highlight fundamental trade-offs between strategic manipulability and social optimality on one hand, and classical logical criteria on the other. Our results motivate further investigation into the relationship between social choice and argumentation theory. The results are also relevant for choosing an appropriate aggregation operator given the criteria that are considered more important, as well as the nature of agents' preferences

The Theory of Fuzzy Logic and its Application to Real Estate Valuation

Fuzzy logic is based on the central idea that in fuzzy sets each element in the set can assume a value from 0 to 1, not just 0 or 1, as in classic set theory. Thus, qualitative characteristics and numerically scaled measures can exhibit gradations in the extent to which they belong to the relevant sets for evaluation. This degree of membership of each element is a measure of the element’s "belonging" to the set, and thus of the precision with which it explains the phenomenon being evaluated. Fuzzy sets can be combined to produce meaningful conclusions, and inferences can be made, given a specified fuzzy input function. The article demonstrates the application of fuzzy logic to an income-producing property, with a resulting fuzzy set output.

New evidence of visual space anisotropy with autostereograms

Postprint (published version

A partial taxonomy of judgment aggregation rules, and their properties

The literature on judgment aggregation is moving from studying impossibility results regarding aggregation rules towards studying specific judgment aggregation rules. Here we give a structured list of most rules that have been proposed and studied recently in the literature, together with various properties of such rules. We first focus on the majority-preservation property, which generalizes Condorcet-consistency, and identify which of the rules satisfy it. We study the inclusion relationships that hold between the rules. Finally, we consider two forms of unanimity, monotonicity, homogeneity, and reinforcement, and we identify which of the rules satisfy these properties

Inter-Coder Agreement for Computational Linguistics

This article is a survey of methods for measuring agreement among corpus annotators. It exposes the mathematics and underlying assumptions of agreement coefficients, covering Krippendorff's alpha as well as Scott's pi and Cohen's kappa; discusses the use of coefficients in several annotation tasks; and argues that weighted, alpha-like coefficients, traditionally less used than kappa-like measures in computational linguistics, may be more appropriate for many corpus annotation tasks—but that their use makes the interpretation of the value of the coefficient even harder. </jats:p