research-article

A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance

Authors:

M. Birna van Riemsdijk,

Michael Fisher,

Koen V. HindriksAuthors Info & Claims

AAMAS '15: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems

Pages 423 - 432

Published: 04 May 2015 Publication History

Abstract

We address the question of how an agent can adapt its behavior to comply with newly adopted norms. This is particularly relevant in the case of open systems where agents may enter and leave norm-governed social contexts not known at design time. This requires norms to be explicitly and separately stated and presented to an agent as rules to which it then can try to adapt its behavior.

We propose a formal semantic framework that specifies an execution mechanism for such socially adaptive agents. This framework is based on expressing norms using Linear Temporal Logic. The formality of the framework allows us to rigorously study its norm compliance properties. A weak form of norm compliance allows agents to abort execution in order to prevent norm violation. In this paper we investigate a stronger notion of norm compliance that is evaluated over infinite traces. We show that it is not possible for all agents to be strongly compliant with any arbitrary set of norms. We then investigate situations when strong norm compliance can be guaranteed.

References

[1]

N. Alechina, M. Dastani, and B. Logan. Programming norm-aware agents. In Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'12), pages 1057--1064. IFAAMAS, 2012.

Digital Library

[2]

G. Andrighetto, M. Campenni, F. Cecconi, and R. Conte. The complex loop of norm emergence: A simulation model. In Simulating Interacting Agents and Social Phenomena: The second world congress, volume 7 of Agent-Based Social Systems, pages 19--35. Springer, 2010.

[3]

G. Andrighetto, G. Governatori, P. Noriega, and L. W. N. van der Torre, editors. Normative Multi-Agent Systems, volume 4 of Dagstuhl Follow-Ups. Schloss Dagstuhl- Leibniz-Zentrum fuer Informatik, 2013.

[4]

