On Obligations, Relativised Obligations, and Bilateral Commitments

Authors:
Maria Fasli
Affiliations:
-
Venue:
AI '01 Proceedings of the 14th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
Year:
2001

Citing 3
Cited 0

Reasoning about knowledge

Reasoning about knowledge
On Social Commitment, Roles and Preferred Goals

ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Modeling Social Agents in BDO Logic

ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a formalisation of obligations for BDI agents. Although a lot of effort has been put into studying the properties of B(elief)D(esire)I(ntention) logics, little has been done to incorporate a deontic component into such logics. We identify two broad categories of obligations: general obligations which express normative statements that ought to be the case for all agents, and relativised obligations which have an explicit bearer and a counterparty. We present a formal analysis of general obligations and relativised-to-one obligations from a bearer to a single counterparty. We also discuss how relativised-to-one obligations arise as a result of bilateral commitments, and finally we examine obligations and relativised-to-one obligations in the context of different notions of realism for BDI agents.