1,356,073 research outputs found
Sherry Crawford, Debbie Rotolo, and Marion Sell Oral History Interview
No full textDuring the tenure of Tampa Mayor Sandy Freedman (1986-1995), Sherry Crawford, Debbie Rotolo, and Marion Sell all served as executive aides in the mayor\u27s office. Some of the topics they discuss include the mayor\u27s Model Cities Program, the United Way, Paint Your Heart Out, and downtown development issues. The interview ends with a discussion of various visiting dignitaries including Al Gore, Queen Elizabeth II, Richard Simmons, Bill Clinton, and author James Michener
Stable normative explanations : from argumentation to deontic logic
No full textPublished online: 24 September 2023This paper reconstructs in the context of formal argumentation the notion of stable explanation developed elsewhere in Defeasible Logic. With this done, we discuss the deontic meaning of this notion and show how to build from argumentation neighborhood structures for deontic logic where a stable explanation can be characterised.Antonino Rotolo and Giovanni Sartor were partially supported by the Project PE01 “Future AI Research” (FAIR, PNRR, CUP: J33C22002830006)
A Logic for the Interpretation of Private International Law
No full textIn this chapter we develop more extensively the logical framework introduced in Malerba et al. (Legal Knowledge and Information Systems - JURIX 2016: The Twenty-Ninth Annual Conference, vol.294 of Frontiers in Artificial Intelligence and Applications, pp. 83–92, IOS Press, 2016) to model reasoning across legal systems. The logic extends the system presented in Rotolo et al. (Proceedings of the 15th International Conference on Artificial Intelligence and Law, ICAIL 2015, San Diego, CA, USA, June 8–12, 2015, pp. 99–108). In particular, we propose a logical system that encompasses the various interpretative interactions occurring between legal systems in the context of private international law. This is done by introducing meta-rules to reason with interpretive canons.No Full Tex
L'innovazione digitale nei servizi di welfare: quali implicazioni per le organizzazioni del settore
No full textIl capitolo esplora le conseguenze della “rivoluzione” dalla prospettiva di chi eroga e gestisce i servizi di welfare: dalla decisione di introdurre innovazioni digitali alle conseguenze a livello organizzativo, dalla modifica dei modelli di servizio agli impatti per i beneficiar
Norm compliance in business process modeling
No full textAbstract. We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic and a logic of violation, with a richer deontic language capable of capture many different facets of normative requirements. The resulting logic, called Process Compliance Logic (PCL), is able to capture both semantic compliance and structural compliance. This paper focuses on structural compliance, that is we show how PCL can capture obligations concerning the structure of a business process.
Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic
No full textThis paper presents an extension of Defeasible Deontic Logic to deal with the Pragmatic Oddity problem. The logic applies three general principles: (i) the Pragmatic Oddity problem must be solved within a general logical treatment of contrary- to-duty (CTD) reasoning; (ii) non-monotonic methods must be adopted to handle CTD reasoning; (iii) logical models of CTD reasoning must be computationally feasible and, if possible, efficient. The proposed extension of Defeasible Deontic Logic elaborates a preliminary version of the model proposed by Governatori and Rotolo [15]. The previous solution was based on particular characteristics of the (constructive, top-down) proof theory of the logic. However, that method introduces some degree of non-determinism. To avoid the problem, we provide a bottom-up characterization of the logic. The new characterization offers insights for the efficient implementation of the logic and allows us to establish the computational complexity of the problem
Profili di responsabilità medica alla 'luce' della medicina narrativa
No full textTraendo spunto da alcuni riferimenti letterari, il lavoro mira a introdurre gli aspetti più significativi della medicina narrativa, quale sviluppo del filone culturale che suggerisce un confronto costruttivo tra medicina e letteratura. In particolare, si delineano le differenze di approccio e i punti di incontro tra la Narrative Based e la Evidence Based Medicine.
In questa prospettiva il saggio si propone di illustrare quale apporto la medicina narrativa possa offrire al dibattito attorno ad alcune questioni centrali in tema di responsabilità medica: l’ossequio ai contenuti delle linee guida e la rilevanza del consenso informato del paziente.
L’approccio narrativo alla pratica medica, da un lato, sembra poter innalzare gli standard qualitativi della prestazione sanitaria, dall’altro, anche favorendo la realizzazione di una piena alleanza terapeutica tra il medico e il paziente, garantisce un freno alla diffusione di pratiche difensivistiche.Inspired by some literary references, the essay aims at outlining the main features of narrative medicine, such as the development of the cultural trend that suggests a constructive dialogue between medicine and literature. Specifically, the author attempts to define the differences in approach and the overlaps between Narrative Based and Evidence Based Medicine.
Under this perspective, the work seeks to illustrate what kind of contribution narrative medicine may offer to the debate concerning some key aspects of the medical liability field, in particular with regards to the contents of medical guidelines and patients’ informed consent.
Thus, the paper explains how the narrative approach to medical practice could raise the quality standards of the health care service by means of driving toward a full therapeutic alliance between physicians and patients. Among the positive aspects of such a trend, the author highlights how the narrative method put a brake on the spread of medical practitioners’ defensive practices
Deontic Ambiguities in Legal Reasoning
No full textWhat happens if the way in which we handle a genuine deontic conflict --i.e., a deontic ambiguity-- matters regarding the application of other norms that are not directly affected by that conflict? We argue that the law requires sometimes propagating the ambiguity to other norms and sometimes confining it to some norms only. We explore this issue and model different reasoning patterns. The problem is addressed in a new variant of Defeasible Deontic Logic. The contribution of this paper is threefold: (a) we extend the treatment of ambiguity blocking and propagation to Defeasible Deontic Logic; (b) we discuss reasoning patterns in the law, especially in criminal law, where we need to deal with both ambiguity blocking and ambiguity propagation in the same legal system and logic; (c) we devise an annotated variant of Defeasible Deontic Logic where we distinguish literals that must be obtained through an ambiguity-blocking mechanism from those that are derived using an ambiguity-propagating mechanism
Deontic meta-rules
No full textThe use of meta-rules in logic, i.e., rules whose content includes other rules, has recently gained attention in the setting of non-monotonic reasoning: a first logical formalisation and efficient algorithms to compute the (meta)-extensions of such theories were proposed in Olivieri et al. (2021, Computing defeasible meta-logic. In JELIA 2021, LNCS, vol. 12678, pp. 69-84. Springer.). This work extends such a logical framework by considering the deontic aspect. The resulting logic will not just be able to model policies but also tackle well-known aspects that occur in numerous legal systems. The use of Defeasible Logic to model meta-rules in the application area we just alluded to has been investigated. Within this line of research, the study mentioned above was not focusing on the general computational properties of meta-rules.This study fills this gap with two major contributions. First, we introduce and formalise two variants of Defeasible Deontic Logic (DDL) with meta-rules to represent (i) defeasible meta-theories with deontic modalities and (ii) two different types of conflicts among rules: Simple Conflict DDL and Cautious Conflict DDL. Second, we advance efficient algorithms to compute the extensions for both variants
- …
