Norm Monitoring under Partial Action Observability

In the context of using norms for controlling multi-agent systems, a vitally important question that has not yet been addressed in the literature is the development of mechanisms for monitoring norm compliance under partial action observability. This paper proposes the reconstruction of unobserved actions to tackle this problem. In particular, we formalise the problem of reconstructing unobserved actions, and propose an information model and algorithms for monitoring norms under partial action observability using two different processes for reconstructing unobserved actions. Our evaluation shows that reconstructing unobserved actions increases significantly the number of norm violations and fulfilments detected.Comment: Accepted at the IEEE Transaction on Cybernetic

Norm Monitoring under Partial Action Observability

In the context of using norms for controlling multi-agent systems, a vitally important question that has not yet been addressed in the literature is the development of mechanisms for monitoring norm compliance under partial action observability. This paper proposes the reconstruction of unobserved actions to tackle this problem. In particular, we formalise the problem of reconstructing unobserved actions, and propose an information model and algorithms for monitoring norms under partial action observability using two different processes for reconstructing unobserved actions. Our evaluation shows that reconstructing unobserved actions increases significantly the number of norm violations and fulfilments detected

Reasoning about norms under uncertainty in dynamic environments

The behaviour of norm-autonomous agents is determined by their goals and the norms that are explicitly represented inside their minds. Thus, they require mechanisms for acquiring and accepting norms, determining when norms are relevant to their case, and making decisions about norm compliance. Up un- til now the existing proposals on norm-autonomous agents assume that agents interact within a deterministic environment that is certainly perceived. In prac- tice, agents interact by means of sensors and actuators under uncertainty with non-deterministic and dynamic environments. Therefore, the existing propos- als are unsuitable or, even, useless to be applied when agents have a physical presence in some real-world environment. In response to this problem we have developed the n-BDI architecture. In this paper, we propose a multi -context graded BDI architecture (called n-BDI) that models norm-autonomous agents able to deal with uncertainty in dynamic environments. The n-BDI architecture has been experimentally evaluated and the results are shown in this paper.This paper was partially funded by the Spanish government under Grant CONSOLIDER-INGENIO 2010 CSD2007-00022 and the Valencian government under Project PROMETEOH/2013/019.Criado Pacheco, N.; Argente, E.; Noriega, P.; Botti Navarro, VJ. (2014). Reasoning about norms under uncertainty in dynamic environments. International Journal of Approximate Reasoning. 55(9):2049-2070. https://doi.org/10.1016/j.ijar.2014.02.004S2049207055

Reasoning about norms under uncertainty in dynamic environments

The behaviour of norm-autonomous agents is determined by their goals and the norms that are explicitly represented inside their minds. Thus, they require mechanisms for acquiring and accepting norms, determining when norms are relevant to their case, and making decisions about norm compliance. Up until now the existing proposals on norm-autonomous agents assume that agents interact within a deterministic environment that is certainly perceived. In practise, agents interact by means of sensors and actuators under uncertainty with non-deterministic and dynamic environments. Therefore, the existing proposals are unsuitable or, even, useless to be applied when agents have a physical presence in some real-world environment. In response to this problem we have developed the n-BDI architecture. In this paper, we propose a multi-context graded BDI architecture (called n-BDI) that models norm-autonomous agents able to deal with uncertainty in dynamic environments. The n-BDI architecture has been experimentally evaluated and the results are shown in this paper. © 2014 Elsevier Inc. All rights reserved

How Knowledge Affects Obligations:a Study on the Logic of Knowledge-Based Obligations

A doctor generally does not have an obligation to treat a person if the doctor does not know that he/she is ill. But when the doctor knows the person is ill, the doctor ought to treat him/her. So what we ought to do depends a lot on what we know at that moment. This thesis provides a logical formalization of the concept of knowledge-based conditional obligation which paraphrases `A ought to be achieved by an agent under the condition that he/she knows B'. This notion is characterized by a sound and strongly complete axiomatization in this thesis. Furthermore, the framework is dynamified in order to show how knowledge change affects obligation change. Accordingly, those situations where agents' obligations are updated by their dynamic information can be modelled. Besides information change, norm change may also lead to new obligations. The notion of relativized conditional obligations is proposed for conceptualizing obligations induced by different normative systems. Several types of updates on normative systems are studied. They bring about new obligations or defeat original obligations in different ways. In the final chapters, this thesis jumps out of the approach of `ought-to-be' obligations and conceptualizes the notion of knowledge-based `ought-to-do' obligation based on dynamic epistemic logic. The basic idea of defining this notion is that an action ought to be done if and only if the action always improves the initial situation to a better situation. A sound and strongly complete axiom system is also established

On the logical foundations of moral agency

Linked version amends a mistake in Definition 2International audienceThe aim of this work is to provide a logical analysis of moral agency. Although this concept has been extensively studied in social philosophy and in social sciences, it has been far less studied in the field of deontic logic and multi-agent systems (MASs). We discuss different aspects of moral agency such as the distinction between desires and moral values and the concept of moral agent. All these concepts are formalized in a variant of STIT logic with explicit actions