127,058 Hits in 4.5 sec

Utilizing Permission Norms in BDI Practical Normative Reasoning [chapter]

Wagdi Alrawagfeh, Felipe Meneguzzi
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]

Thomas C. King, M. Birna van Riemsdijk, Virginia Dignum, Catholijn M. Jonker
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]

Martin J. Kollingbaum, Timothy J. Norman
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]

JeeHang Lee, Julian Padget, Brian Logan, Daniela Dybalova, Natasha Alechina
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

N. Criado, J.M. Such, V. Botti
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]

Henrique Lopes Cardoso, Eugénio Oliveira
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

Fariba Sadri, Kostas Stathis, Francesca Toni
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]

Huib Aldewereld, Virginia Dignum, Wamberto Vasconcelos
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

Andreas Schmidt Jensen, Virginia Dignum, Jørgen Villadsen
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]

Zohreh Shams, Marina De Vos, Nir Oren, Julian Padget, Ken Satoh
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]

Henrique Lopes Cardoso, Eugénio Oliveira
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]

Zohreh Shams, Marina De Vos, Julian Padget, Wamberto Vasconcelos
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

JeeHang Lee, Tingting Li, Julian Padget
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

Jan Broersen, Stephen Cranefield, Yehia Elrakaiby, Dov Gabbay, Davide Grossi, Emiliano Lorini, Xavier Parent, Leendert W. N. Van Der Torre, Luca Tummolini, Paolo Turrini, François Schwarzentruber, Marc Herbstritt
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

Jéssica S. Santos, Jean O. Zahn, Eduardo A. Silvestre, Viviane T. Silva, Wamberto W. Vasconcelos
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