The target articles in this special section shed new light on the old question whether and how emotions influence action. However, what is missing is a straightforward motivational analysis—considering what we have learned from the science of explaining the “why” and “how” of behavior. I posit that emotions can influence the motivation process and thus action by fulfilling at least three functions: First, being grounded in needs, experienced emotions can function as strong need-like motivational states. Second, anticipated emotions can function (...) as incentives and justify action. Third, emotions can inform about progress in goal pursuit permitting behavior calibration. In summary, there is little doubt that emotions influence action. They can do so because they are hypo-phenomena of motivation. (shrink)

This paper describes the Eunomos software, an advanced legal document and knowledge management system, based on legislative XML and ontologies. We describe the challenges of legal research in an increasingly complex, multi-level and multi-lingual world and how the Eunomos software helps users cut through the information overload to get the legal information they need in an organized and structured way and keep track of the state of the relevant law on any given topic. Using NLP tools to semi-automate the lower-skill (...) tasks makes this ambitious project a realistic commercial prospect as it helps keep costs down while at the same time allowing greater coverage. We describe the core system from workflow and technical perspectives, and discuss applications of the system for various user groups. (shrink)

In this paper, we introduce the methodology and techniques of metaargumentation to model argumentation. The methodology of meta-argumentation instantiates Dung's abstract argumentation theory with an extended argumentation theory, and is thus based on a combination of the methodology of instantiating abstract arguments, and the methodology of extending Dung's basic argumentation frameworks with other relations among abstract arguments. The technique of meta-argumentation applies Dung's theory of abstract argumentation to itself, by instantiating Dung's abstract arguments with meta-arguments using a technique called flattening. (...) We characterize the domain of instantiation using a representation technique based on soundness and completeness. Finally, we distinguish among various instantiations using the technique of specification languages. (shrink)

In this paper, we introduce the methodology and techniques of meta-argumentation to model argumentation. The methodology of meta-argumentation instantiates Dung’s abstract argumentation theory with an extended argumentation theory, and is thus based on a combination of the methodology of instantiating abstract arguments, and the methodology of extending Dung’s basic argumentation frameworks with other relations among abstract arguments. The technique of meta-argumentation applies Dung’s theory of abstract argumentation to itself, by instantiating Dung’s abstract arguments with meta-arguments using a technique called flattening. (...) We characterize the domain of instantiation using a representation technique based on soundness and completeness. Finally, we distinguish among various instantiations using the technique of specification languages. (shrink)

Advances in assisted reproductive technologies can give rise to several ethical challenges. One of these challenges occurs when the reproductive desires of two individuals become incompatible and conflict. To address such conflicts, it is important to unbundle different aspects of (non)parenthood and to recognize the corresponding reproductive rights. This article starts on the premise that the six reproductive rights—the right (not) to be a gestational, genetic, and social parent—are negative rights that do not entail a right to assistance. Since terminating (...) or continuing a pregnancy is a form of assistance, the right (not) to be a gestational parent should enjoy primacy in conflicts. However, while refusing assistance may hinder the reproductive project of another person, “prior assistance” does not entitle someone to violate a reproductive right. Therefore, our analysis provides reasons to argue that someone has a right to unilaterally use cryopreserved embryos or continue the development of an entity in an extracorporeal gestative environment (i.e., ectogestation). Although this could lead to a violation of the right not to be a genetic parent, it does not necessarily entail a violation of the right not to be a social parent. (shrink)

A single global authority is not sufficient to regulate heterogenous agents in multiagent systems based on distributed architectures, due to idiosyncratic local situations and to the need to regulate new issues as soon as they arise. On the one hand institutions should be structured as normative systems with a hierarchy of authorities able to cope with the dynamics of local situations, but on the other hand higher authorities should be able to delimit the autonomy of lower authorities to issue valid (...) norms. In this paper, we study the interplay of obligations and strong permissions in the context of hierarchies of authorities using input/output logic, because its explicit norm base facilitates reasoning about norm base maintenance, and it covers a variety of conditional obligations and permissions. We combine the logic with constraints, priorities and hierarchies of authorities. In this setting, we observe that Makinson and van der Torre’s notion of prohibition immunity for permissions is no longer sufficient, and we introduce a new notion of permission as exception and a new distinction between static and dynamic norms. We show how strong permissions can dynamically change an institution by adding exceptions to obligations, provide an explicit representation of what is permitted to the subjects of the normative system and allow higher level authorities to limit the power of lower level authorities to change the normative system. (shrink)

This essay questions the self-sufficiency of abstract, non-consequentialist, principles as a defence of a libertarian regime. The argument focuses on the difficulties involved in attempts to defend the priority of negative rights if an attractive conception of freedom and an agent-relative view about our reasons to respect rights are to be upheld. The paper closes by suggesting how libertarianism could gain support from various, and perhaps mutually irreducible and even conflicting, considerations in a wide consequentialist system.

