3 research outputs found
Normative design using inductive learning
In this paper we propose a use-case-driven iterative design methodology for
normative frameworks, also called virtual institutions, which are used to
govern open systems. Our computational model represents the normative framework
as a logic program under answer set semantics (ASP). By means of an inductive
logic programming approach, implemented using ASP, it is possible to synthesise
new rules and revise the existing ones. The learning mechanism is guided by the
designer who describes the desired properties of the framework through use
cases, comprising (i) event traces that capture possible scenarios, and (ii) a
state that describes the desired outcome. The learning process then proposes
additional rules, or changes to current rules, to satisfy the constraints
expressed in the use cases. Thus, the contribution of this paper is a process
for the elaboration and revision of a normative framework by means of a
semi-automatic and iterative process driven from specifications of
(un)desirable behaviour. The process integrates a novel and general methodology
for theory revision based on ASP.Comment: Theory and Practice of Logic Programming, 27th Int'l. Conference on
Logic Programming (ICLP'11) Special Issue, volume 11, issue 4-5, 201
Using Norms To Control Open Multi-Agent Systems
Internet es, tal vez, el avance científico más relevante de nuestros días. Entre
otras cosas, Internet ha permitido la evolución de los paradigmas de computación tradicionales hacia el paradigma de computaciónn distribuida, que se
caracteriza por utilizar una red abierta de ordenadores. Los sistemas multiagente
(SMA) son una tecnolog a adecuada para abordar los retos motivados
por estos sistemas abiertos distribuidos. Los SMA son aplicaciones formadas
por agentes heterog eneos y aut onomos que pueden haber sido dise~nados de
forma independiente de acuerdo con objetivos y motivaciones diferentes. Por
lo tanto, no es posible realizar ninguna hip otesis a priori sobre el comportamiento
de los agentes. Por este motivo, los SMA necesitan de mecanismos
de coordinaci on y cooperaci on, como las normas, para garantizar el orden
social y evitar la aparici on de conictos.
El t ermino norma cubre dos dimensiones diferentes: i) las normas como
un instrumento que gu a a los ciudadanos a la hora de realizar acciones y
actividades, por lo que las normas de nen los procedimientos y/o los protocolos
que se deben seguir en una situaci on concreta, y ii) las normas como
ordenes o prohibiciones respaldadas por un sistema de sanciones, por lo que
las normas son medios para prevenir o castigar ciertas acciones. En el area
de los SMA, las normas se vienen utilizando como una especi caci on formal
de lo que est a permitido, obligado y prohibido dentro de una sociedad. De
este modo, las normas permiten regular la vida de los agentes software y las
interacciones entre ellos.
La motivaci on principal de esta tesis es permitir a los dise~nadores de los
SMA utilizar normas como un mecanismo para controlar y coordinar SMA
abiertos. Nuestro objetivo es elaborar mecanismos normativos a dos niveles:
a nivel de agente y a nivel de infraestructura. Por lo tanto, en esta tesis se
aborda primero el problema de la de nici on de agentes normativos aut onomos
que sean capaces de deliberar acercaCriado Pacheco, N. (2012). Using Norms To Control Open Multi-Agent Systems [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/17800Palanci