References of "Rotolo, Antonino"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailHandling Norms in Multi-Agent System by Means of Formal Argumentation
Peirera, Célia da Costa; Tettamanzi, Andrea G. B.; Villata, Serena et al

in IfCoLog Journal of Logics and Their Applications (2017)

Formal argumentation is used to enrich and analyse normative multi-agent systems in various ways. In this chapter, we discuss three examples from the literature of handling norms by means of formal ... [more ▼]

Formal argumentation is used to enrich and analyse normative multi-agent systems in various ways. In this chapter, we discuss three examples from the literature of handling norms by means of formal argumentation. First, we discuss how existing ways to resolve conflicts among norms using priorities can be represented in formal argumentation, by showing that the so-called Greedy and Reduction approaches can be represented using the weakest and the last link principles respectively. Based on such representation results, formal argumentation can be used to explain the detachment of obligations and permissions from hierarchical normative systems in a new way. Second, we discuss how formal argumentation can be used as a general theory for developing new approaches for normative reasoning, using a dynamic ASPIC-based legal argumentation theory. We show how existing logics of normative systems can be used to analyse such new argumentation systems. Third, we show how argumentation can be used to reason about other challenges in the area of normative multiagent systems as well, by discussing a model for arguing about legal interpretation. In particular, we show how fuzzy logic combined with formal argumentation can be used to reason about the adoption of graded categories and thus address the problem of open texture in normative interpretation. Our aim to discuss these three examples is to inspire new applications of formal argumentation to the challenges of normative reasoning in multiagent systems. [less ▲]

Detailed reference viewed: 141 (15 UL)
Full Text
Peer Reviewed
See detailRules, Agents and Norms: Guidelines for Rule-Based Normative Multi-Agent Systems
Rotolo, Antonino; van der Torre, Leon UL

in RuleML Europe (2011)

In this survey paper we focus on some requirements for developing normative multi-agent systems (NMAS). In particular, we discuss Boella et al.’s guidelines proposed for NMAS. Finally, we deal with two ... [more ▼]

In this survey paper we focus on some requirements for developing normative multi-agent systems (NMAS). In particular, we discuss Boella et al.’s guidelines proposed for NMAS. Finally, we deal with two more specific questions concerning the role of norms in rule-based NMAS: the concepts of compliance and norm change. [less ▲]

Detailed reference viewed: 143 (0 UL)
Full Text
Peer Reviewed
See detailA Logical Understanding of Legal Interpretation
Boella, Guido UL; Governatori, Guido; Rotolo, Antonino et al

in KR 2010 (2010)

If compliance with a norm does not achieve its purpose, then its applicability must dynamically be restricted or expanded. Legal interpretation is a mechanism from law allowing norms to be adapted to ... [more ▼]

If compliance with a norm does not achieve its purpose, then its applicability must dynamically be restricted or expanded. Legal interpretation is a mechanism from law allowing norms to be adapted to unforeseen situations. We model this mechanism for norms regulating computer systems by representing the purpose of norms by social goals and by revising the constitutive rules defining the applicability of norms. We illustrate the interpretation mechanism by examples. [less ▲]

Detailed reference viewed: 112 (0 UL)
Peer Reviewed
See detailTime and Defeasibility in FIPA ACL Semantics
Rotolo, Antonino; Boella, Guido; Governatori, Guido et al

in Proceedings of WLIAMAS 2008 (2008)

Inferences about speech acts are often conditional, nonmonotonic, and involve the issue of time. Most agent communication languages, however, ignore these issues, due to the difficulty to combine them in ... [more ▼]

Inferences about speech acts are often conditional, nonmonotonic, and involve the issue of time. Most agent communication languages, however, ignore these issues, due to the difficulty to combine them in a single formalism. This paper addresses such issues in defeasible logic, and shows how to express a semantics for ACLs in order to make nonmonotonic inferences on the basis of speech acts. [less ▲]

Detailed reference viewed: 144 (7 UL)