Every organization has to deal with operational risks, arising from the execution of a company’s primary business functions. In this paper, we describe a legal knowledge management system which helps users understand the meaning of legislative text and the relationship between norms. While much of the knowledge requires the input of legal experts, we focus in this article on NLP applications that semi-automate essential time-consuming and lower-skill tasks—classifying legal documents, identifying cross-references and legislative amendments, linking legal terms to the most (...) relevant definitions, and extracting key elements of legal provisions to facilitate clarity and advanced search options. The use of Natural Language Processing tools to semi-automate such tasks makes the proposal a realistic commercial prospect as it helps keep costs down while allowing greater coverage. (shrink)

Every organization has to deal with operational risks, arising from the execution of a company’s primary business functions. In this paper, we describe a legal knowledge management system which helps users understand the meaning of legislative text and the relationship between norms. While much of the knowledge requires the input of legal experts, we focus in this article on NLP applications that semi-automate essential time-consuming and lower-skill tasks—classifying legal documents, identifying cross-references and legislative amendments, linking legal terms to the most (...) relevant definitions, and extracting key elements of legal provisions to facilitate clarity and advanced search options. The use of Natural Language Processing tools to semi-automate such tasks makes the proposal a realistic commercial prospect as it helps keep costs down while allowing greater coverage. (shrink)

We study access control policies based on the says operator by introducing a logical framework called Fibred Security Language (FSL) which is able to deal with features like joint responsibility between sets of principals and to identify them by means of first-order formulas. FSL is based on a multimodal logic methodology. We first discuss the main contributions from the expressiveness point of view, we give semantics for the language (both for classical and intuitionistic fragment), we then prove that in order (...) to express well-known properties like 'speaks-for' or 'hand- off', defined in terms of says, we do not need second-order logic (unlike previous approaches) but a decidable fragment of first-order logic suffices. We propose a model-driven study of the says axiomatization by constraining the Kripke models in order to respect desirable security properties, we study how existing access control logics can be translated into FSL and we give completeness for the logic. (shrink)

We study access control policies based on the says operator by introducing a logical framework called Fibred Security Language (FSL) which is able to deal with features like joint responsibility between sets of principals and to identify them by means of first-order formulas. FSL is based on a multimodal logic methodology. We first discuss the main contributions from the expressiveness point of view, we give semantics for the language both for classical and intuitionistic fragment), we then prove that in order (...) to express well-known properties like ‘speaks-for’ or ‘hand-off’, defined in terms of says, we do not need second-order logic (unlike previous approaches) but a decidable fragment of first-order logic suffices. We propose a model-driven study of the says axiomatization by constraining the Kripke models in order to respect desirable security properties, we study how existing access control logics can be translated into FSL and we give completeness for the logic. (shrink)

In a concise, compelling argument, one of the founders and most influential advocates of the law and economics movement divides the subject into two separate areas, which he identifies with Jeremy Bentham and John Stuart Mill. The first, Benthamite, strain, "economic analysis of law," examines the legal system in the light of economic theory and shows how economics might render law more effective. The second strain, law and economics, gives equal status to law, and explores how the more realistic, less (...) theoretical discipline of law can lead to improvements in economic theory. It is the latter approach that Judge Calabresi advocates, in a series of eloquent, thoughtful essays that will appeal to students and scholars alike. (shrink)

We introduce a conceptual model for reaching group decisions. Our model extends a well-known, single-agent cognitive model, the recognition-primed decision (RPD) model. The RPD model includes a recognition phase and an evaluation phase. Group extensions of the RPD model, applicable to a group of RPD agents, have been considered in the literature, however the proposed models do not formalize how distributed and possibly inconsistent information can be combined in either phase. We show how such information can be utilized by aggregating (...) it using a specific social choice method, namely judgment aggregation. Our model is applicable to hierarchical groups of agents containing at least one RPD agent. (shrink)

In this paper we consider the relation between beliefs and goals in agent theory. Beliefs play three roles in reasoning about goals: they play a role in the generation of unconditional desires from conditional ones, they play a role in adoption of desires as goals, and they play a role in the selection of plans to achieve goals. In this paper we consider the role of goals in reasoning about beliefs. Though we assume that goals do not play a role (...) in the belief generation problem, we argue that they play a role in the belief selection problem. We show the rationality of the use of goals in belief selection, in the sense that there are cases in which agents that take their goals into account in selecting a belief set from a set of alternatives outperform agents that do not do so. We also formally distinguish between the rational role of goals in belief selection and irrational wishful thinking. (shrink)

Nuevos Ensayos Sobre Heráclito, pubblicato nel 2009 a cura di Enrique Hülsz Piccone, raccoglie gli atti del Secondo Symposium Eracliteum, tenutosi a Città del Messico nel giugno 2006. L’evento è importantissimo e, al tempo stesso, raro. Infatti, il primo Symposium si era tenuto a Chieti nel lontano 1981, giusto un quarto di secolo prima. Vero è che nel frattempo sono stati pubblicati, oltre a innumerevoli articoli e ai vari volumi della monumentale opera di Mouraviev, molti notevoli commenti...