Towards the norm-aware agent: Bridging the gap between deontic specifications and practical mechanisms for norm monitoring and norm-aware planning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8386 LNAI, Issue , 2014, Pages 346-363

  Panagiotidi, Sofia ^a   Alvarez Napagao, Sergio ^a   Vázquez Salceda, Javier ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Deontic logics; Monitoring; Normative systems; Planning

Indexed keywords

DATA PRIVACY; MONITORING; NETWORK SECURITY; PLANNING; SEMANTICS;

DEONTIC LOGIC; IMPLEMENTATION LANGUAGES; NORM ENFORCEMENT; NORMATIVE REASONING; NORMATIVE SYSTEM; PLANNING CONTROLS; STRUCTURAL OPERATIONAL SEMANTICS; TIGHTLY-COUPLED;

SOCIETIES AND INSTITUTIONS;

EID: 84903650213     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-07314-9_19     Document Type: Conference Paper

References (32)

1. Vázquez-Salceda, J.: The role of norms and electronic institutions in multi-agent systems applied to complex domains: the HarmonIA framework. Ph.D. Thesis, 218, January 2003
2. von Wright, G.H.: Deontic logic. Mind, New Series 60(237), 1-15 (1951)
3. Dignum, F.P.M., Broersen, J., Dignum, V., Meyer, J.-J.: Meeting the deadline: why, when and how. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS (LNAI), vol. 3228, pp. 30-40. Springer, Heidelberg (2004)
4. Boella, G., van der Torre, L.: Regulative and constitutive norms in normative multiagent systems. In: Proceedings of 10th International Conference on the Principles of Knowledge Representation and Reasoning, KR'04, pp. 255-265 (2004)
5. Aldewereld, H., Grossi, D., Vázquez-Salceda, J., Dignum, F.P.M.: Designing normative behaviour via landmarks. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., Vázquez-Salceda, J. (eds.) ANIREM 2005 and OOOP 2005. LNCS (LNAI), vol. 3913, pp. 157-169. Springer, Heidelberg (2006) (Pubitemid 44071820)
6. García-Camino, A., Rodríguez-Aguilar, J.-A., Sierra, C., Vasconcelos, W.W.: Norm-oriented programming of electronic institutions: a rule-based approach. In: Noriega, P., Vázquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS (LNAI), vol. 4386, pp. 177-193. Springer, Heidelberg (2007)
7. Oren, N., Panagiotidi, S., Vázquez-Salceda, J., Modgil, S., Luck, M., Miles, S.: Towards a formalisation of electronic contracting environments. In: Hübner, J.F., Matson, E., Boissier, O., Dignum, V. (eds.) COIN@AAMAS 2008. LNCS, vol. 5428, pp. 156-171. Springer, Heidelberg (2009)
8. Lomuscio, A., Qu, H., Raimondi, F.: MCMAS: a model checker for the verification of multi-agent systems. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 682-688. Springer, Heidelberg (2009)
9. Governatori, G., Rotolo, A.: Norm compliance in business process modeling. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol. 6403, pp. 194-209. Springer, Heidelberg (2010)
10. Ågotnes, T., van der Hoek, W., Wooldridge, M.: Robust normative systems and a logic of norm compliance. Logic J. IGPL 18(1), 4-30 (2010)
11. Criado, N., Argente, E., Noriega, P.: Towards a normative BDI architecture for norm compliance. COIN@ MALLOW2010 (2010)
12. Alvarez-Napagao, S., Aldewereld, H., Vázquez-Salceda, J., Dignum, F.: Normative monitoring: semantics and implementation. In: De Vos, M., Fornara, N., Pitt, J.V., Vouros, G. (eds.) COIN 2010. LNCS, vol. 6541, pp. 321-336. Springer, Heidelberg (2011)
13. López y López, F., Luck, M., d'Inverno, M.: Normative agent reasoning in dynamic societies. In: Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS '04, Washington, DC, USA, vol. 2, pp. 732-739 (2004)
14. Kollingbaum, M.J.: Norm-governed practical reasoning agents. Ph.D. Dissertation (2005)
15. Meneguzzi, F., Luck, M.: Norm-based behaviour modification in BDI agents. In: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '09, vol. 1, pp. 177-184, Richland, SC. (International Foundation for Autonomous Agents and Multiagent Systems) (2009)
16. Panagiotidi, S., Vázquez-Salceda, J.: Norm-aware planning: semantics and implementation. In: 2011 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), pp. 33-36. IEEE, August 2011
17. Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artif. Intell. 116(1-2), 123-191 (2000)
18. Gerevini, A., Long, D.: Plan constraints and preferences in PDDL3: the language of the fifth international planning competition. Technical report R.T. 2005-08-07, August 2005
19. Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, New York (2004)
20. Searle, J.: The Construction of Social Reality. Free Press, New York (1995)
21. Aldewereld, H., Alvarez-Napagao, S., Dignum, F., Vázquez-Salceda, J.: Making norms concrete. In: Proceedings of 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), pp. 807-814 (2010)
22. Walter, R.: Jörgensen's dilemma and how to face it. Ratio Juris 9(2), 168-171 (1996)
23. Cardoso, H.L., Oliveira, E.: A context-based institutional normative environment. In: Hübner, J.F., Matson, E., Boissier, O., Dignum, V. (eds.) COIN@AAMAS 2008. LNCS, vol. 5428, pp. 140-155. Springer, Heidelberg (2009)
24. Koo, J.: A Study on the model checking for deontic logic. In: Convergence and Hybrid Information Technology, pp. 832-835 (2008)
25. Prisacariu, C., Schneider, G.: Abstract specification of legal contracts. In: Proceedings of the 12th International Conference on Artificial Intelligence and Law (ICAIL), ACM Request Permissions, pp. 218-219 (2009)
26. Aldewereld, H.: Autonomy vs. conformity: an institutional perspective on norms and protocols. Ph.D. Thesis, Utrecht University (2007)
27. Abrahams, A.S., Bacon, J.M.: The life and times of identified, situated, and conflicting norms. In: Sixth International Workshop on Deontic Logic in Computer, Science (DEON), pp. 3-20 (2002)
28. Fornara, N., Colombetti, M.: Specifying and enforcing norms in artificial institutions. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2008. LNCS (LNAI), vol. 5397, pp. 1-17. Springer, Heidelberg (2009)
29. Cardoso, H.L., Oliveira, E.: Directed deadline obligations in agent-based business contracts. In: Padget, J., Artikis, A., Vasconcelos, W., Stathis, K., da Silva, V.T., Matson, E., Polleres, A. (eds.) COIN@AAMAS 2009. LNCS, vol. 6069, pp. 225-240. Springer, Heidelberg (2010)
30. Governatori, G.: Representing business contracts in RuleML. Int. J. Coop. Inf. Syst. 14(2-3), 181-216 (2005)
31. Tauriainen, H.: automata and linear temporal logic: translations with transition-based acceptance. Ph.D. Thesis, Helsinki University of Technology (2006)
32. Cirstea, H., Kirchner, C., Moossen, Michael, M., Moreau, P.E.: Production systems and rete algorithm formalisation. Research report inria-00280938, PROTHEO - INRIA Lorraine - LORIA (2004)