Provenance is a concept often used in the Art world to refer to the documented history of an artifact, providing information about the artifact's lineage and authenticity. Provenance-aware applications similarly a...
详细信息
ISBN:
(纸本)1595935851
Provenance is a concept often used in the Art world to refer to the documented history of an artifact, providing information about the artifact's lineage and authenticity. Provenance-aware applications similarly allow their users to have confidence about the data they produce, and can enable users to make judgements relating to notions of trust, accountability, validation, replication and compliance of their data. PrIMe is a software engineering methodology for adapting applications to enable them to interact with a provenance middleware layer, thereby making them provenance-aware. Such applications allow users to answer questions about provenance use cases, which are descriptions of scenarios in which a user interacts with a system by performing particular functions on that system. In order to illustrate how PrIMe can make applications provenance-aware, an Organ Transplant Management example application is used. Copyright 2006 ACM.
In order to regulate different circumstances over an extensive period of time, norms in institutions are stated in a vague and often ambiguous manner, thereby abstracting from concrete aspects which become instead rel...
详细信息
In this paper we propose a dialogue game for agents to deliberate over a proposed action. The agents' dialogue moves are defined by a structured set of argument schemes and critical questions (CQs). Thus, a dialog...
详细信息
ISBN:
(纸本)9783540752530
In this paper we propose a dialogue game for agents to deliberate over a proposed action. The agents' dialogue moves are defined by a structured set of argument schemes and critical questions (CQs). Thus, a dialogue move is an instantiated scheme (i.e. an argument) or a CQ (i.e. a challenge on the argument instantiated in the scheme). The proposed dialogue game formalises the protocol based exchange of arguments defined in the ProCLAIM model. This model provides a setting for agents to deliberate over whether, given the arguments for and against, a proposed action is justified or not.
C+ is an action language for specifying and reasoning about the e®ects of actions and the persistence of facts over time. Based on it we present CN+, an operational enhanced form of C+ designed for rep-resenting ...
详细信息
C+ is an action language for specifying and reasoning about the e®ects of actions and the persistence of facts over time. Based on it we present CN+, an operational enhanced form of C+ designed for rep-resenting complex normative systems and integrate them easily into the semantics of the causal theory of actions. The proposed system contains a particular formalization of norms using a life-cycle approach to cap-ture the whole normative meaning of a complex normative framework. We discuss this approach and illustrate it with examples.
Assistive technologies represent a recent application area of a wide variety of Artificial Intelligence methods and tools to support people in their activities of daily living. But most approaches do only center in th...
详细信息
ISBN:
(纸本)9781607506430;9781607506423
Assistive technologies represent a recent application area of a wide variety of Artificial Intelligence methods and tools to support people in their activities of daily living. But most approaches do only center in the direct interaction between the user and the assistive tool, without taking into consideration the important role that other actors (caregivers, relatives) may have in the user activities, nor they explicitly reflect the norms and regulations that apply in such scenarios. In this paper we present an approach to the development of assistive technologies which uses organisational and normative elements to ease the design of both the social network arround the user and their expected behavioural patterns.
This work is focus in the following critical questions: 1. How to incorporate modalities in the process of argumentation reasoning? 2. Is it possible to build arguments faced with incomplete information? Our proposal ...
详细信息
Nowadays there is an important increase in the adoption and use ofdistributed computational solutions which are growing both in size (from tensto hundreds or even thousands of components, computational entities or act...
详细信息
暂无评论