research-article

Free access

Behaving responsible in multi-agent worlds

Authors:

Tiago de Lima,

Lambèr Royakkers,

Frank DignumAuthors Info & Claims

AAMAS '09: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2

Pages 1139 - 1140

Published: 10 May 2009 Publication History

PDF eReader

Abstract

It has been proposed that a good way of allocating tasks to agents is by ascribing them obligations, i.e., if we want agent i achieves φ, we can stipulate that 'it is obligatory for i that φ'. Here, we argue that this method is not adequate to guide agent's decisions. Then, using a multi-agent extension of propositional dynamic logic, with operators expressing agents' knowledge and abilities, we show that when agents' decisions are guided by responsibilities, as we define here, a successful performance is more likely to be obtained.

References

[1]

R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time temporal logic. J. of the ACM, 5(49):672--713, 2002.

Digital Library

Google Scholar

[2]

P. d'Altan, J.-J. Meyer, and R. Wieringa. An integrated framework for ought-to-be and ought-to-do constraints. Artif. Int. and Law, 4:77--111, 1996.

Digital Library

Google Scholar

[3]

D. Harel, D. Kozen, and J. Tiuryn. Dynamic logic. In D. Gabbay and F. Guenther, editors, Handbook of Philosophical Logic Volume II -- Extensions of Classical Logic, pages 497--604. D. Reidel Publishing Company: Dordrecht, The Netherlands, 1984.

Google Scholar

[4]

A. Herzig, J. Lang, D. Longin, and T. Polacsek. A logic for planning under partial observability. In Proceedings of AAAI 2000, pages 768--773. AAAI Press / The MIT Press, 2000.

Digital Library

Google Scholar

[5]

J.-J. Meyer. A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame J. of Formal Logic, 29(1):109--136, 1988.

Crossref

Google Scholar

[6]

M. Pauly. Logic for Social Software. PhD thesis, ILLC, University of Amsterdam, 2001.

Google Scholar

[7]

L. M. M. Royakkers. Extending Deontic Logics for the Formalisation of Legal Rules. Kluwer, 1998.

Crossref

Google Scholar

[8]

W. van der Hoek and M. Wooldridge. Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications. Studia Logica, 75:125--157, 2003.

Crossref

Google Scholar

Index Terms

Behaving responsible in multi-agent worlds
1. Computing methodologies
  1. Artificial intelligence
    1. Distributed artificial intelligence
    2. Knowledge representation and reasoning
2. Theory of computation
  1. Logic

Recommendations

Placing Blame in Multi-agent Systems
Culture and Computing
Abstract
The article discusses the concept of blame, the acts of placing blame, and blaming in the context of multi-agent systems (MAS). The conceptual resources used for analyzing MASs and their functioning mainly concentrate on successful action while ...
Obligations and prohibitions in Talmudic deontic logic
Special issue on Deontic Logic and Normative Systems

This paper examines the deontic logic of the Talmud. We shall find, by looking: at examples, that at first approximation we need deontic logic with several connectives: O_TA Talmudic obligation F_TA Talmudic prohibition F_DA Standard deontic prohibition O_D...
Normative KGP agents

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 these roles. The proposed framework illustrates how ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

AAMAS '09: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2

May 2009

730 pages

ISBN:9780981738178

General Chairs:
Carles Sierra
Artificial Intelligence Research Institute of the Spanish Research Council (Spain)
,
Cristiano Castelfranchi
ISTC-CNR (Italy)
,
Program Chairs:
Keith S. Decker
University of Delaware
,
Jaime Simão Sichman
Politecnic School, University of São Paulo (Brazil)

Publisher

International Foundation for Autonomous Agents and Multiagent Systems

Richland, SC

Publication History

Published: 10 May 2009

Author Tags

Qualifiers

Research-article

Acceptance Rates

Overall Acceptance Rate 1,155 of 5,036 submissions, 23%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
116
Total Downloads

Downloads (Last 12 months)30
Downloads (Last 6 weeks)10

Reflects downloads up to 16 Feb 2025

Other Metrics

View Author Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Index Terms

Recommendations

Placing Blame in Multi-agent Systems

Obligations and prohibitions in Talmudic deontic logic

Normative KGP agents