In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible Logic. We argue, in particular, that the introduction of obligations can provide a new reading of the concepts of intention and intentionality. Then we examine the notion of social agent (i.e., an agent where obligations prevail over intentions) and discuss some computational and philosophical issues related to it. We show that the notion of social agent either requires more complex computations or has some philosophical drawbacks.

In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intuition behind the system is that a contrary-to-duty is a special kind of normative exception. The logical machinery to formalise this idea is taken from substructural logics and it is based on the definition of a new non-classical connective capturing the notion of reparational obligation. Then the system is tested against well-known contrary-to-duty paradoxes.

Abstract. We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of agency, intention and obligation. We argue about the defeasible nature of these notions and then we show how to represent and reason with them in the setting of defeasible logic.

We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of temporalised agency and temporalised normative positions. We argue about the defeasible nature of these notions and then we show how to represent and reason with them in the setting of Defeasible Logic. MOTIVATION AND LAYOUTAn increasing number of works on agents assume that in artificial societies normative concepts may play a decisive role, allowing for the flexible co-ordination of autonomous agents [5,20,15]. In particular, it seems crucial to model organisations of agents in terms of policy-based normative systems; accordingly an organisation should be characterised by specifying the normative positions relevant to design its structure. These positions include duties, permissions, but also powers, as for instance powers of creating further normative positions on the head of other agents. In this paper we will develop a formal machinery to account for several fundamental concepts that are required to model policy-based normative systems. These concepts will be embedded in a nonmonotonic and computationally-oriented framework based on Defeasible Logic (DL).From the conceptual standpoint, it is well known that the basic deontic qualifications (obligatory, forbidden, permitted and facultative) are not sufficient to capture all fundamental normative notions, such as the concepts of rights and power. For this reason, we will first provide an account in DL of the notion of other-directed obligation [14] to express, e.g., the first Hohfeldian set of fundamental concepts: duty, right, noright, and privilege. Second, we shall focus on different kinds of normative conditionals. This will enable us to characterise also the idea of normative power and articulate many potestative concepts such as the second Hohfeldian set of concepts: power, liability (or, subjection, to avoid confusion with the notion of liability, as used in tort law), disability, and immunity. * This work was partially supported by Australia Research Council under Discovery Project No. DP0558854 on "A Formal Approach to Resource Allocation in Web Service Oriented Composition in Open Marketplaces". Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. In general, we shall see how the analysis of normative conditionality and normative positions has to include temporal aspects in order to capture a number of nuances in the perspective of framing a fine-grained classification of such concepts. In fact, normative determinations take place along the axis of time: Normative preconditions hold or happen in certain temporally characterised occasions, and consequently their effects too hold or happen wi...

No abstract

Abstract. In this paper we provide a formal analysis of the idea of normative co-ordination. We argue that this idea is based on the assumption that agents can achieve flexible co-ordination by conferring normative positions to other agents. These positions include duties, permissions, and powers. In particular, we explain the idea of declarative power, which consists in the capacity of the power-holder of creating normative positions, involving other agents, simply by "proclaiming" such positions. In addition, we account also for the concepts of representation, namely the representative's capacity of acting in the name of his principal, and of mandate, which is the mandatee's duty to act as the mandator has requested. Finally, we show how the framework can be applied to represent the contract-net protocol. Some brief remarks on future research and applications conclude this contribution.

Chest pain is one of the chief presenting complaints among patients attending Emergency department. The diagnosis of acute myocardial infarction may be a challenge. Various tools such as anamnesis, blood sample (with evaluation of markers of myocardial necrosis), ultrasound techniques and coronary computed tomography could be useful. However, the interpretation of electrocardiograms of these patients may be a real concern. The earliest manifestations of myocardial ischemia typically interest T waves and ST segment. Despite the high sensitivity, ST segment deviation has however poor specificity since it may be observed in many other cardiac and non-cardiac conditions. Therefore, when ST-T abnormalities are detected the physicians should take into account many other parameters (such as risk factors, symptoms and anamnesis) and all the other differential diagnoses. The aim of our review is to overview of the main conditions that may mimic a ST segment Elevation Myocardial Infarction (STEMI).

In this paper we propose an extension of Defeasible Logic to represent and compute three concepts of defeasible permission. In particular, we discuss different types of explicit permissive norms that work as exceptions to opposite obligations. Moreover, we show how strong permissions can be represented both with, and without introducing a new consequence relation for inferring conclusions from explicit permissive norms. Finally, we illustrate how a preference operator applicable to contrary-to-duty obligations can be combined with a new operator representing ordered sequences of strong permissions which derogate from prohibitions. The logical system is studied from a computational standpoint and is shown to have liner computational complexity