A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Filters
Utilizing Permission Norms in BDI Practical Normative Reasoning
[chapter]
2015
Lecture Notes in Computer Science
Agents may have incomplete knowledge about norms in a system for several reasons, such as, deficient norms identification techniques or because norms are not fixed and they may change and emerge, etc. ...
Most of this work focuses on two types of norms: prohibitions and obligations. ...
it in a normative reasoning strategy that also reasons about prohibition and obligation norms. ...
doi:10.1007/978-3-319-25420-3_1
fatcat:rn2mubjtvva4jmb3r6y53kbw6q
Supporting Request Acceptance with Use Policies
[chapter]
2015
Lecture Notes in Computer Science
We give representations of requests for resource usage as a set of conditional norms and a use policy as specifying what norms should and should not be imposed on a resource (i.e. a set of meta-norms). ...
Our main contribution is a reasoner built on the Event Calculus, that detects conflicts between requests and use policies, determining whether the request can be accepted. ...
In reasoning about meta-norms, López, Luck and D'Inverno [15] propose a kind of legislative meta-norm to govern which norms an agent may issue or abolish. ...
doi:10.1007/978-3-319-25420-3_8
fatcat:mkmxgtz4b5bidpyu26r7bwfpsy
Informed Deliberation During Norm-Governed Practical Reasoning
[chapter]
2006
Lecture Notes in Computer Science
The labelling mechanism presented in this paper is therefore a critical step towards enabling an agent to reason about norm violations -the agent becomes norm-autonomous. ...
In adopting different sets of norms, an agent may experience conflicts between these norms as well as inconsistencies between possible actions for fulfilling its obligations and its currently adopted set ...
Norm-Governed Agents Norm-governed agents are able to reason about norms and take them into account in their practical reasoning. ...
doi:10.1007/11775331_13
fatcat:dgwz7bfernahratv7r4fqoli5i
N-Jason: Run-Time Norm Compliance in AgentSpeak(L)
[chapter]
2014
Lecture Notes in Computer Science
To be able to process a norm such as an obligation, the agent architecture must be able to deal with deadlines and priorities, and choose between plans triggered by a particular norm. ...
Under the governance, agents themselves must be able to reason about compliance with state-or event-based norms (or both) depending upon the formalism used. ...
It is composed of percepts observed by agents, messages containing the information about other agents, and norms delivered from normative frameworks. ...
doi:10.1007/978-3-319-14484-9_19
fatcat:5kkqhr3aqbgytblogkgpxhsezi
Norm reasoning services
2013
Information Systems Frontiers
These services will help agent designers/developers to programme agents that consider norm reasoning without having to implement the needed mechanisms to reason about norms by themselves. ...
Specifically, we propose to provide agents with norm reasoning services. ...
All agents that use the NRSs (i.e., norm-incapable, norm-reasoning and norm-autonomous agents) comply with a similar percentage of obligations. ...
doi:10.1007/s10796-013-9444-7
fatcat:gifonkbvtffzzg3m3l3lr636zm
Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach
[chapter]
2010
Lecture Notes in Computer Science
However, when modeling contractual norms using normative multi-agent systems, it is typical to give norms a strict and domain independent semantics. ...
We introduce an approach to model such commitments based on directed obligations with time windows. ...
c (f , l , d ) t : agent b has fulfilled, at time t, his obligation to bring about f between l and d Viol b,c (f , l , d ) t : agent b has violated, at time t, his obligation to bring about f between l ...
doi:10.1007/978-3-642-11355-0_4
fatcat:jk3q2gxfbjeq5mrxruhoq4v3vy
Normative KGP agents
2006
Computational and mathematical organization theory
The main aim of this paper is to show how to extend the KGP model with normative concepts, thus providing a framework where we can develop agents that can reason about norms that are expected to govern ...
We extend the logical model of agency known as the KGP model, to support agents with normative concepts, based on the roles an agent plays and the obligations and prohibitions that result from playing ...
role allow the agent to reason about other agents' obligations and prohibitions. ...
doi:10.1007/s10588-006-9539-5
fatcat:kgrrq5wumff3fbebv4jaoubk4i
Reasoning with Group Norms in Software Agent Organisations
[chapter]
2016
Lecture Notes in Computer Science
We use our formalism to develop a reasoning mechanism which enables agents to identify their position with respect to a group norm, so as to further support agent autonomy and coordination when deciding ...
We have identified three sets of agents affected by group norms, namely, i) the addressees of the norm, ii) those that will act on it, and iii) those that are responsible to ensure norm compliance. ...
., HTN [24] ), to evaluate how our group norms can help agents agree on joint plans with fewer messages and in fewer rounds. ...
doi:10.1007/978-3-319-42691-4_1
fatcat:jrk2peqaafh2pjfaycgbubfvca
A framework for organization-aware agents
2016
Autonomous Agents and Multi-Agent Systems
Assuming an open environment, where agents are developed independently of the organizational structures, agents need to be able to reason about the structure, so that they can deliberate about their actions ...
In this paper, we present the AORTA reasoning framework and show how it can be integrated into typical BDI-agents. ...
That is, an agent enacting the evaluator role is obliged to deact the bidder role, before the bid is evaluated, if that agent is an evaluator in an RFT for which it is also a consortium partner. ...
doi:10.1007/s10458-015-9324-2
fatcat:eruianzsenegpjfnofistcakwq
Argumentation-based Normative Practical Reasoning
[chapter]
2015
Lecture Notes in Computer Science
In this paper we: (i) introduce a formal model for normative practical reasoning that allows an agent to plan for multiple and potentially conflicting goals and norms at the same time (ii) identify the ...
Reasoning about what is best for an agent to do in a particular situation is a challenging task. ...
An obligation norm expresses that taking action a 1 obliges the agent to take action a 2 within d time units of norm activation. ...
doi:10.1007/978-3-319-28460-6_14
fatcat:7g3caymsibettau3isskh27x7u
Directed Deadline Obligations in Agent-Based Business Contracts
[chapter]
2010
Lecture Notes in Computer Science
As a result, the decision-making space of agents concerning contractual obligations is enlarged and becomes richer. We discuss the issues that agents should take into account in this extended setting. ...
When modeling commitments in business contracts, directed obligations have been studied for identifying two agents: the obligation's bearer and the counterparty, who may claim for legal action in case ...
A directed obligation from agent b towards agent c to bring about f means that b is obliged to bring about f and if b does not bring about f then c is permitted to initiate legal action against b. ...
doi:10.1007/978-3-642-14962-7_15
fatcat:3n5ornebs5dpvkyyg6dl62dcjy
Implementation of Normative Practical Reasoning with Durative Actions
[chapter]
2016
Lecture Notes in Computer Science
Normative practical reasoning supports agents decision making about what is best for an agent to do in a given situation. ...
What makes practical reasoning challenging is the conflict between goals that the agent is pursuing and the norms that the agent is trying to uphold. ...
to reason computationally about agent actions, goals and norms. ...
doi:10.1007/978-3-319-42691-4_19
fatcat:zpmgmpnopjacjal6kvuxd673mq
Towards polite virtual agents using social reasoning techniques
2013
Computer Animation and Virtual Worlds
To do so, we propose a high level agent architecture combined with normative framework to model and reason about "polite" behaviours in social situations. ...
in BDI agents, and (iv) realising physical actions based on the decision. ...
virtual agents. ...
doi:10.1002/cav.1517
fatcat:lc7pmsftcrfdfpc6fhbmqdjfb4
Normative Reasoning and Consequence
2013
Dagstuhl Publications
In this chapter we first provide a general introduction to the research area methodology and relevance, then we discuss normative reasoning for multi-agent systems, and finally we discuss current research ...
To emphasize this broadness, we typically refer to "deontic logic and normative systems" rather than deontic logic only. ...
Fourth, it has been shown that reasoning about obligations and time can be done more systematically, including proof systems. ...
doi:10.4230/dfu.vol4.12111.33
dblp:conf/dagstuhl/BroersenCEGGLPTTTS13
fatcat:nnmadfn5f5fizgskvjwly3cnce
Detection and resolution of normative conflicts in multi-agent systems: a literature survey
2017
Autonomous Agents and Multi-Agent Systems
Norms can be viewed as a powerful means to regulate and influence the behaviour of the agents by specifying, for instance, obligations, permissions, or prohibitions in a given context. ...
In this paper, we present several techniques that have been proposed to detect and resolve normative conflicts in multi-agent systems. ...
agent may reason about norms and normative conflicts. ...
doi:10.1007/s10458-017-9362-z
fatcat:qift6v2hk5gxtesdi37xzzpoye
« Previous
Showing results 1 — 15 out of 127,058 results