1,617 research outputs found

    Formalising arguments about the burden of persuasion.

    Get PDF
    This paper presents an argument-based logic for reasoning about allocations of the burden of persuasion. The logic extends the system of Prakken (2001), which in turn modified the system of Prakken & Sartor (1996) with the possibility to distribute the burden of proof over both sides in an argument game. First the (2001) system is put in the context of a distinction of three types of proof burdens and it is argued that the proof burdens of that system are in fact burdens of persuasion. Then the (2001) system is modified to allow for defeasible reasoning about allocations of such burdens within the logic. The usefulness of the resulting system is illustrated with applications to real legal cases

    Temperature dependence of single-particle properties in nuclear matter

    Full text link
    The single-nucleon potential in hot nuclear matter is investigated in the framework of the Brueckner theory by adopting the realistic Argonne V18 or Nijmegen 93 two-body nucleon-nucleon interaction supplemented by a microscopic three-body force. The rearrangement contribution to the single-particle potential induced by the ground state correlations is calculated in terms of the hole-line expansion of the mass operator and provides a significant repulsive contribution in the low-momentum region around and below the Fermi surface. Increasing temperature leads to a reduction of the effect, while increasing density makes it become stronger. The three-body force suppresses somewhat the ground state correlations due to its strong short-range repulsion, increasing with density. Inclusion of the three-body force contribution results in a quite different temperature dependence of the single-particle potential at high enough densities as compared to that adopting the pure two-body force. The effects of three-body force and ground state correlations on the nucleon effective mass are also discussed.Comment: 14 pages, 5 figure

    OWL-POLAR : semantic policies for agent reasoning

    Get PDF
    The original publication is available at www.springerlink.comPostprin

    Assessing the Cross-Market Generalization Capability of the CLAUDETTE System

    Get PDF
    We present a study aimed at testing the CLAUDETTE system's ability to generalise the concept of unfairness in consumer contracts across diverse market sectors. The data set includes 142 terms of services grouped in five sub-sets: travel and accommodation, games and entertainment, finance and payments, health and well-being, and the more general others. Preliminary results show that the classifier has satisfying performance on all the sectors
    corecore