G. Boella and R. Damiano. An architecture for normative reactive agents. In Proceedings of the 5th Pacific Rim International Workshop on Intelligent Agents and Multi-Agent Systems (PRIMA'02), volume 2413 of LNCS, pages 1--17, 2002.

Digital Library

[5]

R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni. Multi-Agent Programming: Languages, Platforms and Applications. Springer, Berlin, 2005.

Digital Library

[6]

J. Broersen and J. Brunel. Preservation of obligations in a temporal and deontic framework. In Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'07), pages 1108--1110. ACM, 2007.

Digital Library

[7]

J. Broersen, S. Cranefield, Y. Elrakaiby, D. Gabbay, D. Grossi, E. Lorini, X. Parent, L. W. N. van der Torre, L. Tummolini, P. Turrini, and F. Schwarzentruber. Normative reasoning and consequence. In G. Andrighetto, G. Governatori, P. Noriega, and L. W. N. van der Torre, editors, Normative Multi-Agent Systems, volume 4 of Dagstuhl Follow-Ups, pages 33--70. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2013.

[8]

N. Bulling, M. Dastani, and M. Knobbout. Monitoring norm violations in multi-agent systems. In Proceedings of the twelfth international joint conference on autonomous agents and multiagent systems (AAMAS'13), pages 491--498. IFAAMAS, 2013.

Digital Library

[9]

R. Conte, C. Castelfranchi, and F. Dignum. Autonomous norm acceptance. In Proceedings of the 5th International Workshop on Agent Theories, Architectures, and Languages (ATAL'98), volume 1555 of LNCS, pages 99--112. Springer, 1999.

Digital Library

[10]

S. Cranefield, M. Winikoff, and W. Vasconcelos. Modelling and monitoring interdependent expectations. In S. Cranefield, M. Riemsdijk, J. Vázquez-Salceda, and P. Noriega, editors, Coordination, Organizations, Institutions, and Norms in Agent System VII, volume 7254 of LNCS, pages 149--166. Springer, 2012.

[11]

N. Criado, E. Argente, P. Noriega, and V. Botti. Human-inspired model for norm compliance decision making. Information Sciences, 245:218--239, 2013.

Digital Library

[12]

D. D'Aprile, L. Giordano, V. Gliozzi, A. Martelli, G. Pozzato, and D. T. Dupré. Verifying business process compliance by reasoning about actions. In J. Dix, J. Leite, G. Governatori, and W. Jamroga, editors, Computational Logic in Multi-Agent Systems, volume 6245 of Lecture Notes in Computer Science, pages 99--116. Springer, 2010.

Digital Library

[13]

F. Dignum, V. Dignum, J. Thangarajah, L. Padgham, and M. Winikoff. Open agent systems??? In Proceedings of the 8th International Workshop on Agent-Oriented Software Engineering (AOSE'07), volume 4951 of LNCS, pages 73--87. Springer, 2008.

Digital Library

[14]

F. Dignum and R. Kuiper. Combining dynamic deontic logic and temporal logic for the specification of deadlines. In Proceedings of the Thirtieth Hawaii International Conference on System Sciences, volume 5, pages 336--346. IEEE, 1997.

Digital Library

[15]

A. Elgammal. Towards a comprehensive framework for business process compliance. PhD thesis, 2012.

[16]

E. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, pages 996--1072. Elsevier, Amsterdam, 1990.

Digital Library

[17]

M. S. Fagundes, H. Billhardt, and S. Ossowski. Normative reasoning with an adaptive self-interested agent model based on Markov Decision Processes. In Proceedings of the 12th Ibero-American Conference on AI (IBERAMIA'10), volume 6433 of LNCS, pages 274--283. Springer, 2010.

Digital Library

[18]

M. Fisher. A normal form for temporal logics and its applications in theorem-proving and execution. Journal of Logic and Computation, 7(4):429--456, 1997.

[19]

M. Fisher. Agent deliberation in an executable temporal framework. Journal of Applied Logic, 9(4):223--238, 2011.

[20]

M. Fisher and A. Hepple. Executing logical agent specifications. In R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni, editors, Multi-Agent Programming: Languages, Tools and Applications, pages 1--27. Springer, Berlin, 2009.

[21]

G. Governatori, F. Olivieri, S. Scannapieco, and M. Cristani. Designing for compliance: Norms and goals. In F. Olken, M. Palmirani, and D. Sottara, editors, 5th International Symposium on Rule-Based Modeling and Computing on the Semantic Web (RuleML'11), pages 282--297. Springer, 2011.

Digital Library

[22]

G. Governatori and S. Shazia. The journey to business process compliance. pages 426--454. IGI Global, 2009.

[23]

H. Groefsema and D. Bucur. A survey of formal business process verification: From soundness to variability. In International Symposium on Business Modeling and Software Design, pages 198--203, 2013.

[24]

J. Hansen, G. Pigozzi, and L. van der Torre. Ten philosophical problems in deontic logic. In G. Boella, L. van der Torre, and H. Verhagen, editors, Normative Multi-agent Systems, number 07122 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2007.

[25]

K. Hindriks and M. B. van Riemsdijk. Satisfying maintenance goals. In Proceedings of the fifth International Workshop on Declarative Agent Languages and Technologies (DALT'07), volume 4897 of LNAI, pages 86--103. Springer, 2007.

Digital Library

[26]

F. López y López, M. Luck, and M. d'Inverno. Constraining autonomy through norms. In The First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'02), pages 674--681. ACM, 2002.

Digital Library

[27]

F. López y López, M. Luck, and M. d'Inverno. Normative agent reasoning in dynamic societies. In The Third International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'04), pages 732--739. IEEE Computer Society, 2004.

Digital Library

[28]

F. M. Maggi, M. Westergaard, M. Montali, and W. M. van der Aalst. Runtime verification of ltl-based declarative process models. In S. Khurshid and K. Sen, editors, Runtime Verification, volume 7186 of Lecture Notes in Computer Science, pages 131--146. Springer, 2012.

Digital Library

[29]

F. Meneguzzi and M. Luck. Norm-based behaviour modification in BDI agents. In Proceedings of the eighth international joint conference on autonomous agents and multiagent systems (AAMAS'09), pages 177--184, Budapest, 2009.

Digital Library

[30]

M. Montali, P. Torroni, F. Chesani, P. Mello, M. Alberti, and E. Lamma. Abductive logic programming as an effective technology for the static verification of declarative business processes. Fundamenta Informaticae, 102(3-4):325--361, 2010.

Digital Library

[31]

S. Panagiotidi and J. Vázquez-Salceda. Norm-aware planning: Semantics and implementation. In Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03, pages 33--36. IEEE, 2011.

Digital Library

[32]

M. B. van Riemsdijk, L. Dennis, M. Fisher, and K. V. Hindriks. Agent reasoning for norm compliance: a semantic approach. In Proceedings of the twelfth international joint conference on autonomous agents and multiagent systems (AAMAS'13), pages 499--506. IFAAMAS, 2013.

Digital Library

[33]

M. B. van Riemsdijk, K. V. Hindriks, C. M. Jonker, and M. Sierhuis. Formalizing organizational constraints: A semantic approach. In Proceedings of the nineth international joint conference on autonomous agents and multiagent systems (AAMAS'10), pages 823--830. IFAAMAS, 2010.

Digital Library

Cited By

Ajmeri NGuo HMurukannaiah PSingh M(2018)Robust norm emergence by revealing and reasoning about contextProceedings of the 27th International Joint Conference on Artificial Intelligence10.5555/3304415.3304421(28-34)Online publication date: 13-Jul-2018
https://dl.acm.org/doi/10.5555/3304415.3304421
Kayal ABrinkman WNeerincx MRiemsdijk M(2018)Automatic Resolution of Normative Conflicts in Supportive Technology Based on User ValuesACM Transactions on Internet Technology10.1145/315837118:4(1-21)Online publication date: 25-May-2018
https://dl.acm.org/doi/10.1145/3158371
Ajmeri NLarson KWinikoff MDas SDurfee E(2017)Engineering Socially Intelligent Personal Agents via NormsProceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems10.5555/3091125.3091453(1822-1823)Online publication date: 8-May-2017
https://dl.acm.org/doi/10.5555/3091125.3091453
Show More Cited By

Index Terms

A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance

Recommendations

Programming norm-aware agents
AAMAS '12: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2

Normative organisations provide a means to coordinate the activities of individual agents in multiagent settings. The coordination is realized at run time by creating obligations and prohibitions (norms) for individual agents. If an agent cannot meet an ...
Design and evaluation of norm-aware agents based on Normative Markov Decision Processes

In this paper, we show how the impact of norms on the sequential decision making of agents can be formally modeled, computationally determined and quantitatively assessed. For this purpose, we put forward the Normative Markov Decision Process (NMDP) ...
Software agents: state-of-the-art and possible applications
CompSysTech '12: Proceedings of the 13th International Conference on Computer Systems and Technologies

For more than two decades software agent technology represents one of rapidly developing areas of research. The main achievement of this trend of research was the development of new programming models that address both the basic features of agenthood (...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

AAMAS '15: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems

May 2015

2072 pages

ISBN:9781450334136

General Chairs:
Gerhard Weiss
Maastricht University, The Netherlands
,
Pınar Yolum
Bogazici University, Turkey
,
Program Chairs:
Rafael H. Bordini
PUCRS, Brazil
,
Edith Elkind
University of Oxford, UK

Sponsors

IFAAMAS

In-Cooperation

SIGAI: ACM Special Interest Group on Artificial Intelligence

Publisher

International Foundation for Autonomous Agents and Multiagent Systems

Richland, SC

Publication History

Published: 04 May 2015

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

NWO
EPSRC

Conference

AAMAS'15

Sponsor:

AAMAS'15: International Conference on Autonomous Agents and Multiagent Systems

May 4 - 8, 2015

Istanbul, Turkey

Acceptance Rates

AAMAS '15 Paper Acceptance Rate 108 of 670 submissions, 16%;

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

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
93
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 22 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Ajmeri NGuo HMurukannaiah PSingh M(2018)Robust norm emergence by revealing and reasoning about contextProceedings of the 27th International Joint Conference on Artificial Intelligence10.5555/3304415.3304421(28-34)Online publication date: 13-Jul-2018
https://dl.acm.org/doi/10.5555/3304415.3304421
Kayal ABrinkman WNeerincx MRiemsdijk M(2018)Automatic Resolution of Normative Conflicts in Supportive Technology Based on User ValuesACM Transactions on Internet Technology10.1145/315837118:4(1-21)Online publication date: 25-May-2018
https://dl.acm.org/doi/10.1145/3158371
Ajmeri NLarson KWinikoff MDas SDurfee E(2017)Engineering Socially Intelligent Personal Agents via NormsProceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems10.5555/3091125.3091453(1822-1823)Online publication date: 8-May-2017
https://dl.acm.org/doi/10.5555/3091125.3091453
Ajmeri NMurukannaiah PGuo HSingh MLarson KWinikoff MDas SDurfee E(2017)ArnorProceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems10.5555/3091125.3091163(230-238)Online publication date: 8-May-2017
https://dl.acm.org/doi/10.5555/3091125.3091163
van Riemsdijk MJonker CLesser VWeiss GYolum PBordini RElkind E(2015)Creating Socially Adaptive Electronic PartnersProceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems10.5555/2772879.2773303(1201-1206)Online publication date: 4-May-2015
https://dl.acm.org/doi/10.5555/2772879.2773303

View Options

Login options

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

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents